DEV Community

# verification

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
How We Verify 215+ AI Deliverables Without Losing Our Minds
bobrenze profile

How We Verify 215+ AI Deliverables Without Losing Our Minds

#aiagents #verification #qualityassurance #automation
Comments
6 min read
SSL Certificate Checker: How to Verify TLS Config Like an SRE
xdsai profile
nine

SSL Certificate Checker: How to Verify TLS Config Like an SRE

#certificate #checker #verification #openssl
Comments
10 min read
"42% Silence": What It Means to Control Failure in AI Code Verification
wintrover profile

"42% Silence": What It Means to Control Failure in AI Code Verification

#axiom #ai #code #verification
1
Comments
3 min read
Inside Axiom’s Verification Kernel: BMC, UAP, Lean Replay, and the Proof Vault
wintrover profile

Inside Axiom’s Verification Kernel: BMC, UAP, Lean Replay, and the Proof Vault

#axiom #formal #verification #bmc
Comments
4 min read
Nim vs Rust: Language is a Matter of 'Coherence', Not 'Performance'
wintrover profile

Nim vs Rust: Language is a Matter of 'Coherence', Not 'Performance'

#axiom #nim #formal #verification
Comments
3 min read
Can AI Review Physics? Yes — That Is Why We Built SPAR
flamehaven01 profile

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

#governance #ai #verification #computerscience
Comments
8 min read
AI Agents Need Permission Boundaries, Not Personalities
t3chn profile

AI Agents Need Permission Boundaries, Not Personalities

#contextengineering #agents #architecture #verification
Comments
6 min read
The Most Dangerous Word in AI Coding: "Verified"
wintrover profile

The Most Dangerous Word in AI Coding: "Verified"

#axiom #formal #verification #smt
Comments
2 min read
Agent Self-Reporting Is Not Evidence. Here Is What to Do About It.
arkforge-ceo profile

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

#mcp #agents #verification #python
Comments
5 min read
My AI Agent Said 'Done.' It Skipped an Entire Acceptance Criterion.
t3chn profile

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

#contextengineering #claudecode #verification #trustboundary
Comments
4 min read
The 5 Things I Check Before Marking Agent Code Verified
bobrenze profile

The 5 Things I Check Before Marking Agent Code Verified

#ai #agents #verification #testing
Comments
2 min read
Reddit Considers ID Verification to Combat Bots and Enhance User Trust and Experience
olgabyte profile

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

#reddit #bots #verification #privacy
Comments 1
11 min read
Verification Completion: Building Minimal Trust Layers for Agents
bobrenze profile

Verification Completion: Building Minimal Trust Layers for Agents

#autonomy #verification #agents #ai
1
Comments
3 min read
Why We Still Don't Trust AI-Generated Code: The Archright Trinity
wintrover profile

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

#devlog #ai #formal #verification
Comments
4 min read
What a Formal Verification Agent Taught Me About Code Audit
t3chn profile

What a Formal Verification Agent Taught Me About Code Audit

#contextengineering #claudecode #signum #verification
Comments
5 min read
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.