Transient Execution of Non-Canonical Accesses, by Saidgani Musaev and Christof Fetzer. “Contrary to nominal immunity, we discover that AMD Zen family CPUs exhibit transient execution patterns similar for Meltdown/MDS.”
First Steps in Synthetic Tait Computability: The Objective Metatheory of Cubical Type Theory (PDF), slides from Jonathan Sterling’s PhD defense.
Reflecting on the Shake Build System, by Neil Mitchell. (Also see further posts there.)
V6 pwd – deciphering old code, by june.
pq, parse and query log files as time series.
Raspberry Pi Atomic Nixie Clock
FORTRAN.io, a Fortran Web Framework.