Toyota’s killer firmware: Bad design and its consequences, “The in-depth analysis conducted by Barr and his colleagues illuminates a shameful example of software design and development, and provides a cautionary tale to all involved in safety-critical development, whether that be for automotive, medical, aerospace, or anywhere else where failure is not tolerable.”
How to lose $172,222 a second for 45 minutes, “probably the most painful bug report I’ve ever read.”
The intuitionistic programming language (IPL) is a new open source programming language, implemented in OCaml, combining a very high level of abstraction with compilation to efficient LLVM bytecode.
perma.cc helps authors and journals create permanent archived citations in their published work. Backed by many American libraries.
15-819 Homotopy Type Theory, ongoing course by Robert Harper. Video and notes are public.
git integration a tool to manage a branch which is the result of merging several in-progress topic branches onto a base branch.
ktap is a new script-based dynamic tracing tool for Linux, it uses a scripting language and lets users trace the Linux kernel dynamically.
minimunin, a tiny munin-node implementation for FreeBSD written in pure bourne shell providing basic plugin support
SALTO, The Xerox Alto Simulator.
Parsing JSON with a single regex