Nathan Waltz

Making software more functional

Essays on stack safety, production software,
astrophotography, and hand-picked recipes.
I hope that you find something that interests you!

Read Posts Browse Recipes

Fresh from the site

The latest endeavors

The newest essays, straight off the press.

Mar 29, 2026

M81 and M82 After Twenty-One Hours

A wide-field look at Bode's Galaxy and the Cigar Galaxy after roughly twenty-one hours of integration across three nights.

astrophotographygalaxiesdeep-skyhdr-processingm81m82

Oct 5, 2025

Stack Safety for Free

Functions over lists, in general, are quite easy to make stack safe. However, how does one make stack safe computations over a tree, or a computation that builds up a tree?

purescriptstack-safetytail-recursioncontinuation-passing-style

Friends of the site

Projects worth your tabs

A short list of people and projects I'm glad to send readers toward.

HARP Lab

High-assurance reasoning, program analysis, and systems research worth reading.

Visit HARP Lab

Henry Olson's site

Henry Olson's personal corner of the internet: OpenBSD, Haskell, Datalog, and journeys to the nerd kingdom.

Visit Henry Olson's site