1.A “proof” of Fermat’s Last Theorem that fits the marginblog | 2026-09-09 11:00 | blog.trailofbits.com | Original ↗ | .md | #memory-safety | #vulnerability | #formal-verification