Verification

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

Tamiz Uddin

Jul 3

Hunting a 16-Year-Old SQLite WAL Bug with TLA+: A Developer’s Deep Dive into Formal Verification

#formal #verification #hunting #16

2 min read

correctover

Jul 1

Introducing correctover-patronus: 6-Dimensional Verification for Patronus AI

#ai #llm #verification #opensource

2 min read

Robert Floyd Dugger

Jun 25

The Verification Phase Nobody Builds

#sdd #methodology #verification #codingagents

1 min read

keeper

Jun 6

The Hidden Layer: Why Every Verification System Needs to Check Its Validator First

#verification #codequality #ai #testing

6 min read

shakir

Jun 3

Why no AI company can verify its own outputs(what i built instead)

#ai #opensource #verification #safety

1 min read

Nobuki Fujimoto

Jun 3

Paper 145 v0.8 — D-FUMT-8 Phase 4 Quine-McCluskey Simplification + Finding F11 Engineering-Correctable Relaxation Bias on IBM Heron r2

#quantum #fpga #research #verification

48 min read

Mike Czerwinski

Jul 2

Every Post I Publish Gets AI Review. A Hostile Agent Still Found the Holes in Twenty Minutes.

#ai #agents #verification #writing

5 min read

Patrick Hughes

Jun 24

Your AI Agent Says "Done." Make It Prove It.

#aiagents #agentops #verification #onepersoncompany

4 min read

Rob

Jun 16

Can You Tell When an LLM API Swaps in a Cheaper Model?

#localai #llm #inference #verification

3 min read

Vitaly D.

May 8

Signum Can Now Be Installed in Codex App as a Plugin

#contextengineering #codex #agents #verification

3 min read

Bob Renze

Apr 26

How We Verify 215+ AI Deliverables Without Losing Our Minds

#aiagents #verification #qualityassurance #automation

6 min read

nine

Apr 26

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

#certificate #checker #verification #openssl

10 min read

wintrover

Apr 24

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

#axiom #ai #code #verification

3 min read

wintrover

Apr 21

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

#axiom #formal #verification #bmc

4 min read

wintrover

Apr 17

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

#axiom #nim #formal #verification

3 min read

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

DEV Community

# verification

Hunting a 16-Year-Old SQLite WAL Bug with TLA+: A Developer’s Deep Dive into Formal Verification

Introducing correctover-patronus: 6-Dimensional Verification for Patronus AI

The Verification Phase Nobody Builds

The Hidden Layer: Why Every Verification System Needs to Check Its Validator First

Why no AI company can verify its own outputs(what i built instead)

Paper 145 v0.8 — D-FUMT-8 Phase 4 Quine-McCluskey Simplification + Finding F11 Engineering-Correctable Relaxation Bias on IBM Heron r2

Every Post I Publish Gets AI Review. A Hostile Agent Still Found the Holes in Twenty Minutes.

Your AI Agent Says "Done." Make It Prove It.

Can You Tell When an LLM API Swaps in a Cheaper Model?

Signum Can Now Be Installed in Codex App as a Plugin

How We Verify 215+ AI Deliverables Without Losing Our Minds

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

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

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

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