Choose how you want to continue.
The road to epsilon-zero: Productive programs and well-founded orders
Summary
The blog post delves into the concepts of productive and non-productive programs through the lens of infinite lists. It contrasts different ways of handling infinite strings, focusing on productivity and well-founded orders, specifically discussing lexicographic vs. shortlex ordering. This exploration highlights the challenges of printing infinite sequences in a useful manner, ultimately advocating for shortlex order as a superior method for managing infinite data streams.
MORE POSTS LIKE THIS
The road to epsilon-zero: ordinals as nim-heaps
Mark Dominus ·
Jul 19, 2026
Would AI have ruined my 100 days of algorithms?
Daniel Sada ·
Jul 12, 2026
A new playbook for quantum optimization benchmarking
Research Ibm ·
Jun 24, 2026
◦୦◦◯◦୦◦⊚⚪⊚◦୦◦◯◦୦◦᪣🞊᪣𝆯᪣🞊᪣ ᪣🞊᪣𝆯᪣🞊᪣◦୦◦◯◦୦◦⊚⚪⊚◦୦◦◯◦୦◦
⠀ ᯽ ᯽ ⠀ ·
Jun 14, 2026
AUTHOR