Programming Deadlock

A Final Return for OpenBSD Anti-Return-Oriented Programming Mitigations https://papers.ssrn.com/sol3/papers.cfm?abstract_id=6869668

Introduction to Compilers and Language Design https://dthain.github.io/books/compiler/

A passive self-correcting quantum memory in three dimensions https://arxiv.org/abs/2605.10943

Categories for the Working Hacker https://youtu.be/gui_SE8rJUM

Epsilon number (Georg Cantor) https://en.wikipedia.org/wiki/Epsilon_number

High-performance model counter https://github.com/meelgroup/ganak

Memory Safe Inline Assembly https://fil-c.org/inlineasm

Strictness Analysis using Abstract Reduction https://dl.acm.org/doi/pdf/10.1145/165180.165219

Generating Compiler Optimizations from Proofs https://rosstate.org/publications/proofgen/proofgen_tate_popl10_tr.pdf

Open Source Introductory Systems Programming Textbook for the University of Illinois https://github.com/cs341-illinois/coursebook

Coroutines Trilogy (C/C++) https://www.chiark.greenend.org.uk/~sgtatham/coroutines.html

PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs https://fstar-lang.org/papers/pulsecore-indirection-2025.pdf

Compiling Pattern Matching to Good Decision Trees https://dl.acm.org/doi/pdf/10.1145/1411304.1411311

Lambda Screen: Fractals in Pure Lambda Calculus https://text.marvinborner.de/2024-03-25-02.html

The Art of the Metaobject Protocol https://en.wikipedia.org/wiki/The_Art_of_the_Metaobject_Protocol

The Clockwise/Spiral Rule https://c-faq.com/decl/spiral.anderson.html

The little book about OS development https://littleosbook.github.io

Low-Level Software Security for Compiler Developers https://llsoftsec.github.io/llsoftsecbook/

Domain-specific hyperspecialization (for SAT) https://c.mov/lymphosat/

93% of Paint Splatters are Valid Perl Programs https://www.mcmillen.dev/sigbovik/2019.pdf