Viewing profile — fs123

Knuth updated his 'Claude cycles' note with new spectacular developments. The remaining open problem for even m was completely solved using LLMs, including proofs of correctness. T…

Mods, please delete this entry, I succeeded in posting it in a better way: https://news.ycombinator.com/item?id=47290805

Knuth updated his 'Claude cycles' note with new spectacular developments. The remaining open problem was completely solved using LLMs, including proofs of correctness. See the Post…

I made a fun Roundtrip puzzle because it is Pi day today.

Thanks. The original idea by Knuth was to have each vertex have both a separate tune and a separate instrument/timbre, with each combination sounding not too bad. I couldn't make t…

In February 2022, Don Knuth found a cool graph which contains all 4-vertex graphs as subgraphs. Furthermore, they can be visited in revolving-door Gray code order. He reported abou…