Hacker News
- TLA+ in Practice and Theory, Part 1: The Principles of TLA+ https://pron.github.io/posts/tlaplus_part1 21 comments programming
Linked pages
- Redirecting to Google Groups https://groups.google.com/forum/#!original/scheme-reports-wg2/004kIc_juOs/7dnMzJt2AwAJ 1394 comments
- Linguistic relativity - Wikipedia https://en.wikipedia.org/wiki/Linguistic_relativity 382 comments
- F*: A Proof-Oriented Programming Language http://fstar-lang.org 293 comments
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
- What We Talk About When We Talk About Computation https://pressron.wordpress.com/2016/08/30/what-we-talk-about-when-we-talk-about-computation/ 187 comments
- http://blog.paralleluniverse.co/2016/07/23/correctness-and-complexity/ 183 comments
- Learn TLA+ — Learn TLA+ https://learntla.com/ 176 comments
- Clojure - clojure.spec - Rationale and Overview http://clojure.org/about/spec 168 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 125 comments
- GitHub - dafny-lang/dafny: Dafny is a verification-aware programming language https://github.com/Microsoft/dafny 122 comments
- Paxos Algorithm https://lamport.azurewebsites.net/tla/paxos-algorithm.html 90 comments
- Lean http://leanprover.github.io/about/ 77 comments
- Eiffel (programming language) - Wikipedia https://en.wikipedia.org/wiki/Eiffel_(programming_language) 72 comments
- Shows | Microsoft Learn https://channel9.msdn.com/Shows/Going+Deep/E2E-Erik-Meijer-and-Leslie-Lamport-Mathematical-Reasoning-and-Distributed-Systems 49 comments
- Lean http://leanprover.github.io 46 comments
- Computation and State Machines - Microsoft Research http://research.microsoft.com/en-us/um/people/lamport/pubs/state-machine.pdf 41 comments
- http://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf 33 comments
- Whiley http://whiley.org/ 32 comments
- TLA+ Video Course https://lamport.azurewebsites.net/video/videos.html 28 comments
- Z notation - Wikipedia https://en.wikipedia.org/wiki/Z_notation 18 comments
Related searches:
Search whole site: site:pron.github.io
Search title: TLA+ in Practice and TheoryPart 1: The Principles of TLA+
See how to search.