For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
Why Writing Correct Software Is Hard (2016) (pron.github.io)
2 points by Tomte 10 months ago | past
Why writing correct software is hard (pron.github.io)
4 points by fanf2 on Dec 7, 2024 | past
People Don't Write Programs (pron.github.io)
2 points by pcfwik on Oct 21, 2024 | past
Why Writing Correct Software Is Hard (2016) (pron.github.io)
1 point by todsacerdoti on May 18, 2024 | 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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You