Has anybody else noticed that Kyle Kulinski has *two* identical sets of 4 volumes of Knuth's the Art of Computer Programming, on his bookshelf that appears in the background of his videos?

Even if I don't think he has read them, that tells a lot about how analytical his mindset is, to have such interests!

(but why two?)

By the way, I warmly recommend his Youtube channel, "Secular Talk"!

#Knuth #TAOCP #KyleKulinski #SecularTalk

https://blog.gslin.org/archives/2026/04/05/12975/knuth-%e7%9c%8b-claude-opus-4-6-%e8%a7%a3%e9%a1%8c%e7%9a%84%e5%be%8c%e7%ba%8c/

Knuth 看 Claude Opus 4.6 解題的後續

#46 #54 #case #claude #cycle #donald #even #gpt #knuth #llm #math #mathematics #odd #opus #pro #proof

I've read a couple of breathless articles about Donald #Knuth's use of #LLM systems, and found (unsurprisingly) that he has a paper about it, if you prefer your news without someone else's hot takes:

https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cycles.pdf

(Sidebar: apparently he's working on *another* volume of #TAOCP? Good lord. I still haven't worked through the exercises in Vol. 1.)

#AI #Programming #ComputerScience

Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem

https://twitter.com/BoWang87/status/2037648937453232504

#HackerNews #Further #human #AI #proof #assistant #Knuth #Claude #Cycles

Okay, I have to ask first and google then:

Has anyone *ever* ported #DOOM to Donald #Knuth​s #MMIX machine?

I think he deserves to see that.

Knuth's merge-sort in C. Definitely in the style of mathematician programming.

https://www.yodaiken.com/2024/01/24/kuths-merge-sort-in-c/

#Clanguage #programming #knuth #mergesort