The Essence of Reynolds, by Stephen Brookes, Peter W. O’Hearn, and Uday Reddy. “John Reynolds (1935–2013) was a pioneer of programming languages research. In this paper we pay tribute to the man, his ideas, and his influence.”
Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing (PDF), by Matei Zaharia, Mosharaf Chowdhury, Tathagata Das, Ankur Dave, Justin Ma, Murphy McCauley, Michael J. Franklin, Scott Shenker, and Ion Stoica. “We present Resilient Distributed Datasets (RDDs), a distributed memory abstraction that lets programmers perform in-memory computations on large clusters in a fault-tolerant manner. […] We have implemented RDDs in a system called Spark, which we evaluate through a variety of user applications and benchmarks.”
Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics. By Freek Wiedijk.
Univalent foundations subsume classical mathematics, by Andrej Bauer.
Git/Darcs as a HIT, slides by Dan Licata.
How to Conquer Tensorphobia, well explained.
avr11: simulating minicomputers on microcontrollers, a PDP-11/40 on an Atmega2560.
F9 microkernel, L4-inspired for ARM Cortex-M.
Modern Dependency Management using git submodules and release branches. Sounds like a clever idea (perhaps even in combination with pristine-tar).
info-beamer allows you to rapidly prototype interactive multimedia presentations using the Lua programming language.
Jgraph, a filter for plotting graphs in Postscript. By James S. Plank.
8086tiny is a free, open source PC XT-compatible emulator/virtual machine written in C. The full version of the 2013 IOCCC winner.
The Rules for Long S in Engliſh and a few other languages.
Why sugar helped remove Victoria Line concrete flood, good to know. Just in case.
Sandcastle Builder, just in case you need to waste a few… months of time. (Loads of fun!)