fs123

4 ms·

1.
Knuth Claude's Cycles note update: problem now fully solved, by LLMs(www-cs-faculty.stanford.edu)
4 points by fs123 7mo ago|2 comments
2.
by fs123 7mo ago
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. The techniques used are very interesting, including
3.
Completing Claude's Cycles [pdf](github.com)
1 points by fs123 7mo ago|0 comments
4.
by fs123 7mo ago
Mods, please delete this entry, I succeeded in posting it in a better way: https://news.ycombinator.com/item?id=47290805
5.
Knuth Claude's Cycles note update: problem now fully solved by LLMs(www-cs-faculty.stanford.edu)
4 points by fs123 7mo ago|2 comments
6.
by fs123 7mo ago
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 Postpostscript section at the bottom of the note. Also
7.
Knuth Claude's Cycles note update: problem now fully solved by LLMs(www-cs-faculty.stanford.edu)
3 points by fs123 7mo ago|1 comments
8.
Claude's Cycles [pdf](www-cs-faculty.stanford.edu)
841 points by fs123 7mo ago|362 comments
9.
Knuth 2025 Christmas lecture: Adventures with Knight's Tours [video](youtube.com)
2 points by fs123 10mo ago|0 comments
10.
A puzzle for Pi day 2025 [pdf](archive.org)
1 points by fs123 2y ago|1 comments
11.
by fs123 2y ago
I made a fun Roundtrip puzzle because it is Pi day today.
12.
by fs123 5y ago
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 this sound good with 8 separate instruments, so I w
13.
by fs123 5y ago
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 about it in exercise 291 in pre-fasicle 7a, and asked if someon
14.
Revolving-door Gray code for all 4-vertex graphs [video](archive.org)
34 points by fs123 5y ago|6 comments