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
Venn diagram of 7 sets
Classic Movies in Miniature Style, must see.
Manifesto for Half-Arsed Agile Software Development