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.