Stories by sctb

Partitioning Ambiguous Edges in Guile

Continuations Under the Covers [video]

Patterns of data flow in words

Lightweight Static Guarantees

Introduction to Tagless Final

Programming Language Reminiscence: R-Technology

Fractional Set Covering with Experts

Vanishing Violence

Something about IR Optimization

The medium shapes the message: Printing and the rise of the arts and sciences

Generating Mutually Recursive Definitions [pdf]

First Product Designer at Y Combinator

Sliding Right into Information Theory

Some documents on AM and EURISKO

Beginning an SBCL port

Nano-Protoplasm: The Ultimate Unit of Life (2007) [pdf]

Rethinking Static Reference Tables in GHC

Sequent Calculus as a Compiler Intermediate Language (2016) [pdf]

Lambda to SKI: a different view on the old translation

Sort of UTF-6

1 2