Hillel Wayne personal blog
The Great Theorem Prover Showdown
Functional programming and immutability are hot right now. On one hand, this is pretty great as there’s lots of nice things about functional programming. On the other hand, people get a little overzealous and start claiming that imperative code is unnatural or that purity is always preferable to mutation. I think that…
- Points
- 150
- HN comments
- 22
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringMath & Algorithms2018
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Apr 26, 2018 | The Great Theorem Prover Showdown by panic | 150 | 22 |
