| | Why writing correct software is hard (pron.github.io) |
|
4 points by fanf2 73 days ago | past
|
|
| | People Don't Write Programs (pron.github.io) |
|
2 points by pcfwik 4 months ago | past
|
|
| | Why Writing Correct Software Is Hard (2016) (pron.github.io) |
|
1 point by todsacerdoti 9 months ago | past
|
|
| | TLA+ in Practice and Theory (pron.github.io) |
|
2 points by rtukpe on Dec 19, 2023 | past
|
|
| | TLA+ in Practice and Theory, Part 2: The + in TLA+ (pron.github.io) |
|
1 point by losfair on Nov 15, 2023 | past | 1 comment
|
|
| | What We Talk About When We Talk About Computation (2016) (pron.github.io) |
|
1 point by yeesian on April 19, 2023 | past | 1 comment
|
|
| | Finite of Sense and Infinite of Thought: Computation, Logic and Algebra (pron.github.io) |
|
2 points by yeesian on April 19, 2023 | past
|
|
| | What We Talk About When We Talk About Computation (pron.github.io) |
|
2 points by ThisIsMyAltFace on Aug 24, 2022 | past
|
|
| | TLA+ in Practice and Theory (pron.github.io) |
|
5 points by rramadass on Aug 22, 2021 | past
|
|
| | The Best Programming Language (2017) (pron.github.io) |
|
2 points by sai_c on March 11, 2021 | past
|
|
| | Finite of Sense and Infinite of Thought (pron.github.io) |
|
37 points by hudon on Oct 18, 2020 | past | 2 comments
|
|
| | The Best Programming Language (2017) (pron.github.io) |
|
2 points by bibyte on Jan 24, 2020 | past
|
|
| | People Don't Write Programs (2018) (pron.github.io) |
|
2 points by Cieplak on March 6, 2019 | past
|
|
| | History of Computation, Logic and Algebra (pron.github.io) |
|
8 points by pplonski86 on Jan 1, 2019 | past
|
|
| | Finite of Sense and Infinite of Thought. History: Computation, Logic and Algebra (pron.github.io) |
|
1 point by jasim on Nov 29, 2018 | past
|
|
| | What We Talk About When We Talk About Computation (pron.github.io) |
|
4 points by shalabhc on Nov 23, 2018 | past
|
|
| | People Don't Write Programs (pron.github.io) |
|
2 points by shalabhc on Oct 21, 2018 | past
|
|
| | A History of Computation, Logic and Algebra, Part I (pron.github.io) |
|
2 points by auggierose on April 2, 2018 | past
|
|
| | A History of Computation, Logic and Algebra (pron.github.io) |
|
4 points by pron on Jan 19, 2018 | past
|
|
| | A History of Computation, Logic and Algebra, Part I (pron.github.io) |
|
15 points by haskellandchill on Jan 5, 2018 | past | 3 comments
|
|
| | TLA+ in Practice and Theory, Part 4: Order in TLA+ (pron.github.io) |
|
143 points by hiq on June 15, 2017 | past | 11 comments
|
|
| | 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
|
|
| | TLA+ in Practice and Theory, Part 2: The + in TLA+ (pron.github.io) |
|
66 points by based2 on June 3, 2017 | past | 8 comments
|
|
| | Principles of TLA+ (pron.github.io) |
|
121 points by pramodbiligiri on May 28, 2017 | past | 23 comments
|
|
