An aperiodic monotile, by David Smith, Joseph Samuel Myers, Craig S. Kaplan, and Chaim Goodman-Strauss. “A longstanding open problem asks for an aperiodic monotile, also known as an “einstein”: a shape that admits tilings of the plane, but never periodic tilings.”

Tilings Encyclopedia, from Uni Bielefeld. Aperiodicity can be achieved with pretty easy rules.

How did Dennis Ritchie Produce his PhD Thesis? A Typographical Mystery (PDF), by David F. Brailsford, Brian W. Kernighan, and William A. Ritchie.

Notes on structured concurrency, or: Go statement considered harmful (2018), by Nathaniel J. Smith.

BibBot, a browser add-on to read german news pages using a public library account.

Reviving the IBM Selectric Composer Fonts, by Jens Kutilek.

A compiler for the Tiny-C language, by Marc Feeley. Wirth-level of integration!

The C2 Wiki, online archive with the original feel.

Samsung “space zoom” moon shots are fake, and here is the proof, what a disgusting “feature”.

Typescripting the technical interview, by Richard Towers.

Turn a Cat5 patch cable into an 8-turn loop antenna, nifty little board by Henning Paul, DC4HP.

Mizar proof checker written in Rust! By Mario Carneiro.

Mizar is now publicly available under GPLv3.

The CIRCT project is an (experimental!) effort looking to apply MLIR and the LLVM development methodology to the domain of hardware design tools.

No more DSLs: Implement and deploy a distributed system with a single program (2021), a.k.a. Caternetes.

How the 8086 processor determines the length of an instruction, by Ken Shirriff.

Handwaving, Comics about mathematics, science, and the student life.