SICL, a new, modular, implementation of Common Lisp to be.
Vellvm: Verifying the LLVM,
a framework for reasoning about programs expressed in LLVM’s
intermediate representation and transformations that operate on
it. The framework is built using the Coq interactive theorem
prover. It includes multiple operational semantics and proves
relations among them to facilitate different reasoning styles and
RFC 7217: A Method for Generating Semantically Opaque Interface
Identifiers with IPv6 Stateless Address Autoconfiguration (SLAAC),
this is what dhcpcd’s “slaac private” does.
Energy-efficient bcrypt cracking
The Semantics of Software, yes please, write changelogs!
High-performance packet filtering with pflua
Marian Rejewski and the First Break into Enigma
NARS2000: An Experimental APL Interpreter, under GPL-3. Windows only.
SSH server for DOS, faking it with qemu. Neat.
Cooking in the Archives, Updating Early Modern Recipes (1600-1800)
in a Modern Kitchen.
1960s: Bell Labs