Y youtube.com Using TLA+ for fun and profit in the development of ElasticSearch [video] 135 points ngaut 7 years ago 15 comments
