Ariel Xiong
Arielfoever
Tell us a little bit about yourself.
Sussex Artificial Intelligence Institute, Zhejiang Gongshang University Hangzhou, China
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Jon Gjengset
jonhoo
Rust educational streamer. At @helsing-ai. Previously at AWS. A fan of making things secure, fast, scalable, and well-documented.
@helsing-ai Oslo, Norway