x86 is Turing-complete with no registers
Network Stack Specialization for Performance (PDF), by Ilias Marinos, Robert N.M. Watson, and Mark Handley. “Based on Netmap, our novel approach merges application and network-stack memory models, aggressively amortizes stack-internal TCP costs based on application-layer knowledge, tightly couples with the NIC event model, and exploits low-latency hardware access.”
A String of Pearls: Proofs of Fermat’s Little Theorem (PDF), by Hing-Lun Chan and Michael Norrish. Uses HOL4.
Actors are overly nondeterminstic, the proposed Process type sounds useful.
The incredible hulks: Jonathan Meades’ A-Z of brutalism
Classic Movies in Miniature Style, must see.