TECH·yesterdayShow HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code | Hacker NewsHacker News
TECH·April 25, 2026Mistral’s Leanstral wants to kill off human-in-the-loop code checks, but is it blowing in the wind?The New Stack
CODING·April 21, 2026Inside Axiom’s Verification Kernel: BMC, UAP, Lean Replay, and the Proof VaultDev.to
CODING·April 19, 2026Five Formal Closures + Findings + AI-Generated Open Questions (Rei-AIOS Paper 118)Dev.to
PAPER·April 8, 2026Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem ProvingHugging Face Papers
PAPER·March 24, 2026LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement LearningHugging Face Papers
TECH·March 17, 2026Leanstral: Open-Source foundation for trustworthy vibe-coding | Mistral AIMistral AI
