Using TLA+ for fun and profit in the development of ElasticSearch [video]
6 by ngaut | 0 comments on Hacker News.
Thursday, September 19, 2019
RELATED STORIES
Hacker News: OT and CRDT trade-offs for Real-Time collaborationOT and CRDT trade-offs for Real-Time collaboratio- Hacker News: Epistemic standards for “Why did it take so long to invent X?”Epistemic standards for “Why did it take so long
- Hacker News: Covid-19, a RetrospectiveCovid-19, a Retrospective
8 by chokolad | 0 comme
- Hacker News: Implementing Raft: Part 2: Commands and Log ReplicationImplementing Raft: Part 2: Commands and Log Repli
- Hacker News: Clinical trials launch to test coronavirus treatmentsClinical trials launch to test coronavirus treatm
- Hacker News: If Sweden succeeds, lockdowns will all have been for nothingIf Sweden succeeds, lockdowns will all have been
- Blog Comments
- Facebook Comments
