Bram Moolenaar, author of Vim, passed away, RIP.

The future of the Vim project

No order-10 projective planes via SAT, how to certify a SAT proof that took 2 years on a Cray in 1986.

Unwinding the stack the hard way, by Kévin Lesénéchal. “In this article, we will delve into the intricacies of stack unwinding, exception-handling, call frames, and dissect ELFs and DWARFs.”

The SmallCategories Project aims to build a useful, useable database of small finite categories.

Tracing the roots of the 8086 instruction set to the Datapoint 2200 minicomputer, by Ken Shirriff.

HP15C Collector’s Edition, now available!

Zenbleed, by Tavis Ormandy. “It turns out that with precise scheduling, you can cause some processors to recover from a mispredicted vzeroupper incorrectly!”

An Extensible Theorem Proving Frontend, PhD thesis by Sebastian Ullrich on Lean 4.

Branch predictor: How many “if”s are too many? Including x86 and M1 benchmarks! (2021), a deep dive by Marek Majkowski.

Computational content of Gantō’s axe, by Mark J. Dominus.

Commander Keen’s Adaptive Tile Refresh in EGA graphics, by Fabien Sanglard. “Writing 320x200 nibbles (32 KiB) per frame is too much for the ISA bus. There is no way to maintain a 60Hz framerate while refreshing the whole screen.”

Multi-layered calendars, “Traveling through time in three dimensions”, by Julian Lehr.

Clojure’s deadly sin, by Oleksandr Yakushev.