Facet, a new Rust library for reflection, serialization, deserialization, pretty printing, etc.

SYNIT, a reactive operating system. “Applying pervasive reactivity and object capabilities” to a Linux system. By Tony Garnock-Jones.

Functional Meaning for Parallel Streaming, by Nick Rioux and Steve Zdancewic. “This paper presents λ_∨, a core language for deterministic parallelism […]. In λ_∨, values may increase over time according to a streaming order and all computations are monotone with respect to that order.”

How Much Math Is Knowable? (YouTube), 2025 Yip Lecture by Scott Aaronson.

Introducing Kermit: A typeface for kids, by Microsoft. Part of Office now, but not available as a free webfont.

NetBird creates a WireGuard-based overlay network.

What I Saw at the Evolution of Plan 9 (PDF), by Geoff Collyer.

The ‘trickonometry’ of math olympiad inequalities, extensive article by Andrei Ciobanu.

Evertop, an ultra lower power, ultra long battery solar PC.

8-pin Linux, an interactive-speed Linux computer on a tiny board you can easily build with only 3 8-pin chips. By Dmitry Grinberg.

Chunking attacks on Tarsnap (and others), by Boris Alexeev, Colin Percival, and Yan X Zhang.

Gerrit, GitButler, and Jujutsu projects collaborating on change-id commit footer, excellent!

Tangled is a new social-enabled Git collaboration platform, built on top of the AT Protocol. “We envision a place where developers have complete ownership of their code, open source communities can freely self-govern and most importantly, coding can be social and fun again.”

LunarML, a Standard ML compiler that produces Lua/JavaScript.

dreckly, a pkgsrc fork focused on quality and portability to all UNIX-like platforms.

The Pentium contains a complicated circuit to multiply by three, Ken Shirriff explains why.

Minimal CSS-only blurry image placeholders, by Lean Rada.

Neuralatex, a machine learning library written in pure LaTeX. By James. A. D. Gardner, Will Rowan, and William. A. P. Smith.

Roguetype is the first roguelike written in the OCaml type system.