chaitanyya

Karma: 14
Created: 2 years ago

About

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

Recent Submissions

1. ▲ VibeCheck: A formal methods hackathon in SF (fmxai.org) 1 point · 11 days ago · 1 comment
2. ▲ Show HN: Deterministic Simulation Testing (workers.io) 2 points · 3 months ago · 0 comments
3. ▲ Show HN: Make every bug perfectly reproducible (workers.io) 13 points · 3 months ago · 2 comments
4. ▲ Claude Code Skill to write better Lean4 proofs (spec.workers.io) 2 points · 7 months ago · 1 comment

All submissions on HN · View profile on HN