Skip to content

Top New Best Ask Show Jobs

chaitanyya | Better HN

chaitanyya

6 karmaJoined May 14, 202427 submissions

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

Recent submissions

1

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

(spec.workers.io)

2chaitanyya2mo ago1

2

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

(twitter.com)

1chaitanyya3mo ago0

3

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

(github.com)

4chaitanyya3mo ago2

4

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

(github.com)

8chaitanyya3mo ago2

5

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

(twitter.com)

5chaitanyya3mo ago1