New top story on Hacker News: Using TLA+ for fun and profit in the development of ElasticSearch [video]

Using TLA+ for fun and profit in the development of ElasticSearch [video]
6 by ngaut | 0 comments on Hacker News.