Hacker News
- TLA+: design, model, document, and verify concurrent systems https://lamport.azurewebsites.net/tla/tla.html 32 comments
Linking pages
- Thinking outside the box of code with Leslie Lamport (Changelog Interviews #552) |> Changelog https://changelog.fm/552#transcript-45 300 comments
- Why TDD Isn't Crap • Hillel Wayne https://www.hillelwayne.com/post/why-tdd-isnt-crap/ 165 comments
- Scaling Rust builds with Bazel https://mmapped.blog/posts/17-scaling-rust-builds-with-bazel.html 129 comments
- GitHub - informalsystems/quint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA) https://github.com/informalsystems/quint 96 comments
- Signal >> Blog >> Technology Preview for secure value recovery https://signal.org/blog/secure-value-recovery/ 78 comments
- TLA+ model checking made symbolic | the morning paper https://blog.acolyer.org/2019/11/29/tla-model-checking-made-symbolic/ 51 comments
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- Concurrent Data Structure Design Walkthrough | QuestDB https://questdb.io/blog/concurrent-lockfree-datastructure-design-walkthrough/ 33 comments
- Use polling for resiliency | Georgios Chinis https://blog.gchinis.com/posts/use-polling-for-resiliency/ 27 comments
- GitHub - stateright/stateright: A model checker for implementing distributed systems. https://github.com/stateright/stateright 27 comments
- Formal Methods in Practice: Using TLA+ at eSpark Learning | by Hillel Wayne | eSpark Engineering Blog | Medium https://medium.com/espark-engineering-blog/formal-methods-in-practice-8f20d72bce4f 25 comments
- You Already Know Formal Methods - Galois, Inc. https://galois.com/blog/2021/10/you-already-know-formal-methods/ 17 comments
- Using TLA+ to understand Xen vchan - Thomas Leonard's blog http://roscidus.com/blog/blog/2019/01/01/using-tla-plus-to-understand-xen-vchan/ 16 comments
- Mutability Leads to Suffering. You’ve probably read a dozen clear… | by Hillel Wayne | HackerNoon.com | Medium https://medium.com/@hwayne/mutability-leads-to-suffering-23671a0def6a 15 comments
- Building A "Simple" Distributed System - Formal Verification — Jack Vanlightly https://jack-vanlightly.com/blog/2019/1/27/building-a-simple-distributed-system-formal-verification 12 comments
- building-software.md · GitHub https://gist.github.com/serras/caf3b7056f609c63a028f15c47a3ff4e 11 comments
- Testing Distributed Systems for Linearizability http://www.anishathalye.com/2017/06/04/testing-distributed-systems-for-linearizability/ 10 comments
- Modeling TLA+ in Z3Py | Hey There Buddo! https://www.philipzucker.com/Modelling_TLA_in_z3py/ 9 comments
- Paper review: Paxos vs Raft https://emptysqua.re/blog/paxos-vs-raft/ 7 comments
- GitHub - eras/tlsd: Generate (message) sequence diagrams from TLA+ state traces https://github.com/eras/tlsd 7 comments
Related searches:
Search whole site: site:lamport.azurewebsites.net
Search title: The TLA+ Home Page
See how to search.