Y
Hacker News
new
|
ask
|
show
|
jobs
user:
chaitanyya
created:
2024-05-14
karma:
6
All things software correctness, reliability, formal methods, and mathematics
submissions:
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Claude Code Skill to write better Lean4 proofs
2 points
|
1 comments
0 points
|
0 comments
Show HN: Security platform for vibe coded apps
1 points
|
0 comments
0 points
|
0 comments
Replaced Clay.com with Claude Code Agent
4 points
|
2 comments
Show HN: Claude Code for Sales and GTM
8 points
|
2 comments
0 points
|
0 comments
Claude Code as a Sales Guy
5 points
|
1 comments
0 points
|
0 comments
0 points
|
0 comments