Lens: Lenses, Folds and Traversals

All color is best effort

The Hashtable Packing Problem (2020)

A Rust Documentation Ecosystem Review

Why GADTs matter for performance (2015)

Custom Logging in Rust Using tracing and tracing-subscriber

I started an open source project in 2004. This week, it hit 30000 GitHub stars

Ask HN: Memory-safe low level languages?

Curry: A functional logic programming language

The Busy Beaver Frontier [pdf]

Monsky's Theorem

JSON Hijacking (2009)

My Book's Pre-Sale Just Barely Succeeded

Tail Call Recursion in Java with ASM (2023)

Gmail's upgraded search results help you find the emails you want, faster

Teleo-Reactive Programs

No dumb questions: What's the biggest number?

Down with Determinants by Sheldon Axler (1994) [pdf]

Cot: The Rust web framework for lazy developers

Why Did Prisma Choose Rust Initially? [video]