Adrien Champion
AdrienChampion
Independent R&D Engineer in Lean 4 and Rust (and OCaml if I have to)
anzenlang La Rochelle, France
Stevendeo
I'm a computer scientist that loves to play Go and that is not very imaginative when it's about finding good usernames.
Xavier Leroy
xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming
Collège de France and Inria Paris, France
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
Eric Patrizio
epatrizio
R&D software engineer. Programming languages design enthusiast.
Paris - France
George
George3d6
Takes inputs such as business specs, papers, ideas, whims, and drugs | generates outputs such as code, articles, and technical specifications.
δα.com Depends
Zama
zama-ai
Zama is an open source cryptography company building state-of-the-art FHE solutions for blockchain and AI.
Paris
Florian Gilcher
skade
Managing Director @ferrous-systems. Heavily invested @rust-lang functional safety.
Organiser @eurucamp/@jrubyconf/@rustfest/@oxidizeconf.
Ferrous Systems Berlin
Nicholas Nethercote
nnethercote
@vectorware-inc and @rust-lang. Previously worked on Valgrind and Firefox. he/him
Melbourne, Australia
OCamlPro
OCamlPro
OCamlPro is a French company with a strong expertise in programming languages & formal methods, with 10+ years' experience in state-of-the-art developments.
Paris & Saclay
PreviousNext