In this video we make and evaluate several hard drives that we didn't want. Drawing some inspiration from vexing current events, we find that creative, structured thought on adjacent (but frivolous) problems is a sort of digestive act, and one that is ultimately…

Understand the mechanics of dynamic dispatch implementation in CPython

The gccrs project is an ambitious
effort started in 2014 to implement a Rust compiler within The GNU Compiler
Collection (GCC). Even though the task is far from complete, progress has
been made since LWN's previous coverage,
according to reports from the…

Ever dealt with glitches in a SaaS platform where your actions don't seem to sync up? That's often a transaction isolation issue in databases. Lets talk about transaction isolation and how they work in Postgres, so you can write reliable and performant code…

This site provides order information,
updates, errata, supplementary information, chapter bibliographies,
and other information for the Handbook of Applied
Cryptography by Menezes, van Oorschot and Vanstone.

Undermining the copyright system is seriously important and copyleft licenese do the needful.

Higher-order polymorphic lambda calculus (Fω). GitHub Gist: instantly share code, notes, and snippets.

ITT-Flavored Calculus of Constructions Type Checker - itt-coc.ts