Skip to content

Top New Best Ask Show Jobs

chaitanyya

3 karmaJoined May 14, 202419 submissions

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

chaitanyya | Better HN

Recent submissions

1

Claude Code Skill to write better Lean4 proofs (opens in new tab)

(spec.workers.io)

2chaitanyya19d ago1

2

Show HN: Security platform for vibe coded apps (opens in new tab)

(twitter.com)

1chaitanyya1mo ago0

3

Replaced Clay.com with Claude Code Agent (opens in new tab)

(github.com)

4chaitanyya2mo ago2

4

Show HN: Claude Code for Sales and GTM (opens in new tab)

(github.com)

8chaitanyya2mo ago2

5

Claude Code as a Sales Guy (opens in new tab)

(twitter.com)

5chaitanyya2mo ago1