Testing distributed systems | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Testing distributed systems (asatarin.github.io)
		127 points by Dawny33 on May 4, 2018 \| hide \| past \| favorite \| 2 comments

hood_syntax on May 4, 2018 | [–]

Always neat to see real world stories about using TLA+. Putting the talk on my to watch list.

yoav_hollander on May 4, 2018 | [–]

This is a really good list. Thanks.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact