top | new | best | ask | show | jobs | submit

user: chaitanyya

3 karma | created 1 year ago

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

submissions | comments | favorites

powered by hn/api // news.ycombinator.com