chaitanyya

Karma: 12
Created: 2 years ago

About

All things software correctness, reliability, formal methods, and mathematics

Recent Submissions

1. ▲ Show HN: Make every bug perfectly reproducible (workers.io) 13 points · 6 days ago · 2 comments
2. ▲ Claude Code Skill to write better Lean4 proofs (spec.workers.io) 2 points · 3 months ago · 1 comment
3. ▲ Show HN: Security platform for vibe coded apps (twitter.com) 1 point · 4 months ago · 0 comments
4. ▲ Replaced Clay.com with Claude Code Agent (github.com) 4 points · 5 months ago · 2 comments
5. ▲ Show HN: Claude Code for Sales and GTM (github.com) 8 points · 5 months ago · 2 comments

All submissions on HN · View profile on HN