Hacker News new | ask | show | jobs
How we use formal modeling to design reliable distributed systems (datadoghq.com)
3 points by chriscbr 579 days ago