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
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
Why My MOOC is Not Built on Video, good ideas.
All “Underhanded Crypto” Entries
Copy Frouge, frogger ala nethack.
Comic Papyrus Font, WJW.