3We interfaced single-threaded C++ with multi-threaded Rust and lived (opens in new tab)(antithesis.com)1wwilson6mo ago0Save
6Startups promise to catch bugs in AI-generated software (opens in new tab)(ft.com)2wwilson6mo ago0Save
10Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS [video] (opens in new tab)(youtube.com)Video2wwilson10mo ago0Save
11FoundationDB: From Idea to Apple Acquisition (opens in new tab)(youtube.com)Video4wwilson11mo ago0Save
