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