Ben Riemann 🛡️🦓
@riemann_ben
Distributed systems, applied cryptography and mathematics.
Privacy is a right. Code is speech.
Programmer 🦀
1.3K Following 646 Followers
@zooko An interesting side note, mathematicians are fully embracing AI with Lean.
