Website showing LLM solutions to Knuth's Problems? | Dark Hacker News