HN
Hacker News
Top
New
Best
Ask
Show
Jobs
chaitanyya
14 karma · joined May 14, 2024
All things software correctness, reliability, formal methods, and mathematics
submissions
comments
VibeCheck: A formal methods hackathon in SF
fmxai.org
·
1 pts
·
chaitanyya
·
1
Show HN: Deterministic Simulation Testing
workers.io
·
2 pts
·
chaitanyya
·
0
Show HN: Make every bug perfectly reproducible
workers.io
·
13 pts
·
chaitanyya
·
2
Claude Code Skill to write better Lean4 proofs
spec.workers.io
·
2 pts
·
chaitanyya
·
1
Show HN: Security platform for vibe coded apps
twitter.com
·
1 pts
·
chaitanyya
·
0
Replaced Clay.com with Claude Code Agent
github.com
·
4 pts
·
chaitanyya
·
2
Show HN: Claude Code for Sales and GTM
github.com
·
8 pts
·
chaitanyya
·
2
Claude Code as a Sales Guy
twitter.com
·
5 pts
·
chaitanyya
·
1