Implementing Interactive Languages

Baby's first WASM compiler

Local state is harmful (2014)

Reflections on a Decade of Coding

The program is the database is the interface

Quick and dirty review of Psychology of Programming Interest Group papers, 1989-2015

How (memory) safe is zig? (UPDATED)

How Safe Is Zig?

HYTRADBOI 2022 postmortem

The Shape of Data

Coding

Why start a new database conference?

Testing

An opinionated map of incremental and streaming systems

Moving Faster

Speed Matters

Better Operator Precedence

Decorrelating SQL subqueries (i.e. compiling them without nested loops)

Things Unlearned

On bad advice

A live repl for imp

Why query planning for streaming systems is hard

Imperative Thinking and the Making of Sandwiches

Implicit ordering in relational languages

Against SQL

Making live repls behave

Internal Consistency in Streaming Systems

An opinionated map of incremental and streaming systems (2018)

How Safe Is Zig?

Memory-mapped IO registers in zig

More →