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
The OpenBSD 5.4 Release
SALTO, The Xerox Alto Simulator.
Parsing JSON with a single regex
Devil’s Dictionary of Programming