DIFF.BLOG
New
Following
Discover
Jobs
More
Top Writers
Suggest a blog
Upvotes plugin
Report bug
Contact
About
Sign up
Topics
The largest independent dev blog feed.
We surface the best developer writing from thousands of independent blogs, updated daily. The open web is worth fighting for.
Join now
→
Learn more
TOPICS
Pulling a New Proof from Knuth’s Fixed-Point Printer
295
·
Russ Cox
·
Jan. 10, 2026, 2:39 p.m.
computer-science
algorithms
Don Knuth
Proof Theory
Summary
This blog post offers a unique proof related to Don Knuth's concepts, celebrating his contributions to computer science and providing a novel perspective on fixed-point printers, catering to those interested in advanced algorithms and theory.
Read full post on research.swtch.com →
Submit
AUTHOR
BLOG POST FEATURED ON
Hacker News
14 points
Add this plugin to your blog
RECENT POSTS FROM THE AUTHOR