Mastodawn

The art of #oneliner #programming - viewed from two very different perspectives: Edsger #Dijkstra and Donald #Knuth:

Fixed two long standing bugs in the line breaking algorithm in boxes and glue. I had to re-read the Knuth paper about optimum fit line breaking... Both fixes are in v0.2.18

#boxesandglue #knuth #digitaltypography

Ambassador of the Heat Sink Apr 8

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

Gea-Suan Lin Apr 4

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

Knuth 看 Claude Opus 4.6 解題的後續

先前在「Knuth 看 Claude Opus 4.6 解題」這邊有提到 Knuth 對 Claude Opus 4.6 解題的一些看法，後來在「Further human + AI + proof assistant work on Knuth's Claude Cycles problem (twitter.

Gea-Suan Lin's BLOG

un admirador de Uruguay ⁂Apr 2

El universo obra de formas misteriosas: En 1978 #Knuth iba a pasar un sabático aprendiendo #español en 🇨🇱, pero tuvo la oportunidad de trabajar en un sistema digital de impresión, que a la postre le llevaría a crear #TeX. ¡Menos mal que lo hizo! ¡No me lo imagino diciendo *weon *al final de sus enunciados! 🤣 🤣
https://inv.nadeko.net/j_0lQUIT8yY?__goaway_challenge=js-refresh&__goaway_id=fccb605869aae189cec04e6f5cef4829&__goaway_referer=https%3A%2F%2Finv.nadeko.net%2F&listen=false

Kadin Mar 30

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

Show thread

Ramesh Gupta Mar 29

⬆️ @vij

>> Legendary CS prof Knuth: “Shock! Shock! I learned yesterday that an open problem I’d been working on for several weeks had just been solved by Claude Opus 4.6”

Sounds like #Knuth is saying there is a there there 🤔

Hacker News Mar 28

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

Bo Wang (@BoWang87) on X

Three weeks ago I shared that Claude had shocked Prof. Donald Knuth by finding an odd-m construction for his open Hamiltonian decomposition problem in about an hour of guided exploration. Prof. Knuth titled the paper Claude’s Cycles. The story didn't end there. The updated

X (formerly Twitter)