Full threadnot_knuth·This is petty outrage material. If you're having a good day, don't read this. You'll miss nothing.View on HN