AWS RDS Vulnerability Leads to AWS Internal Service Credentials, by Gafnit Amiga. Nice writeup!

Zuo, a tiny Racket for scripting.

The pro-PER meaning of “proper”, working with partial equivalence relations in Coq, by Li-yao Xia.

Minipeg is a parser generator for C that you can easily add to your project as a single file. By Andrew Chambers, based on code from Ian Piumarta.

Reverse-engineering the LM185 voltage reference chip and its bandgap reference, by Ken Shirriff.

U+237C ⍼ RIGHT ANGLE WITH DOWNWARDS ZIGZAG ARROW, by Jonathan Chan. “… no one knows what ⍼ is meant to represent or where it originated from.”

Horrible edge cases to consider when dealing with music

SIGBOVIK 2022 proceedings (PDF).

HINT: Reflowable Output for TeX, by Martin Ruckert. This is amazing, I hope it becomes popular. Related TUG article from 2018.

LP49: Embedded system OS based on L4 and Plan 9 (2006), by Yoshihide Sato and Katsumi Maruyama. (More, in Japanese.)

ZedRipper, a 16-core, 83 MHz Z80 powerhouse. By Chris Fenton.

hBPF is eBPF in hardware.

Writing a device driver for Unix V6, by Marton Veges. When life was simple!

headscale, an open source, self-hosted implementation of the Tailscale control server.

Nebula is a mutually authenticated peer-to-peer software defined network based on the Noise Protocol Framework.

Conway’s Circle, a proof without words (2020), by Colin Beveridge.

Lightboard is a glass chalkboard pumped full of light. It’s for recording video lecture topics. You face toward your viewers, and your writing glows in front of you.

Infinite Wordle and the Mastermind numbers, by Joel David Hamkins.

Asicle, Wordle on raw silicon.