Knuth's earthshaking announcement #1 Post by dsc » Thu, Jul 01, 2010, 2:28 AM UTC Knuth's earthshaking announcementreddit.com