Ben Riemann 🛡️🦓
@riemann_ben
Distributed systems, applied cryptography and mathematics.
Privacy is a right. Code is speech.
Programmer 🦀
参加 August 2020
1.3K フォロー中 646 ファン
@zooko An interesting side note, mathematicians are fully embracing AI with Lean.
人気のあるユーザー
