Y Hacker News new | ask | show | jobs

user: wwilson created: 2013-05-20 karma: 4305 Building something cool. Email me at: will.wilson@antithesis.com submissions: 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments A Fighting Retreat 1 points | 0 comments Formal Methods for Rust Unsafe 4 points | 0 comments We interfaced single-threaded C++ with multi-threaded Rust and lived 1 points | 0 comments Test ACID compliance with a ring test 1 points | 0 comments 0 points | 0 comments When your customer leads your Series A 16 points | 0 comments Startups promise to catch bugs in AI-generated software 2 points | 0 comments 0 points | 0 comments They don't even have eyes 5 points | 0 comments Did you get lucky or unlucky? 2 points | 0 comments 0 points | 0 comments Global Crossing Is Reborn 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS [video] 2 points | 0 comments FoundationDB: From Idea to Apple Acquisition 4 points | 0 comments Let's all write good software [video] 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments