On: Code Is Never “Perfect”, Code Is Only Ever “Good E...

[softawre]

Tooling is getting better. Ever looked at what Amazon does with formal methods to "prove correctness" for some of their systems?

Of course you can argue that "good enough" for them is "damn near perfect".

http://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-s...

[kkarakk → softawre]

got a link to a non-paywalled source?