Stories by sctb

Verifying local definitions in Coq

Show HN: Woe – A concatenative language inspired by Joy

Simple, Open Pleasure in a New Landscape: The Philosophy of David Hockney

Natural Sounding Artificial Reverberation (1962) [pdf]

Turntables in clubs

The Synthesis of Complex Audio by Means of Frequency Modulation (1973) [pdf]

Instruction explosion in Guile

Programming Language for Old Timers (2009)

The challenge of first-class memory

1ML with Special Effects – F-ing Generativity Polymorphism (2016) [pdf]

Optimizing with persistent data structures [pdf]

Carts without horses

Y Combinator is hiring hackers

Lightweight Checked Exceptions in Haskell

Supporting HTTP/2 in Warp

Type-Safe Runtime Code Generation: Accelerate to LLVM

The Species of Bracelets

Lambkin – A garbage-collected heap suitable for microcontrollers

HiDb: A Haskell In-Memory Relational Database (2014) [pdf]

Perceive Think Act – A Production Journal for “On the Back of a Tiger”

1
2