Hacker News new | ask | show | jobs
by Hexstream 6302 days ago
Yes.

http://www.cs.utexas.edu/users/EWD/transcriptions/EWD08xx/EW...