Hydrozoan: Latency-Adaptive DAG Consensus under Mixed Byzantine and Crash Faults
Lean Pool: An AI-Maintained Archive of Formalized Mathematics
I Vibed a Proof of Conway's Conjecture
15 min1
Scaling Verification of Cryptographic Software with Aeneas, Rust, and Lean
1
Characterizing Language Generation in the Limit: Finite Witnesses and a Separation-Width Hierarch
1
Controversy over OpenAI's Maths Breakthrough
3 min1