Blood on His Hands, Survivors of Kissinger’s Secret War in Cambodia Reveal Unreported Mass Killings.

Hot Pixels: Frequency, Power, and Temperature Attacks on GPUs and ARM SoCs, by Hritvik Taneja, Jason Kim, Jie Jeff Xu, Stephan van Schaik, Daniel Genkin, and Yuval Yarom. “To demonstrate the real-world impact of this issue, we present JavaScript-based pixel stealing and history sniffing attacks on Chrome and Safari, with all side channel countermeasures enabled. Finally, we also show website fingerprinting attacks, without any elevated privileges. “

SectorC: A C Compiler in 512 bytes, featuring the most hacky “C” “parser” ever. Impressive still!

NOPT042 Constraint Programming tutorial, using Picat.

Casus irreducibilis is one of the cases that may arise in solving polynomials of degree 3. Suddenly an arccos appears!

Where does my computer get the time from?, Tony Finch wondered.

50 years in filesystems: 1974, 1984, 1994, by Kristian Köhntopp.

Building a baseline JIT for Lua automatically, by Haoran Xu. “Today, after months of additional work, LuaJIT Remake is finally a JIT-capable VM. It is now equipped with a state-of-the-art baseline JIT compiler, also automatically generated by Deegen.”

Reachability in Vector Addition Systems is Ackermann-complete (2021), by Wojciech Czerwiński, Łukasz Orlikowski. I missed this before it seems.

rxv64 is the rewrite of the Unix v6 kernel, ported to Rust. By Dan Cross.

bebop, an extremely simple, fast, efficient, cross-platform serialization format.

Context Adaptive Binary Arithmetic Coding, by Joe Bertolami. “The goal for this article is to provide a gentle introduction to the process”.

Surpass The Cutting Edge, a catchy North Korean propaganda song about CNC machines.

Apothecaries’ weights and measures

Sensenmann: Code Deletion at Scale, “The Sensenmann project, named after the German word for the embodiment of Death, has been highly successful. It submits over 1000 deletion changelists per week, and has so far deleted nearly 5% of all C++ at Google.”

Gefs, a Good Enough File System for Plan 9, by Ori Bernstein. Uses Bε trees.

Driver adventures for a 1999 webcam, by Ben Cox.

Proben der Haas’schen Giesserei in Basel, 775 scanned pages of type specimen. More.

Weekend hacking: wireless charging for a HP-25 calculator (2021), with Qi.

Spinning Diagrams with CSS

OpenBSD 7.3 has been released.

Who invented vector clocks?, by Lindsey Kuper.

Two algorithms for randomly generating aperiodic tilings, nice exposition by Simon Tatham.

My4TH, a homebuilt CPU-less computer with a 1-bit NOR gate “ALU”, running FORTH. By Dennis Kuschel.

How to Crash SM64 Using a Pendulum (YouTube), explained by pannenkoek2012.

Build faster with Buck2, Meta’s open source build system. Written in Rust, rules are now implemented fully in Starlark.

Knit: making a better Make, with some good ideas.

SIMD-ized faster parse of IPv4 addresses, by Wojciech Muła.

The microcode and hardware in the 8086 processor that perform string operations, by Ken Shirriff.

Hell Never Ends On x86: The Hyperspace Story, Continued, Sort Of, by cathoderaydude. Office software running in EFI.

The time Bell Labs brought the Statue of Liberty under its roof (Literally)

PLATO Emoticons, revisited (2012). Uses overprinting.

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.

GPT in 60 Lines of NumPy, good overview.

A Dynamic Forth Compiler for WebAssembly (2018), by Remko Tronçon.

blkhash, a block based hash optimized for disk images. Supports sparse files and QCOW file format with compression.

Lisa Source Code: Understanding Clascal, an early OO Pascal dialect used at Apple. More.

Estimating Square Roots in Your Head, using Heron’s method.

Vintage Pachinko: Going Back and Forth Across the Pacific, by Nicole Branagan.

FlappyBirdle, oh no!

A Lettermatic Case Study: Giving characters a typographic voice in Obsidian’s new RPG called Pentiment, by Riley Cran.

The Mystery of the Dune Font, by Florian Hardwig.

The Thorny Problem of Keeping the Internet’s Time, by Nate Hopper. The New Yorker on NTP.

Featherweight TeX and Parser Correctness (PDF), by Sebastian Thore Erdweg and Klaus Ostermann. ”[…] it is the case that parsing TeX is impossible in general, but we present evidence that parsers for practical subsets exists.”

It’s a UNIX system! I know this! – A Highly Requested Tournament Report For F2F Toronto, by Elaine Cao. How to save a Magic tournament by live coding.

nopl, “During research for my AMD Geode projects, I found an amazing saga based around a CPU instruction.”

The ‘Egg’ laptop

Why the super rich are inevitable, by Alvin Chang. Explains the “yard-sale model”.

Typst: A Programmable Markup Language for Typesetting (PDF), master thesis by Laurenz Mädje.

“A Handbook of Integer Sequences” Fifty Years Later, by N. J. A. Sloane.

Image Stacks and iPhone Racks - Building an Internet Scale Meme Search Engine, amazing.

wInd3x, the iPod Bootrom exploit 10 years too late, by q3k.

tangle is a work-in-progress graphical editor for string diagrams, along with an accompanying TikZ library for exporting to LaTeX.

libco is a cooperative multithreading library written in C89.

Tiktok’s enshittification, by Cory Doctorow. “Here is how platforms die.”

LeanChess is a chess program for the IBM PC AT and compatibles. “As of this writing, it’s the world’s smallest chess-playing program; its smallest edition is 288 bytes long.”

Grayscale on 1-bit LCDs, by Wenting Zhang.

Rust Atomics and Locks: Low-Level Concurrency in Practice, new book by Mara Bos. Full text available online.

Unbundling Tools for Thought, by Fernando Borretti. A refreshing perspective.

Production Twitter on One Machine? 100Gbps NICs and NVMe are fast, by Tristan Hume.

The t-digest construction algorithm uses a variant of 1-dimensional k-means clustering to produce a very compact data structure that allows accurate estimation of quantiles.

Can Doom Run It? An Adding Machine in Doom, by Danny Spencer.

A Z80 emulator, by Kamila Szewczyk.

Inside the 8086 processor’s instruction prefetch circuitry, by Ken Shirriff.

Casio F-91W: iconic quartz watch, a die-shot.

A practical model for analyzing long tails (2007), by Kalevi Kilkki.

ChaCha20 Encryption Performance on DEC PDP-11, by niconiconi.

I did Advent of Code on a PlayStation, by Ben Visness.

Konami Code Domain Name, by Terence Ededen. It’s ↑↑↓↓←→←→ba.tk.