Hacker News new | ask | show | jobs
by andrewla 1 day ago
Dug it up when I got home: https://www.cs.utexas.edu/~EWD/ewd12xx/EWD1297.PDF