if someone asks me about my footwear today, I will tell them that mismatched socks are out, mismatched shoes are in, rather than admitting the extent of my morning confusion

friend: 'improvised eggsplosive device'

do you have any idea how hard it was to write this while checking every couple seconds that I did not confuse Tailscale with Tailwind this time

"if OCaml is like catnip then Lean is like doing ket"

One month later, my online life reality is that I disconnect whenever I want local search results, reconnect whenever I want full access again still more dignified than trying to get verified at Discord, Reddit, Twitter, Bluesky, etc.

why do tasks take so long I'm just pressing buttons on a computer it feels like there should be nothing time-consuming about it arghh

we're merging the ducks into superducks for easier counting now