AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura The quest for certainty in an increasingly complex, AI-driven world is more critical than ever. As artifici...
THE NONILION JOURNAL
Insights for amore humanfuture.
Stories, field notes and provocations from the frontier of digital work.













