OCaml dev, pondering The Abstract and The Concrete; soft spot for PLT (in recovery), love making computers sweat, trying to write more, a raging nerd

bluesky is just a backup, I’m mostly on twitter

happyfellow.bearblog.dev