| 1. | | Why writing correct software is hard and why math (alone) won’t help us (2016) (pron.github.io) |
| 337 points by AriFordsham 11 hours ago | past | 155 comments |
|
| 2. | | Finite of Sense and Infinite of Thought: History of Computation, Logic, Algebra (pron.github.io) |
| 2 points by lioeters 6 months ago | past |
|
| 3. | | Why Writing Correct Software Is Hard (2016) (pron.github.io) |
| 2 points by Tomte on May 21, 2025 | past |
|
| 4. | | Why writing correct software is hard (pron.github.io) |
| 4 points by fanf2 on Dec 7, 2024 | past |
|
| 5. | | People Don't Write Programs (pron.github.io) |
| 2 points by pcfwik on Oct 21, 2024 | past |
|
| 6. | | Why Writing Correct Software Is Hard (2016) (pron.github.io) |
| 1 point by todsacerdoti on May 18, 2024 | past |
|
| 7. | | TLA+ in Practice and Theory (pron.github.io) |
| 2 points by rtukpe on Dec 19, 2023 | past |
|
| 8. | | TLA+ in Practice and Theory, Part 2: The + in TLA+ (pron.github.io) |
| 1 point by losfair on Nov 15, 2023 | past | 1 comment |
|
| 9. | | What We Talk About When We Talk About Computation (2016) (pron.github.io) |
| 1 point by yeesian on April 19, 2023 | past | 1 comment |
|
| 10. | | Finite of Sense and Infinite of Thought: Computation, Logic and Algebra (pron.github.io) |
| 2 points by yeesian on April 19, 2023 | past |
|
| 11. | | What We Talk About When We Talk About Computation (pron.github.io) |
| 2 points by ThisIsMyAltFace on Aug 24, 2022 | past |
|
| 12. | | TLA+ in Practice and Theory (pron.github.io) |
| 5 points by rramadass on Aug 22, 2021 | past |
|
| 13. | | The Best Programming Language (2017) (pron.github.io) |
| 2 points by sai_c on March 11, 2021 | past |
|
| 14. | | Finite of Sense and Infinite of Thought (pron.github.io) |
| 37 points by hudon on Oct 18, 2020 | past | 2 comments |
|
| 15. | | The Best Programming Language (2017) (pron.github.io) |
| 2 points by bibyte on Jan 24, 2020 | past |
|
| 16. | | People Don't Write Programs (2018) (pron.github.io) |
| 2 points by Cieplak on March 6, 2019 | past |
|
| 17. | | History of Computation, Logic and Algebra (pron.github.io) |
| 8 points by pplonski86 on Jan 1, 2019 | past |
|
| 18. | | Finite of Sense and Infinite of Thought. History: Computation, Logic and Algebra (pron.github.io) |
| 1 point by jasim on Nov 29, 2018 | past |
|
| 19. | | What We Talk About When We Talk About Computation (pron.github.io) |
| 4 points by shalabhc on Nov 23, 2018 | past |
|
| 20. | | People Don't Write Programs (pron.github.io) |
| 2 points by shalabhc on Oct 21, 2018 | past |
|
| 21. | | A History of Computation, Logic and Algebra, Part I (pron.github.io) |
| 2 points by auggierose on April 2, 2018 | past |
|
| 22. | | A History of Computation, Logic and Algebra (pron.github.io) |
| 4 points by pron on Jan 19, 2018 | past |
|
| 23. | | A History of Computation, Logic and Algebra, Part I (pron.github.io) |
| 15 points by haskellandchill on Jan 5, 2018 | past | 3 comments |
|
| 24. | | TLA+ in Practice and Theory, Part 4: Order in TLA+ (pron.github.io) |
| 143 points by hiq on June 15, 2017 | past | 11 comments |
|
| 25. | | TLA+ in Practice and Theory, Part 3: The Temporal Logic of Actions (pron.github.io) |
| 130 points by pron on June 10, 2017 | past | 7 comments |
|
| 26. | | TLA+ in Practice and Theory, Part 2: The + in TLA+ (pron.github.io) |
| 66 points by based2 on June 3, 2017 | past | 8 comments |
|
| 27. | | Principles of TLA+ (pron.github.io) |
| 121 points by pramodbiligiri on May 28, 2017 | past | 23 comments |
|
