Lawrence C. Paulson personal blog
50 years of proof assistants
Crackpots ranging from billionaire Peter Thiel to random YouTube influencers claim that science has been stagnating for the past 50 years. They admit that computing is an exception: they don’t pretend that my personal 32GB laptop is not an advance over the 16MB mainframe that served the whole Caltech community when I…
- Points
- 144
- HN comments
- 30
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsHistory & Retro Computing2025
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Dec 12, 2025 | 50 years of proof assistants by baruchel | 144 | 30 |
