| user: | chaitanyya |
| created: | May 14, 2024 |
| karma: | 14 |
| about: | All things software correctness, reliability, formal methods, and mathematics |
| 1. | 46 days ago | discuss |
| 2. | Show HN: Deterministic Simulation Testing(workers.io) |
| 3. | |
| 4. | Show HN: Make every bug perfectly reproducible(workers.io) |
| 5. | |
| 6. | |
| 7. | |
| 8. | |
| 9. | |
| 10. | |
| 11. | |
| 12. | |
| 13. | |
| 14. | 167 days ago | discuss |
| 15. | 167 days ago | discuss |
| 16. | Claude Code Skill to write better Lean4 proofs(spec.workers.io) |
| 17. | Show HN: Security platform for vibe coded apps(twitter.com) |