Skip to content

DEV Community

# verification

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

Rob

Jun 16

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

#localai #llm #inference #verification

3 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

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

Apr 12

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

#governance #ai #verification #computerscience

8 min read

Silicon Patterns

May 15

Design Verification at 3nm: What's Actually Hard and How Teams Are Solving It

#verification #vlsi #asic #semiconductor

2 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

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