prozacchiwawa.bsky.social
@prozacchiwawa.bsky.social
Old programmer. Learning lean4 a bit at a time. ocaml and idris fan. I've posted a bit more about politics on bluesky, also post about gardening and baking and odd retrocomputing stuff.
22 followers59 following35 posts
even if this article is taken at face value, a ragingly disagreeable social media is _tiring_. it takes the most online billionaire recreational doses of ketamine to put up with and he can afford to pretend to be the ceo of a bunch of companies. the rest of us are out here having to be hardcore.
prozacchiwawa.bsky.social
@prozacchiwawa.bsky.social
Old programmer. Learning lean4 a bit at a time. ocaml and idris fan. I've posted a bit more about politics on bluesky, also post about gardening and baking and odd retrocomputing stuff.
22 followers59 following35 posts