Hacker News new | ask | show | jobs
by oersted 185 days ago
The motivation itself is quite fresh and compelling even as a standalone article.

https://sdiehl.github.io/zero-to-qed/02_why.html