Hacker News new | past | comments | ask | show | jobs | submit
seanmcdirmid | on: #47288921
Again, how is that different from humans? I’m not going around trying to prove my code correct when I write it manually.
loading story #47291928