Papers

SAT Solvers

Papers and implementations

Posted on January 28, 2026 | 2 min | 296 words | Massimo Nocentini

sat solvers knuth mit acm containers cweb c papers

Hyperfunctions

Communicating Continuations

Posted on January 8, 2026 | 1 min | 172 words | Donnacha Kidney, Nicolas Wu

acm continuations haskell papers