Using TLA+ for fun and profit in the development of ElasticSearch [video]
6 by ngaut | 0 comments on Hacker News.
New top story on Hacker News: Using TLA+ for fun and profit in the development of ElasticSearch [video]
Related Posts
New Charges ‘Likely’ in Case Against Giuliani Associates
Limited Edition Challah at Zaro’s
New top story on Hacker News: How to Make Toast: Electrical Engineering vs. Computer Science
Time’s Up Blasts Gabrielle Union’s Ouster as Reality Show Judge
New top story on Hacker News: FBI designates FaceApp as counterintelligence threat [pdf]
0 comments: