¶Delicious content

Chronological blog-like posts

Evergreen notes

Reading log

Recipes

Conference talks

Academic publications

¶Latest updates

2024-04-03 Swanson: Slip and slurp

2024-03-23 [Reading log] “A Proof of the Standardization Theorem in λ-Calculus” and “Normalization by Evaluation for Typed Weak λ-Reduction”

2024-02-13 Let futures be futures

2024-02-12 [Reading log] Oberon: The overlooked jewel

2024-02-09 Swanson: Bethel stacks

2024-01-30 Rust: Shared target directory

2024-01-30 Cache directory tags

2024-01-24 Continuation-passing S₀: The return

2024-01-18 [Reading log] “Foundations of vector retrieval” and several DiskANN papers

2024-01-05 Transcript of Wirth's “Closing word at Zürich Colloquium”

¶Greatest hits

A better varint

A map of the tree-sitter ecosystem

Clean git histories and code review workflows

Getting started with tree-sitter

Git commits and code review (revisited)

Rust error handling patterns

Shared library versions

Staff engineering manager

Using a Sony RX100 Mk IV as a webcam on Linux

¶Disclaimer

All of the opinions expressed on this site are my own, and not those of my employer.