Knuth Asking for verification of solutions to problems in 4B prefascicle | Dark Hacker News