News for hackers. Stuff that matters.

A comment on Gmail Services Global Outage. Parent comment

Re:Gmail Services Global Outage by whatshisface on Tuesday January 29, 2019 @07:33AM (#19025781)
>After a while you can spend the entire GDP of the world and you wont be able to add another availability decimal point.

And in a couple decades, when the world GDP is a bit higher, formal methods will become practical in real-life situations.

[ Parent | on HN ]
Re:Gmail Services Global Outage by oblio on Tuesday January 29, 2019 @08:05AM (#19025936)
This work needs to happen on both sides. Format methods need to become much cheaper and more accessible.
[ Parent | on HN ]