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.