4Verifying Selection Sort: An Introduction to Program Verification in Dafny (opens in new tab)(dafny.org)1maxmusing2y ago0
7A Golden Age of Building? Lessons from Pentagon, Skunk Works and SpaceX (opens in new tab)(lesswrong.com)4maxmusing2y ago0
10Loom’s nightmare AWS outage and how it might have been prevented (opens in new tab)(overmind.tech)2maxmusing2y ago0
12Broadcom’s Google TPU Revenue Explosion, Networking Boom, VMware Integration (opens in new tab)(semianalysis.com)2maxmusing2y ago0
