home
//
about
//
archive
10-24-2023:
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.
06-18-2023:
A refinement of Nietzsche's Discussion on Identity
05-24-2023:
Understanding Fibrations
:
Come with me on a journey where ChatGPT tries to lead me off a mathematical cliff.
02-12-2023:
Tell Me I'm Worthless
01-13-2023:
Aleph
:
On syntax, semantics, and the discretizing force of language.
01-09-2023:
The Whale (2022)
01-03-2023:
The Lathe of Heaven
:
A cautionary tale about infinite possibility.
02-14-2022:
Fern's Joy
03-27-2021:
Thinking about Equality Philosophically
08-28-2020:
Worship
:
When God closes a door he opens a window for us to jump out of.
07-31-2020:
Vibin'
07-01-2020:
The Real Numbers, Propositionally
03-25-2020:
Using Emacs's org-mode As Your Zettelkasten
:
And some editorializing on the foundations of mathematics...
10-25-2019:
Using Type-Level Programming in Rust to Make Safer Hardware Abstractions
09-16-2019:
A Quiver of Telescopes
05-28-2019:
A Week of ECM
06-04-2018:
Why Functional Programming: My Emotions Laid Bare
02-22-2018:
On “The Strange and Twisted Life of Frankenstein”
02-15-2018:
On Profunctors, Abruptly
08-27-2017:
The Hauntology of Functional Programming
08-02-2017:
An Algebraic Data Type's Monad
05-23-2017:
Homotopy Type Theory Desiderata
10-12-2016:
Notes on existing as a leaf in a world of cars
05-06-2016:
On Descartes and Microservices
02-02-2015:
CRDTs, Bounds, SyncFree, and Invariants
05-27-2014:
Some Readings on Mixins