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.

HYTRADBOI 2025 was an online conference about databases, programming languages, and everything in between.

Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions, by Hong Wang and Joshua Zahl.

TRAVERTINE (CVE-2025-24118), an absolutely wild race condition in the macOS kernel found by Joseph Ravichandran.

Black (2014) is an extension of Scheme with a reflective construct exec-at-metalevel. It executes its argument at the metalevel where the interpreter that executes user programs is running.

Visual programming is stuck on the form, by Wil Chung.

Intensional Joy (a concatenative account of internal structure) with map and quota, by Pithlessly.

Quicksort with Jenkins for Fun and No Profit, by Susam Pal.

The secret Poker Game You Can Play on the Subway!

The Lawvere Archives, collecting the work of F. William Lawvere, as well as memorials.

Unexpected Uses for the Galois Field Affine Transformation Instruction, which was added in Intel Sunny Cove and Tremont cores (and AMD Zen 4).

ConnectX-5 Firmware tooling and initial analysis, by Jonas Rudloff.

Loop fusion in array languages, by Marshall Lochbaum.

How I implement SSA form, by Filip Pizlo.

Bidirectional Typechecking is Bidirectional, by Jules Hedges.

Sound As Pure Form, a Forth-like language for audio synthesis using lazy lists and APL-like auto-mapping.

Miranda2, a pure, lazy, functional language and compiler.

Visualizing all books of the world in ISBN-Space, well done!

0xProto is a programming font focused on source code legibility.

A new oral culture, by Danny O’Brien. “[M]odern remote, distributed, internet-mediated environments, it struck me, have become oral cultures.”

The hardest working font in Manhattan, long post by Marcin Wichary about the Gorton font.

Schmankerl Time Machine, an archive of Munich restaurant menus, dating back up to 150 years.

Fidget is a library for representing, compiling, and evaluating large-scale math expressions, i.e. hundreds or thousands of arithmetic clauses. It’s mainly designed as a backend for implicit surfaces, but the library is flexible enough for many different uses.

Introduction to Synthetic Agda, by Corinthia Beatrix Aberlé.

A Proper x86 Assembler in Haskell Using the Escardó-Oliva Functional, by Vanessa McHale.

Load is not what you should balance: Introducing Prequal (PDF), by Bartek Wydrowski, Robert Kleinberg, Stephen M. Rumble, and Aaron Archer.

Facebook Cookbooks Suite, using Chef. See also their Philosophy. Contains wisdom.

A Retrospective on the Source Code Control System (PDF), by Marc J. Rochkind. From the original creator of SCCS.

gtwr Technical Bulletin, Stefan Gotteswinter has a blog!

Building Ultra Long Range TOSLINK, by Benjojo.

IP-over-Toslink, 2 channels @ 44kHz/16bit = 1536kbit/s digital data… By Manawyrm.

Elektročas HH3, the most accurate pendulum clock on the planet.

Bad Apple but it’s 6,500 regexes that I search for in Vim.

Visualizing All ISBNs and the ones available at Anna’s Archive.

Tree Calculus, a kind of Lambda calculus with reflection.

PQConnect automatically applies post-quantum cryptography from end to end between computers running PQConnect.

Dissecting Puma: Anatomy of a Ruby Web Server, by Dan Svetlov.

Eileen: A plan for Iris in Lean, by Markus de Medeiros.

UltraLogLog: A Practical and More Space-Efficient Alternative to HyperLogLog for Approximate Distinct Counting, by Otmar Ertl.

usam, an experiment in blending the sam editor with the shell. Funky.

Luigi Mangione and the Making of a Modern Antihero, by Jessica Winter.

Finite-Choice Logic Programming, by Chris Martens, Robert J. Simmons, and Michael Arntzenius. “We propose a new formalism, finite-choice logic programming, that uses choice, not negation, to admit multiple solutions. Finite-choice logic programming contains all the expressive power of the stable model semantics, gives meaning to a new and useful class of programs, and enjoys a least-fixed-point interpretation over a novel domain.”

Optimality of Gerver’s Sofa, by Jineon Baek.

On “Safe” C++, by Isabella Muerte. What a ride.

Way too many ways to wait on a child process with a timeout, by Philippe Gaultier.

Some surprising code execution sources in bash

Chawan, a web browser for your terminal. Looks very decent already!

ad, an adaptable text editor in the spirit of Acme.

linotype.wiki, home to information about typesetting machines.

Resurrection, the Computer Conservation Society’s Journal.

Mathematische Schülerbücherei der DDR, 138 Bücher neu geTeXt, darunter “Köpfchen, Köpfchen”.

The December Adventure is low key. The goal is to write a little bit of code every day in December.

Nachruf auf Lothar König: Pfarrer und Punk, 1954–2024.

GIMPS Discovers Largest Known Prime Number: 2^136,279,841-1, first new Mersenne Prime found using GPUs.

