| 1. | | A Fighting Retreat (antithesis.com) |
| 1 point by wwilson 7 hours ago | past | discuss |
|
| 2. | | Formal Methods for Rust Unsafe (antithesis.com) |
| 4 points by wwilson 9 days ago | past | discuss |
|
| 3. | | We interfaced single-threaded C++ with multi-threaded Rust and lived (antithesis.com) |
| 1 point by wwilson 73 days ago | past |
|
| 4. | | Test ACID compliance with a ring test (antithesis.com) |
| 1 point by wwilson 3 months ago | past |
|
| 5. | | When your customer leads your Series A (antithesis.com) |
| 16 points by wwilson 3 months ago | past |
|
| 6. | | Startups promise to catch bugs in AI-generated software (ft.com) |
| 2 points by wwilson 3 months ago | past |
|
| 7. | | They don't even have eyes (antithesis.com) |
| 5 points by wwilson 4 months ago | past |
|
| 8. | | Did you get lucky or unlucky? (antithesis.com) |
| 2 points by wwilson 4 months ago | past |
|
| 9. | | Global Crossing Is Reborn (pracap.com) |
| 2 points by wwilson 5 months ago | past |
|
| 10. | | Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS [video] (youtube.com) |
| 2 points by wwilson 7 months ago | past |
|
| 11. | | FoundationDB: From Idea to Apple Acquisition (youtube.com) |
| 4 points by wwilson 7 months ago | past |
|
| 12. | | Let's all write good software [video] (youtube.com) |
| 2 points by wwilson 8 months ago | past |
|
| 13. | | Fix the New Things First (antithesis.com) |
| 2 points by wwilson 9 months ago | past |
|
| 14. | | Finding a way to make on-call better (antithesis.com) |
| 2 points by wwilson 9 months ago | past |
|
| 15. | | The pragmatic magic of semi-formal methods (antithesis.com) |
| 3 points by wwilson 9 months ago | past |
|
| 16. | | Antithesis for Founders (antithesis.com) |
| 6 points by wwilson 10 months ago | past | 3 comments |
|
| 17. | | Antithesis Driven Testing (sqlsync.dev) |
| 6 points by wwilson 10 months ago | past |
|
| 18. | | Bug Bash 2025 conference writeup (concerningquality.com) |
| 5 points by wwilson 10 months ago | past | 1 comment |
|
| 19. | | Experience with semi-formal proofs [video] (youtube.com) |
| 3 points by wwilson on March 5, 2025 | past |
|
| 20. | | BugBash 2025: Software reliability conference (antithesis.com) |
| 11 points by wwilson on Dec 17, 2024 | past | 1 comment |
|
| 21. | | Rolling for our new initiative: Test Composer (antithesis.com) |
| 5 points by wwilson on Nov 21, 2024 | past |
|
| 22. | | How to debug large, distributed systems: Antithesis (pragmaticengineer.com) |
| 1 point by wwilson on Nov 12, 2024 | past |
|
| 23. | | Debugging in the Multiverse (antithesis.com) |
| 201 points by wwilson on Sept 10, 2024 | past | 58 comments |
|
| 24. | | No Ghost Policy (antithesis.com) |
| 1 point by wwilson on Aug 24, 2024 | past | 1 comment |
|
| 25. | | Security at Antithesis: A Manifesto (antithesis.com) |
| 1 point by wwilson on Aug 6, 2024 | past |
|
| 26. | | At the Mountains of Madness (antithesis.com) |
| 153 points by wwilson on July 10, 2024 | past | 85 comments |
|
| 27. | | Solving Zelda with the Antithesis SDK (antithesis.com) |
| 36 points by wwilson on June 4, 2024 | past | 8 comments |
|
| 28. | | How Antithesis finds bugs (antithesis.com) |
| 160 points by wwilson on April 17, 2024 | past | 53 comments |
|
| 29. | | Antithesis announces Artificial General 8-bit Intelligence (AG8I) (antithesis.com) |
| 21 points by wwilson on April 1, 2024 | past |
|
| 30. | | So you think you want to write a deterministic hypervisor? (antithesis.com) |
| 200 points by wwilson on March 20, 2024 | past | 53 comments |
|
|
| More |
