Hacker News new | ask | show | jobs
by User23 1043 days ago
Watercooler guy has never heard of Mathematical Engineering or Edsger Dijkstra. If he had then he'd know that proof by construction is the method par excellence for showing an algorithm is correct.