Following
Software Developer building okay-ish atproto applications and embedded software in Rust
fasterthanli.me they/them
Making facet, vixen, and content about Rust sometimes
I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.
mdales.tngl.sh he/him
Planetary Computing Fellow at the University of Cambridge, a computer scientist working alongside ecologists to tackle biodiversity and climate analysis