←back to thread

Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods

(queue.acm.org)
167 points yarapavan | 1 comments | 01 Apr 25 14:59 UTC | HN request time: 0.268s | source
1. neuroelectron ◴[01 Apr 25 23:23 UTC] No.43552338[source]▶
Great April 1st gag. Seems to have gone over everyone's head.