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.