#knuth — Public Fediverse posts

A decades-old bug in Knuth's long division (TAOCP Vol II, Algorithm 4.3.1D)

https://kolja.rs/algorithm-d/

Comments: https://news.ycombinator.com/item?id=49286258

#HackerNews #Knuth #longdivision #bug #algorithm #TAOCP #programming

Ein 88-jähriger Mathematiker, der unvoreingenommen und enthusiatisch über seine positiven Erfahrungen mit Claude berichtet: https://cs.stanford.edu/~knuth/papers/claude-cycles.pdf

#AI #Knuth #Mathematik

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

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

Donald Knuth is quite enthusiastic about his recent experiences with generative AI: https://cusy.io/en/blog/knuth-claudes-cycles.html
#Knuth #GenAI #AI #Claude #Anthropic

Donald #Knuth, the godfather of computer science, says an #AI solved a math problem he was stuck on for weeks - https://boingboing.net/2026/03/03/donald-knuth-the-godfather-of-computer-science-says-an-ai-solved-a-math-problem-he-was-stuck-on-for-weeks.html good use

"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 [..]
It seems that I’ll have to revise my opinions about “generative #AI” one of these days.",
Donald #Knuth (2026-03-02)

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

A recent note by Donald #Knuth on an open problem he stated in TAOCP vol 4 (decomposing a class of digraph into cycles), the problem was solved with the help of #AI model Claude Opus 4.6. Interesting to see that Knuth still working on a possible new chapter of TAOCP and not excluding the use of generative artificial intelligence !

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

#mathematics #computerscience

https://blog.gslin.org/archives/2026/03/04/12912/knuth-%e7%9c%8b-claude-opus-4-6-%e8%a7%a3%e9%a1%8c/

Knuth 看 Claude Opus 4.6 解題

#4.6 #algo #algorithm #claude #knuth #language #large #learning #llm #machine #math #mathematics #ml #model #opus

A quotation from Donald Knuth

Science is what we understand well enough to explain to a computer. Art is everything else we do.

Donald E. Knuth (b. 1938) American computer scientist, mathematician, academic
Essay (1996), “Foreword” to Marko Petkovsek, Herbert Wilf and Doron Zeilberger, A = B (1996)

More about this quote: wist.info/knuth-donald-e/81691…

#quote #quotes #quotation #qotd #knuth #donaldknuth #art #computer #explanation #programming #science #understanding #artificialintelligence

Imagine spending your weekend learning about "qntm's #power #tower toy" 🙄—a mathematical monstrosity wrapped in Knuth's #up-arrow notation, like anyone's going to use that at a #cocktail #party. 🍸📉 You're just a Graham's #number away from impressing absolutely no one. 😂
https://qntm.org/files/knuth/knuth.html #qntm #math #Knuth #HackerNews #ngated

Ah yes, yet another attempt to decrypt the Rosetta Stone of #coding - "literate programming." 📚💻 A literary masterpiece where everyone pretends to understand #Knuth, while secretly just hoping the comments make the code run faster. 🤦‍♂️ Spoiler alert: It’s like Shakespearean sonnets but for the terminally nerdy.
https://pqnelson.github.io/2024/05/29/literate-programming.html #literateprogramming #humor #techliterature #nerdculture #programmingjokes #HackerNews #ngated

I wish I could replace AI hype with TAOCP hype.

~OpenAI~ Knuth just dropped ~Chat GPT-5~ a new draft of Pre-Fascicle 8a. This is going to revolutionize the industry. Get on board or get left behind!

#taocp #knuth #bittwiddle vs #llm #ai #bittwaddle

Revisiting Knuth's "Premature Optimization" Paper

https://probablydance.com/2025/06/19/revisiting-knuths-premature-optimization-paper/

#HackerNews #Revisiting #Premature #Optimization #Paper #optimization #knuth #programming #softwaredevelopment #techthoughts #computerScience

Saw this nascent #macropad for #mathematicians and thought of #mathstodon

Their slogan is "Type equations at the speed of thought with this specialized keypad".

https://www.crowdsupply.com/summa-cogni/mathpad

I'm not a mathematician, so if I've missed any hashtags out please feel free to add them by reply!

#math #maths #mathematics #computing #latex #knuth #keyboard #keyboards #typing #macropads

@alainmi11 plus ancien, moins de bugs, TeX

#TeX #LaTeX #Knuth

For going on 30 years now I've had Knuth's "The Art of Computer Programming" on my shelf, with the goal of someday working my way through it.

I once had dreams of getting a cheque. Now I think I'll be lucky to finish a chapter. (If You Know You Know).

This Leetcode solution for number 31 is actually Knuth's "Algorithm L" for generating the next permutation of elements, in lexicigraphical order, in place.

https://github.com/aeu/legible-algorithms/tree/master/leetcode/0031-next-permutation
https://github.com/aeu/legible-algorithms

#programming #knuth #algorithms #cpp

#Knuth tauchte zum ersten Mal im Protokoll der 1. Sitzung des 21. Deutschen Bundestages am 25.03.2025 auf. Das Protokoll findet sich unter https://dserver.bundestag.de/btp/21/21001.pdf

Yet another #Numberphile on stupidly big numbers:
https://www.youtube.com/watch?v=Jw_ZPdnHGzg
#maths #mathematics #numbers #Steinhaus #Moser #GrahamsNumber #Knuth
Part 2: https://www.youtube.com/watch?v=ADwK4BgwzP8

Ah, yes, the noble pursuit of finding typos in the sacred texts of computer science 🤓. Our hero spends six whole minutes unraveling the mysteries of Knuth's misplaced variables, all to earn Monopoly money from the Bank of San Serriffe 💸. Next up: critiquing Shakespeare for dangling participles. 🎭
https://glthr.com/discovering-errors-in-donald-knuths-taocp #typo-hunting #computer-science #Knuth #humor #literary-critique #San-Serriffe #HackerNews #ngated