Formalising Graphs with Coinduction, by Donnacha Oisín Kidney and Nicolas Wu (POPL 2025). “We argue in the paper that graphs are naturally coinductive, rather than inductive, and that many of the problems with graphs in functional languages go away once you give up on induction and pattern-matching, and embrace the coinductive way of doing things.”

The Design of a Self-Compiling C Transpiler Targeting POSIX Shell, SLE 2024 paper by Laurent Huberdeau, Cassandre Hamel, Stefan Monnier, and Marc Feeley.

getopt() but smaller, neat version by Tony Finch.

“Reflections on Trusting Trust”, but completely by accident this time, by duk.

Neural Networks (MNIST inference) on the “3-cent” Microcontroller, a PMS150C.

A line map for Milano’s trams in TeX, by terru.

Better-performing “25519” elliptic-curve cryptography, from AWS. With correctness proofs of the assembly code(!) in HOL/Light.

FreeBSD 11.0+ Kernel LPE: Userspace Mutexes (umtx) Use-After-Free Race Condition, detailed write up at Access Vector.

Unbindable Kemmy Schmidt, by Sophie Schmieg.

Can Logic Programming Be Liberated from Predicates and Backtracking? (PDF), by Michael Hanus.

A Mathematical Model of Package Management Systems, by Gershom Bazerman, Emilio Minichiello, and Raymond Puzio.

A liveness example in TLA+, by Lorin Hochstein.

Unsynchronized PPS Experiment, Josef “Jeff” Sipek improves NTP quality a lot with a $5 OCXO.

How do archivists package things? The battle of the boxes

Amazon S3 now supports conditional writes, finally!

The TESCREAL bundle: Eugenics and the promise of utopia through artificial general intelligence, by Timnit Gebru and Émile P. Torres. “T]hhe acronym “TESCREAL” denotes “transhumanism, Extropianism, singularitarianism, (modern) cosmism, Rationalism, Effective Altruism, and longtermism”.

A low-level look at A-normal form, by William J. Bowman.

SQL Has Problems. We Can Fix Them: Pipe Syntax In SQL, by Jeff Shute, Shannon Bales, Matthew Brown, Jean-Daniel Browne, Brandon Dolphin, Romit Kudtarkar, Andrey Litvinov, Jingchi Ma, John Morcos, Michael Shen, David Wilhite, Xi Wu, and Lulan Yu. Seems like a decent idea.

The GhostWrite vulnerability affects the T-Head XuanTie C910 RISC-V CPU. “This vulnerability allows unprivileged attackers, even those with limited access, to read and write any part of the computer’s memory and to control peripheral devices like network cards.”

Debugging a rustc segfault on illumos, by Rain.

SKINT is a portable interpreter for the R7RS Scheme programming language.

GLIM is a set of GRUB configuration files to turn a simple memory stick into being able to boot many Linux live environments.

Typical, data interchange with algebraic data types. “Typical can be compared to Protocol Buffers and Apache Thrift. The main difference is that Typical has a more modern type system based on algebraic data types, emphasizing a safer programming style with non-nullable types and exhaustive pattern matching.”

GCRA: leaky buckets without the buckets, by Tony Finch. An easy way to do rate-limiting.

rpdf makes working with PDF annotions super easy! It can merge annotations from multiple files, some show statistics (stats) or strip specific (or all) annotations.

Stitch is a minimal grep-based CLI note-managing system.

Yon is a little UI for knowledge, using a Acme-like interface in the Browser.

Planning Weekly Workouts in 100 lines of Haskell, by Rodrigo Mesquita.

The Dying Computer Museum, by Jason Scott.

How good can you be at Codenames without knowing any words?, by Dan Luu.

Against XMPP+OMEMO, by Soatok.

rtex is a reimplementation of TeX82 in Rust.

DECstation 2040, a RP2040 based DECstation 3000 emulator that can run DECWindows.

μLA: Micro Logic Analyzer, a SUMP/OLS compatible logic analyzer firmware for RP2040 based boards.

PiGFX is a bare metal kernel for the Raspberry Pi that implements a basic ANSI terminal emulator with the additional support of some primitive graphics functions. It can be driven by pushing characters to the Raspberry Pi UART.

Abstract interpretation in the Toy Optimizer, by Max Bernstein.

Revisiting Coroutines (PDF, 2004), by Ana Lúcia de Moura and Roberto Ierusalimschy. “This paper defends the revival of coroutines as a general control abstraction. After proposing a new classification of coroutines, we introduce the concept of full asymmetric coroutines and provide a precise definition for it through an operational semantics.” Recommended!

How to Share a Secret, Infinitely (2016), by Ilan Komargodski, Moni Naor, and Eylon Yogev. “In this work we consider the case where the set of parties is not known in advance and could potentially be infinite.”

Iconography of the X Window System: The Boot Stipple, by Matt T. Proud.

The bizarre secrets I found investigating corrupt Winamp skins, by Jordan Eldredge.