The Essence of Reynolds, by Stephen Brookes, Peter W. O’Hearn, and
“John Reynolds (1935–2013) was a pioneer of programming languages
research. In this paper we pay tribute to the man, his ideas, and his
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.
House Built Upside Down
Brainfuck in Minecraft
Sandcastle Builder, just in case you need to waste a few… months of time.
(Loads of fun!)