Building (mostly atproto) things and stuff

they/them

at the intersection of Elixir and atproto

atmospheric individual

I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.

Independent Mac/iOS and Ruby developer, building random things on ATProto

Software Developer building okay-ish atproto applications and embedded software in Rust

co-founder/ceo of this thing

tangled guy