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.
27 followers69 following43 posts
i often think about how in the cyberpunk universe, the "old net" has been consumed by rogue ai. i guess now we know what that would look like.
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.
27 followers69 following43 posts