HN Explorer

wwilson

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