W
Jul 18, 2026Why Halal Certification is Essential for Global Food Export in 2026
Halal certification is a formal verification process that confirms food products comply with Islamic...
Jul 18, 20266 min read0 reactions0 comments
Back to articles
Tag archive
#formal
H
Jul 3, 2026Hunting a 16-Year-Old SQLite WAL Bug with TLA+: A Developer’s Deep Dive into Formal Verification
Uncover a 16-year-old SQLite WAL bug using TLA+. Explore formal verification's role in debugging legacy systems.
Jul 3, 20262 min read0 reactions0 comments
I
Apr 21, 2026Inside Axiom’s Verification Kernel: BMC, UAP, Lean Replay, and the Proof Vault
When people hear “formal verification”, they imagine a single solver run that prints...
Apr 21, 20264 min read0 reactions0 comments
N
Apr 17, 2026Nim vs Rust: Language is a Matter of 'Coherence', Not 'Performance'
I once spent a long time debating between two languages as the foundation for a formal verification...
Apr 17, 20263 min read0 reactions0 comments
T
Apr 8, 2026The Most Dangerous Word in AI Coding: "Verified"
Got a "Verified" result from my formal verification engine. Problem was, it was completely...
Apr 8, 20262 min read0 reactions0 comments
A
Apr 6, 2026Architecture Philosophy: Rule-First Design
The Core Question When building an engine to verify AI-written code, architects hit a...
Apr 6, 20265 min read0 reactions0 comments
W
Mar 20, 2026Why We Still Don't Trust AI-Generated Code: The Archright Trinity
"You just can't trust code written by AI." Until right before I decided to resign, this was the...
Mar 20, 20264 min read0 reactions0 comments