Following
indexx.dev he/him
hey! | most of my code is now hosted @ https://git.indexx.dev/Index
I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.
Mostly zig. Lot's of jetzig prototyping. This account is used as an org and generally not monitored. If you need something, message @ben.poecoh.com
building @slices.network, @grain.social , and hacking on other atproto stuff
zzstoatzz.io he/him
nel.pet she/they/it