How we use formal modeling to design reliable distributed systemsdatadoghq.com3 points·chriscbr··0 commentsOpen articleSaveView on HN