chaitanyya

Karma: 14
Created: 2 years ago

About

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

Recent Submissions

1. ▲ Show HN: Deterministic Simulation Testing (workers.io) 2 points · 1 month ago · 0 comments
2. ▲ Show HN: Make every bug perfectly reproducible (workers.io) 13 points · 2 months ago · 2 comments
3. ▲ Claude Code Skill to write better Lean4 proofs (spec.workers.io) 2 points · 5 months ago · 1 comment
4. ▲ Show HN: Security platform for vibe coded apps (twitter.com) 1 point · 6 months ago · 0 comments

All submissions on HN · View profile on HN