wwilson

Recent Submissions

1. 1. ▲ A Fighting Retreat (antithesis.com) 1 point · 1 month ago · 0 comments
2. 2. ▲ Formal Methods for Rust Unsafe (antithesis.com) 4 points · 1 month ago · 0 comments
3. 3. ▲ We interfaced single-threaded C++ with multi-threaded Rust and lived (antithesis.com) 1 point · 3 months ago · 0 comments
4. 4. ▲ Test ACID compliance with a ring test (antithesis.com) 1 point · 4 months ago · 0 comments
5. 5. ▲ When your customer leads your Series A (antithesis.com) 16 points · 4 months ago · 0 comments
6. 6. ▲ Startups promise to catch bugs in AI-generated software (ft.com) 2 points · 4 months ago · 0 comments
7. 7. ▲ They don't even have eyes (antithesis.com) 5 points · 5 months ago · 0 comments
8. 8. ▲ Did you get lucky or unlucky? (antithesis.com) 2 points · 6 months ago · 0 comments
9. 9. ▲ Global Crossing Is Reborn (pracap.com) 2 points · 7 months ago · 0 comments
10. 10. ▲ Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS [video] (youtube.com) 2 points · 8 months ago · 0 comments