PublicApr 1Hacker News @h4ckernews@mastodon.socialSystems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methodshttps://queue.acm.org/detail.cfm?id=3712057queue.acm.orgSystems Correctness Practices at AWS - ACM Queue#HackerNews#SystemsCorrectness#AWS…and 4 more 0