ε-Red Riding Hood and the Big Bad Bolzano-Weierstrass Theorem [pdf] | Hacker News Reader