Tag: #formal-methods
Writing on GPUs, LLMs, MLOps, Kubernetes — and mindset · 2 posts
The Rust Standard Library Verification Campaign Found Zero Memory-Safety Bugs
The results paper for the verify-rust-std campaign, led by AWS and the Rust Foundation, appeared in the 2026 NASA Formal Methods Symposium. The work — what the authors call 'the largest verification campaign ever reporte
2026-07-16 · 25 min read #formal-methods#rust#verification#memory-safety#testingLean 4 & Proof Assistants 2026 — mathlib / Rocq (formerly Coq) / Agda / Isabelle / FStar / AlphaProof / AIMO Deep Dive
In 2026, proof assistants are no longer a secret weapon of academia. Lean 4 has exploded since Leonardo de Moura moved to AWS; mathlib has crossed one million theorems and become a daily tool for first-rank mathematician
2026-05-16 · 24 min read #lean-4#lean#mathlib#rocq#coq