Summary of the Amazon DynamoDB Service Disruption in Northern Virginia (US-EAST-1) Region

Two Years After Cormac McCarthy’s Death, Rare Access to His Personal Library Reveals the Man Behind the Myth, by Richard Grant.

Cancelling async Rust, by Rain.

WireGuard topologies for self-hosting at home, by Gabriel Garrido. Interesting overview over some common configurations.

miniDusa is a finite-choice logic programming DSL within Racket similar to Dusa.

Scheme-rs, an embedded Scheme for the Async Rust Ecosystem. By Matthew Plant.

Glistix is a fork of the Gleam compiler which adds a Nix backend.

Pizarnik is a stack-based, concatenative language with extensible cases and evocative syntax for pattern-matching. By Vanessa McHale.

Olo is an imaginary color that can be seen by shooting lasers into the retina to isolate the response of M cone cells.

Kefir is an independent compiler for the C17/C23 programming language, developed by Jevgenij Protopopov.

Tracing Just-in-Time Compilation for Effects and Handlers (PDF), by Marcial Gaissert, CF Bolz-Tereick, and Jonathan Immanuel Brachthäuser.

Cap’n Web: a new RPC system for browsers and web servers, by Kenton Varda and Steve Faulkner.

ocrs is a Rust library and CLI tool for extracting text from images, also known as OCR (Optical Character Recognition). Uses a small neural network model.

The 100 MHz 6502, by Jürgen Müller. Same footprint as the original!

Writing an operating system kernel from scratch, by Uros Popovic. In Zig for RISC-V.

Ceu is a synchronous programming language that reconciles Structured Concurrency with Event-Driven Programming.

Jiff is a datetime library for Rust.

Some interesting stuff I found on IX LANs, by Benjojo.

The Naming of Tack Symbols in Unicode. Aggravating!

Kernel-hack-drill and a new approach to exploiting CVE-2024-50264 in the Linux kernel, by Alexander Popov. Very detailed writeup. “I can say that it’s the worst bug to exploit I’ve ever seen.”

Я (pronounced “ya”), by Murat Kasimov, is a new programming language built on natural transformations.

AmneziaWG is a fork of WireGuard-Go eliminating the identifiable network signatures that make WireGuard easily detectable by Deep Packet Inspection (DPI) systems.

Gate-level emulation of an Intel 4004 in 4004 bytes of C, writeup for Nicholas Carlini’s IOCCC entry.

FreeBSD Kernel Development Recipes (PDF), by Mark Johnston.

Atmos is a programming language reconciles Structured Concurrency with Event-Driven Programming, and compiles to Lua.

Optimized Binary GCD for Modular Inversion (2020), by Thomas Pornin.

Sangaku Puzzle I Can’t Solve, by Sameer Shah. I didn’t know the trick with inversion of the plane really.

χrust implements XPath, XQuery, and XSLT in Rust.

Pica Numbers in typewriter fonts. By David Jones.

Replication of Quantum Factorisation Records with an 8-bit Home Computer, an Abacus, and a Dog, by Peter Gutmann and Stephan Neuhaus. Funny.

The rise of Whatever, by eevee.

Tree Borrows, by Neven Villani, Johannes Hostert, Derek Dreyer, and Ralf Jung. A new aliasing model for Rust.

Death by Accidental Complexity (2010), talk by Ulf Wiger. How to implement concurrent state machines.

Come try out Piglet, by Arne Brasseur. Piglet is a Clojure-like Lisp written in JavaScript.

SQIsign, a post-quantum cryptography scheme with very compact keys and signatures.

crash-gcore, in case you ever wanted to make userspace core dumps from a kernel memory dump.

More than you wanted to know about how Game Boy cartridges work, by Allison Parrish.

How to reverse engineer an analog chip: the TDA7000 FM radio receiver, by Ken Shirriff.

I Deleted My Second Brain, by Joan Westenberg.

How to Surf the Web in 2025, and Why You Should

Report: Flag Sharing Incidents During GPN CTF 2025, ouch.

LZEXE was the first wide known executable file compression for PCs under MSDOS. Source code now available! By Fabrice Bellard.m

Micro Common Lisp is a tiny interpreter for a tiny and purely symbolic subset of Common Lisp.

Berry is a ultra-lightweight dynamically typed embedded scripting language. A reasonable alternative to Lua.

ltx-talk, a new LaTeX class for typesetting presentations. Very early, but hopefully gets rid of some of Beamer’s idiosyncrasies.

The Missing 11th of the Month (2015).

SLAM! (1951), a bidding game for two that departs a little from Bridge but keeps all of the flavor. (Interestingly, due to being a two player game, it also removes practically all ways to cheat at Bridge.)

The Venetian origins of roman type, by Riccardo Olocco.

System ♢⃝ (PDF), Baseball for the skeptical and apathetic. Slides by Slim Lim.

A break from programming languages, by Alexis King.

Breaking the Sorting Barrier for Directed Single-Source Shortest Paths, by Ran Duan, Jiayi Mao, Xiao Mao, Xinkai Shu, and Longhui Yin. “We give a deterministic O(m log^2/3n)-time algorithm for single-source shortest paths (SSSP) on directed graphs with real non-negative edge weights in the comparison-addition model. This is the first result to break the O(m+n log n) time bound of Dijkstra’s algorithm on sparse graphs, showing that Dijkstra’s algorithm is not optimal for SSSP.” (Won STOC Best Paper Award.)

A Guided Tour of Polarity and Focusing (YouTube), talk by Chris Martens. Excellent introduction! Additional material.

Multi-Stage Programming with Splice Variables, by Tsung-Ju Chiang and Ningning Xie (ICFP 2025).

Steel is an embeddable scheme interpreter with bytecode VM, written in Rust.

Zeekstd, a Rust implementation of the Zstandard Seekable Format.

Precision Clock Mk IV, by mitxela. What a level of detail!

Lock-Free Rust: How to Build a Rollercoaster While It’s on Fire, by Julian Goldstein.

Effekt, a language with lexical effect handlers and lightweight effect polymorphism.

Domain theory, lecture notes by Liam O’Connor.

Collaborative Text Editing without CRDTs or OT, by Matthew Weidner.

UCSD Pascal: In depth, by Mark Bessey.

diff -jfk, by Paul Ivanov: “I did some data munging to match the latest release of JFK assassination records to their previously released version to produce a pop-out effect of the newly declassified parts.”

A leap year check in three instructions, by Falk Hüffner.

Compiling to webassembly, by encoding programs into the JavaScript syntax tree.

You can use C-Reduce for any language, useful!

Practical Astronomy with Your Command Line, by Oliver Webb.

Greybeard is a chunky monospaced bitmap programming font for all you pixel-perfect nerds who don’t like eyestrain. It’s mostly a vector port of UW ttyp0 with a few tweaks.

A New Object-Oriented Programming Language: sh (1994), by Jeffrey Haemer.

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.

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!