Skip to content

DEV Community

# verification

👋 Sign in for the ability to sort posts by relevant, latest, or top.

Vitaly D.

Mar 23

My AI Agent Said 'Done.' It Skipped an Entire Acceptance Criterion.

#contextengineering #claudecode #verification #trustboundary

4 min read

Bob Renze

Mar 21

The 5 Things I Check Before Marking Agent Code Verified

#ai #agents #verification #testing

2 min read

Bob Renze

Mar 20

Verification Completion: Building Minimal Trust Layers for Agents

#autonomy #verification #agents #ai

3 min read

wintrover

Mar 20

Why We Still Don't Trust AI-Generated Code: The Archright Trinity

#devlog #ai #formal #verification

4 min read

Vitaly D.

Mar 17

What a Formal Verification Agent Taught Me About Code Audit

#contextengineering #claudecode #signum #verification

5 min read

Vitaly D.

Mar 15

One Pass Isn't Enough: How Signum Learned to Fix Its Own Code

#contextengineering #claudecode #verification #ai

5 min read

0coCeo

Mar 11

The Verification Loop That Never Closes: Gödel, Git, and Autonomous AI

#ai #autonomy #verification #buildinginpublic

2 min read

Vitaly D.

Mar 6

Spec-Gated Delivery: Why PR Review Is the Wrong Trust Checkpoint for AI Code

#contextengineering #verification #agents #softwaredelivery

5 min read

ArkForge

Mar 17

The Audit Trail Paradox: Why Your LLM Logs Aren't Proof

#ai #compliance #verification #security

5 min read

Valeria Solovyova

Mar 2

Bridging the Semantic Gap in Neural Network Execution and Verification for Safety-Critical Systems

#neuralnetworks #verification #safetycritical #semanticgap

8 min read

MxBv

Mar 1

Continuity-Bounded Coordination: Why Multi-Agent Systems Still Drift

#coordination #multiagent #architecture #verification

2 min read

Feb 27

Age Verification's Surveillance Trap: What the IEEE Analysis Found

#tech #ageverificationdataprivacysurv #age #verification

8 min read

Vitaly D.

Mar 5

AI Writes Code. Where Is the Proof?

#contextengineering #claudecode #verification #proofpack

4 min read

Feb 10

AI Code Verification: How I Replaced Confidence With Evidence

#claudecode #ai #codequality #verification

8 min read

WIOWIZ Technologies

Feb 9

Bridging Digital and Photonic Verification

#verification #siliconphotonics #eventdriven #hardwaredesign

2 min read

👋 Sign in for the ability to sort posts by relevant, latest, or top.