Using TLA+ for fun and profit in the development of ElasticSearch [video]

Article URL: https://www.youtube.com/watch?v=qYDcbcOVurc

Comments URL: https://news.ycombinator.com/item?id=21003470

Points: 7

# Comments: 0

from Hacker News: Front Page https://www.youtube.com/watch?v=qYDcbcOVurc
via