©RillNews
new
show
ask
jobs
submit
login
Lean proved this program correct; then I found a bug
kirancodes.me
116 points by
bumbledraven
3 hours ago
|
64 comments
add comment