Skip to content

DEV Community

# verification

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

Apr 12

Can AI Review Physics? Yes — That Is Why We Built SPAR

#governance #ai #verification #computerscience

8 min read

Vitaly D.

Apr 8

AI Agents Need Permission Boundaries, Not Personalities

#contextengineering #agents #architecture #verification

6 min read

wintrover

Apr 8

The Most Dangerous Word in AI Coding: "Verified"

#axiom #formal #verification #smt

2 min read

ArkForge

Apr 4

Agent Self-Reporting Is Not Evidence. Here Is What to Do About It.

#mcp #agents #verification #python

5 min read

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

Mar 25

Reddit Considers ID Verification to Combat Bots and Enhance User Trust and Experience

#reddit #bots #verification #privacy

11 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

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

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