Contents:

• Compilers
• Databases
• Forth
• Game Boy
• Type Systems

gbforth

Forth

• Moving Forth: Design Decisions in the Forth Kernel (Brad Rodriguez)
• ANS Forth word list

Game Boy

• Game Boy CPU Manual
• Gameboy (LR35902) opcodes
• Pan Docs
• BGB Emulator
• The Ultimate Game Boy Talk (Michael Steil) 📺

Delisp

Type Systems

• Generalizing Hindley-Milner Type Inference Algorithms (Heeren, B.J.; Hage, J.; Swierstra, S.D.)
• Extensible Records with Scoped Labels (Daan Leijen)
• Asynchrony with Algebraic Effects (Daan Leijen) 📺
• Bidirectional Typing Rules: A Tutorial (David Raymond Christiansen)

Compilers

• A Prettier Printer (Philip Wadler)

amsdb

Databases

Isolation levels:

• Serializable Isolation for Snapshot Databases (Michael J. Cahill , Uwe Röhm , Alan D. Fekete)
• Serializable vs. Snapshot Isolation Level (Craig Freedman)

B-trees:

• CouchBD — The Power of B-trees

LMDB:

• MDB: A Memory-Mapped Database and Backend for OpenLDAP
• LDAP at Lightning Speed
• The Lightning Memory-Mapped Database 📺

Other:

• The Internals of PostgreSQL
• On Disk IO, Part 1: Flavors of IO (Alex Petrov)