@protz.bsky.social
128 Followers · 64 Following
I talk about Rust, verification, cryptography, programming languages… and pets
Nothing here yet.
