Hacker News
- Finite of Sense and Infinite of Thought https://pron.github.io/posts/computation-logic-algebra-pt1 2 comments
- A History of Computation, Logic and Algebra, Part I https://pron.github.io/posts/computation-logic-algebra-pt1 3 comments
- TLA+ in Practice and Theory, Part 4: Order in TLA+ https://pron.github.io/posts/tlaplus_part4 11 comments
- TLA+ in Practice and Theory, Part 3: The Temporal Logic of Actions https://pron.github.io/posts/tlaplus_part3 7 comments
- TLA+ in Practice and Theory, Part 2: The + in TLA+ https://pron.github.io/posts/tlaplus_part2 8 comments
- Principles of TLA+ https://pron.github.io/posts/tlaplus_part1 23 comments
- History of Computation, Logic and Algebra https://pron.github.io/computation-logic-algebra 11 comments programming
- TLA+ in Practice and Theory, Part 4: Order in TLA+ https://pron.github.io/posts/tlaplus_part4 4 comments programming
- TLA+ in Practice and Theory, Part 2: The + in TLA+ https://pron.github.io/posts/tlaplus_part2 6 comments programming
- TLA+ in Practice and Theory, Part 1: The Principles of TLA+ https://pron.github.io/posts/tlaplus_part1 21 comments programming