Hacker News new | ask | show | jobs
by rdfc-xn-uuid 538 days ago
https://www.cs.utexas.edu/~EWD/ewd08xx/EWD831.PDF