Sign in
Jonathan Protzenko
@protz.bsky.social
130
followers
65
following
7
posts
I
talk
about
Rust,
verification,
cryptography,
programming
languages…
and
pets
Posts
Replies
Media
No posts yet.
