Dev With 100+ Open Source Projects Re-Verifies Everything on Every New Frontier Model
doodlestein · x · 2026-09-15
Responding to a thread on using new models for security audits, the author of 100+ open source projects says he re-runs verification across all of them—beyond just security—whenever a new frontier model drops. He also discusses FrankenLean, his daily project building a formal verification system in hyper-optimized, cancel-correct, memory-safe Rust, free from an ancient buggy codebase.
More from coding & agent
- Dev turns 2 weeks of Obsidian plugin experience into open-source Skill that lets Codex build and ship plugins — vista8 · 2026-09-15
- Tencent open-sources WeKnora, an enterprise RAG knowledge platform with 23.3k GitHub stars — yangyi · 2026-09-15
- Dev open-sources Taskuary, a local control layer that gives coding agents a shared task queue — Appropriate-Path-461 · 2026-09-15
- Plane Demos Four Enterprise Agent Platform Differentiators — JosephJacks_ · 2026-09-15
- Cross-verifying AI math proofs with hundreds of agent calls instead of Lean — DimitrisPapail · 2026-09-15
- Pyrefly 1.3 ships experimental tensor-shape checking for JAX, NumPy and Polars schemas — tdhopper · 2026-09-15