Reading up on Donald Knuth

Scientific discovery emerges from a loop of human question-posing, LLM proposal, external verification, and human curation, not from AI alone.

Rob Pike's 1989 programming rules emphasize data structures over algorithms and caution against premature optimization, with commenters debating the misattribution and real-world impact of the 'premature optimization' quote.

Donald Knuth publishes a paper showing Claude helped him find and prove a solution to a combinatorial problem, though even-case solutions remain open.