- Israel
shigeyuki azuchi
azuchi
CTO at chaintope, Inc
npub1km5zgre7f5vxr6jgf32x055xlk3gjwrj5s4aedeyjz6gr8l2yw0s8mmmlp
chaintope, Inc. Fukuoka
Iftach Fridental
iftachFridental
Software Engineer @ Sodot
Ex Security Researcher
@sodot-rs Tel Aviv, Israel
Carlos O'Donell
codonell
Free software volunteer. Maintainer for the GNU C Library. GNU Toolchain Fund trustee. Distinguished Developer at Red Hat.
Framework
FrameworkComputer
Remaking consumer electronics to respect people and the planet
California
Hennadii Stepanov
hebasto
gpg:D1DBF2C4B96F2DEBF4C16654410108112E7EA81F
donate:bc1qfa666hqkujah9jd09gp7esghdqn6jssrrjyc44
Bitcoin Core Ukraine
Ori Newman
someone235
Currently maintaining kaspad.
Tips are welcome :)
kaspa:qqwgjtcpwxsk4l4x9a7xxpxdfgvzkqgsl4emvj7yaqtrdlt85dxzctkah7j50
Matan Hamilis
MatanHamilis
Co-Founder and Head of Research @sodot-rs.
Cryptography Ph.D student at Reichman University.
@sodot-rs Israel
Esteban Kuber
estebank
We spent decades trying to invent a sufficiently smart compiler when we should have been inventing one sufficiently empathetic.
San Francisco, CA
Amos Wenger
fasterthanlime
hi, I'm amos! 🐿️ co-host of self-directed research podcast 🫐 teacher, video maker, software mercenary ✨ be kind, be curious
@bearcove Lyon, France
Elle
ellemouton
- Professional Rookie
- GPG key: 26984CB69EB8C4A26196F7A4D7D916376026F177
Lightning Labs CPT
Mara Bos
m-ou-se
Rust leadership council member, former Rust library team lead, Author of Rust Atomics and Locks, Director of RustNL, Founder of Fusion Engineering and Hexcat
Netherlands
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Chalmers University of Technology Gothenburg, Sweden
PreviousNext