Hacker News
- User settings, Lamport clocks and lightweight formal methods https://jakub-m.github.io/2022/07/17/laport-clocks-formal.html 21 comments
Linked pages
- TLA+ - Wikipedia https://en.wikipedia.org/wiki/TLA%2B 92 comments
- Lamport Clock https://martinfowler.com/articles/patterns-of-distributed-systems/lamport-clock.html 48 comments
- ACARS - Wikipedia https://en.wikipedia.org/wiki/ACARS 1 comment
- https://dl.acm.org/doi/pdf/10.1145/3477132.3483540 0 comments
- Lamport timestamp - Wikipedia https://en.wikipedia.org/wiki/Lamport_timestamp 0 comments
Related searches:
Search whole site: site:jakub-m.github.io
Search title: User settings, Lamport clocks and lightweight formal methods | Jakub Mikians blog
See how to search.