Project LANA interim report on IUT theory, “As of July 2026, the LANA Project has not made a final judgment on the correctness or incorrectness of IUT theory. However, through the multiple bootcamps held since February 2025 and lively discussions during numerous online meetings, it has progressed to the point of transforming the core of the controversy, which for many years had been discussed in vague terms, into the form of diagrams, types, code, black boxes, and explicit questions”, and later: “we are reserving our final judgment on whether a proof exists for Corollary 3.12 in Mochizuki’s third paper on IUT theory.”
Silk, a cooperative fiber scheduler for Linux with per-CPU scheduler threads, io_uring integration, and topology-aware work-stealing. By ClickHouse.
The git history command deserves more attention, useful additions in Git 2.55.
Justif is a JavaScript library that applies TeX-style paragraph layout to existing HTML.
Fast Synthesis of Basic Oscillators, by Artemis Everfree.
E73, a rendering of the ECMA-42 standard bitmap printer font from 1973.
Why did early ASCII have ← and ↑ but not ↓ or →?
BSD Make extravaganza computes the Mandelbrot set in bmake.
Bad Apple, animated in the browser, without JS and CSS.
Frankfurt Schoodle, guess the author of a quote.