RIP Friedrich L. Bauer, RIP Eike Jessen.
Z3 is a theorem prover from Microsoft Research. Now under the MIT license!
Microsoft BASIC for 6502 Original Source Code (1978)
A Tiny Compiler For A Typed Higher Order Language, very neat.
Pure, Declarative, and Constructive Arithmetic Relations (PDF), a Declarative Pearl by Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, and Chung-chieh Shan.
Punk Games, by Zoe Quinn. “Games need a united punk movement, and we’re finding one in altgames.”
zymake is a high-level language for running complex sets of experiments, inspired by make.
Achieving Full Marks on Qualys SSL Labs with nginx. Saved for future reference.
Why My MOOC is Not Built on Video, good ideas.
All “Underhanded Crypto” Entries
Copy Frouge, frogger ala nethack.
Comic Papyrus Font, WJW.