Skip to content

Forem

# verification

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

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

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

Nobuki Fujimoto

May 9

Paper 145 v0.6 — First D-FUMT-8 Silicon with SELF-reflexive Primitive (Four-Substrate Cross-Verification)

#quantum #fpga #research #verification

38 min read

Vitaly D.

May 8

Signum Can Now Be Installed in Codex App as a Plugin

#contextengineering #codex #agents #verification

3 min read

Nobuki Fujimoto

May 8

Paper 145 — First D-FUMT-8 Silicon with SELF-reflexive Logic Primitive (Three-Substrate Cross-Verification: FPGA + Aer + IBM Heron r2 Real Hardware)

#quantum #fpga #research #verification

23 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

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

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

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