Lots of math in @mtnygard talk at #qconsf about reliability