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

Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell) - GitHub - toptobes/typefuck-haskell: Typelevel Brainfuck; Brainfuck implemented solely in Ha...