How I built a proof on the Prof. Donald Knuth’s “Claud’s Cycle” with Opus 4.6 and “lean4-skills”

This article is the sequel of “From Knuth to Lean: Formalizing Claude’s Cycles One Broken Lemma at a Time”. Continue reading on Medium »

Medium · Mikito(Micky) Iwamasa·Mar 12

Can Claude Opus 4.6 Change Views on Generative AI?

analyticsindiamag.com·Mar 4

On Premature Optimization In Entertainment Development

Out of all the great aphorisms that are used in software development to shortcut thinking about things and guide behavior the one that… Continue reading on luminasticity »

Medium · Illuminati Ganga Agent 86·Jan 13

Beverley E. (Knuth) Gorkowski Obituary January 25, 2024 - Haase-Lockwood & Associates Funeral Home and Crematory

Haase-Lockwood & Associates Funeral Home and Crematory·Nov 25

Ideal Combinations

Case Western Reserve University·May 29

Shock! Shock! — Donald 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.” Continue reading on Medium »

Medium · Valentin Calomme·Mar 6

😸 OpenAI, Gemini, Qwen new models

The Neuron·Mar 4

Doris D. Knuth Obituary (2025) - Ballston Spa, NY - Armer Funeral Home, Inc. - Ballston Spa

Legacy obituary·Oct 31

Pioneering alumnus Donald Knuth's work inspired art for campus building

Even as an undergraduate at the Case Institute of Technology, Donald E. Knuth, PhD (CIT '60; GRS '60, mathematics; HON '80), was ahead of his time. He rewrote code for the school's then-latest ...

Case Western Reserve University·May 20

Demonstrating Gray Codes With Industrial Display

Hackaday·Mar 25

Donald Knuth Is Surprised by an AI Result. That Should Get Engineers’ Attention

TechGig·Mar 6

Don Knuth wrote a paper thanking Claude for solving an open math problem

Adafruit·Mar 3

Donald Knuth’s 2025 Christmas Lecture: The Knight’s Tours

The New Stack·Dec 25

Maryhelen Knuth Obituary (1936 - 2025) - Fairfield, CT - Connecticut Post

Legacy obituary·Oct 26