Nelson Elhage

Everything, newest first — across every channel. Their profile →

nix-config — I guess I'm trying out Nix 3 Sept
nelhage-sandbox — Sandbox repository for experimentation and small toy projects 3 Sept
elisp — nelhage's emacs configuration 27 Aug
coop — A Coq playground 26 Aug
crossme — A collaborative crossword-puzzle solver 24 Aug
rules_boost — bazel build rules to use boost in bazel projects 14 Aug
llama — Llama is a tool for running UNIX commands inside of AWS Lambda. Its goal is to make it easy to outsource compute-heavy tasks to Lambda, with its enormous available parallelism, from your shel… 14 Jul
luawa — Experimental toy Lua implementation 3 Jul
nelhage.com — nelhage.com 17 Jun
dsync 15 Jun
arduinoproject — aggregator of random arduino projects 3 May
agemonia-reference — Some quick reference pages for Agemonia 16 Apr
blog.nelhage.com — blog.nelhage.com 23 Mar
From error-handling to structured concurrency 23 Mar
Solving regex crosswords with Z3 21 Oct 2025
The ITTAGE indirect branch predictor 4 Jul 2025
Performance of the Python 3.14 tail-call interpreter 9 Mar 2025
Building personal software with Claude 27 Jan 2025
Finding near-duplicates with Jaccard similarity and MinHash 3 Jul 2024
Stripe's monorepo developer environment 21 May 2024
Performance engineering, profilers, and seeing the invisible 18 Dec 2023
Advent of Code in C++ Template Metaprogramming 8 Dec 2023
What's with ML software and pickles? 8 Nov 2023
Graceful behavior at capacity 7 Aug 2023
Efficiency trades off against resiliency 15 Apr 2023
Transformers for software engineers 1 Apr 2022
A Cursed Bug 23 Feb 2022
Distributed cloud builds for everyone 31 May 2021
Building LLVM in 90 seconds using Amazon Lambda 21 May 2021
Some opinionated thoughts on SQL databases 30 Mar 2021
Towards solving Ultimate Tic Tac Toe 15 Jul 2020
Write testable code by writing generic code 12 Mar 2020
Test suites as classifiers 1 Mar 2020
Failure Is Not An Option 8 Apr 2019 Recommends
A Man on the Moon: The Voyages of the Apollo Astronauts 8 Apr 2019 Recommends
From the Earth to the Moon 8 Apr 2019 Recommends
Sunburst and Luminary 8 Apr 2019 Loved
How Apollo flew to the Moon 8 Apr 2019 Loved
Thirteen: The Apollo Flight That Failed 8 Apr 2019 Recommends
Mission Control: The Unsung Heroes of Apollo 8 Apr 2019 Recommends
Apollo 11 8 Apr 2019 Mixed on
Hidden Figures 8 Apr 2019 Recommends
Apollo 8: The Thrilling Story of the First Mission to the Moon 8 Apr 2019 Recommends
The Last Man on the Moon 8 Apr 2019 Liked
First Man 8 Apr 2019 Mixed on
Digital Apollo 8 Apr 2019 Mixed on