Ramblings By Some Guy

random rants, mostly about getting old, and very occasionally about actually interesting stuff

How to Dislike Constructive Mathematics Correctly

where I attempt to start an Internet flame war

39 min read · February 22, 2025

2025 · logic, math, philosophy
A Hands-on Guide to Implementing DeBruijn Indicies (1)

where we talk about debruijn indicies in the simple first order case

15 min read · February 14, 2025

2025 · type-theory
First Post!

testing first blog post

1 min read · February 13, 2025

2025