Hacker News

user:created:karma:about:

chaitanyya767 days ago9All things software correctness, reliability, formal methods, and mathematics