| user: | chaitanyya |
| created: | May 14, 2024 |
| karma: | 6 |
| about: | All things software correctness, reliability, formal methods, and mathematics |
| 1. | |
| 2. | |
| 3. | |
| 4. | |
| 5. | |
| 6. | |
| 7. | |
| 8. | |
| 9. | 68 days ago | discuss |
| 10. | 68 days ago | discuss |
| 11. | Claude Code Skill to write better Lean4 proofs(spec.workers.io) |
| 12. | Show HN: Security platform for vibe coded apps(twitter.com) |
| 13. | Replaced Clay.com with Claude Code Agent(github.com) |
| 14. | Show HN: Claude Code for Sales and GTM(github.com) |
| 15. | Claude Code as a Sales Guy(twitter.com) |