HN Explorer

wwilson

↗ HN profile [ 854 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. My quest to see all of Tetris (antithesis.com)
    2 points 12
  2. A Fighting Retreat (antithesis.com)
    1 points 0
  3. Formal Methods for Rust Unsafe (antithesis.com)
    4 points 0
  4. We interfaced single-threaded C++ with multi-threaded Rust and lived (antithesis.com)
    1 points 0
  5. Test ACID compliance with a ring test (antithesis.com)
    1 points 0
  6. When your customer leads your Series A (antithesis.com)
    16 points 0
  7. Startups promise to catch bugs in AI-generated software (ft.com)
    2 points 0
  8. They don't even have eyes (antithesis.com)
    5 points 0
  9. Did you get lucky or unlucky? (antithesis.com)
    2 points 0
  10. Global Crossing Is Reborn (pracap.com)
    2 points 0
  11. Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS [video] (youtube.com)
    2 points 0
  12. FoundationDB: From Idea to Apple Acquisition (youtube.com)
    4 points 0
  13. 1 points 0
  14. Let's all write good software [video] (youtube.com)
    2 points 0
  15. Fix the New Things First (antithesis.com)
    2 points 0
  16. Finding a way to make on-call better (antithesis.com)
    2 points 0
  17. The pragmatic magic of semi-formal methods (antithesis.com)
    3 points 0
  18. Antithesis for Founders (antithesis.com)
    6 points 3
  19. Antithesis Driven Testing (sqlsync.dev)
    6 points 0
  20. Bug Bash 2025 conference writeup (concerningquality.com)
    5 points 1
  21. Experience with semi-formal proofs [video] (youtube.com)
    3 points 0
  22. BugBash 2025: Software reliability conference (bugbash.antithesis.com)
    11 points 2
  23. Rolling for our new initiative: Test Composer (antithesis.com)
    5 points 1
  24. How to debug large, distributed systems: Antithesis (newsletter.pragmaticengineer.com)
    1 points 0
  25. Debugging in the Multiverse (antithesis.com)
    201 points 60