How to Pitch a Tent
I used to have this friend Chris. Chris and I went to church camp together and he never came back.
A refinement of Nietzsche's Discussion on Identity
Come with me on a journey where ChatGPT tries to lead me off a mathematical cliff.
Tell Me I'm Worthless
On syntax, semantics, and the discretizing force of language.
The Whale (2022)
The Lathe of Heaven
A cautionary tale about infinite possibility.
Thinking about Equality Philosophically
When God closes a door he opens a window for us to jump out of.
The Real Numbers, Propositionally
Using Emacs's org-mode As Your Zettelkasten
And some editorializing on the foundations of mathematics...
Using Type-Level Programming in Rust to Make Safer Hardware Abstractions
A Quiver of Telescopes
A Week of ECM
Why Functional Programming: My Emotions Laid Bare
On “The Strange and Twisted Life of Frankenstein”
On Profunctors, Abruptly
The Hauntology of Functional Programming
An Algebraic Data Type's Monad
Homotopy Type Theory Desiderata
Notes on existing as a leaf in a world of cars
On Descartes and Microservices
CRDTs, Bounds, SyncFree, and Invariants
Some Readings on Mixins
© dan pittman.
I reserve the right to be wrong.