The Web We Lost, Anil Dash remembers.
Mars Code, video of a talk by Gerard Holzmann of the JPL Laboratory
for Reliable Software at HotDep ‘12 on the software behind Curiosity.
Go for C programmers, slides of a talk by Robert Griesemer.
Caledon is a dependently typed, polymorphic, higher order logic
Ronja is a free technology project for reliable optical data links
with a current range of 1.4km and a communication speed of 10Mbps full
NetBSD binary kernel modules usable on Linux in rump kernels, fun.
REBOL [R3] Source Code Distribution, now public under Apache 2.0 License(!).
Building my Own Laptop, sounds pretty awesome.
Earliest Uses of Various Mathematical Symbols
Non-invasive printf debugging, cool trick.
Opportunistische Rechtschreibung, Haekels’chwein’s Regeln .
Turning the Raspberry Pi Into an FM Transmitter
The Animated ‘GIF-iti’ of INSA