Y
Hacker News
new
|
ask
|
show
|
jobs
user:
chaitanyya
created:
2024-05-14
karma:
14
All things software correctness, reliability, formal methods, and mathematics
submissions:
0 points
|
0 comments
Show HN: Deterministic Simulation Testing
2 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Show HN: Make every bug perfectly reproducible
13 points
|
2 comments
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