armchair_progamer @ armchair_progamer @programming.dev

Posts

263

Comments

35

Joined

2 yr. ago

Moderating

---

What I Talk About When I Talk About Query Optimizer (SQL & IR, Part 1)

A Beginner's Guide to Programming Language Academia (blog)

The Ur Programming Language Family

Safe Manual Memory Management with Coeffects (blog)

How bad is LLVM really?

the rust project has a burnout problem

A universal lowering strategy for control effects in Rust

Simplicity and consistency of Smalltalk compared with other languages - Hernán Wilkinson (video, 2022)

The Design Principles of the Elixir Type System (paper)

Automatic Syntax Error Recovery (blog, 2020)

Interpreters Blog Series

Polyglot Language Understanding (wiki page)

January 2024 monthly "What are you working on?" thread

The Heart of a Language Server (blog post)

A Core Calculus for Documents (short post + paper)

Accepted Papers - CGO (Code Generation and Optimization) 2024

I formally modeled Dreidel for no good reason

perses: syntax-directed, language-agnostic program reducer (GitHub)

MIR Project (GitHub, lightweight JIT compiler and IR)

TLA+ in Isabelle/HOL