dcreager.net

This is the online space of Douglas Creager. Welcome!

About me

Delicious content

Chronological blog-like posts

Evergreen notes

Reading log

Recipes

Conference talks

Academic publications

Latest updates

2024-04-26 [Reading log] “Validating Traces of Distributed Programs Against TLA+ Specifications” and “QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck”

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

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)

Reflections on the final Strange Loop

Rust error handling patterns

Shared library versions

Transcript of Wirth's “Closing word at Zürich Colloquium”

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.