- Israel
Carlos O'Donell
codonell
Free software volunteer. Steward 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
Amos Wenger
fasterthanlime
hi, I'm amos! 🦀 I make articles & videos about how computers work 🐻❄ cool bear's less cool counterpart ✨ be kind
@bearcove Lyon, France
Elle
ellemouton
- Professional Rookie
- GPG key: 26984CB69EB8C4A26196F7A4D7D916376026F177
Lightning Labs CPT
Jason Gross
JasonGross
Machine Intelligence Research Institute Berkeley, California, United States
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
Wesley Wiser
wesleywiser
@rust-lang Compiler Team Co-lead, Senior Software Engineer working on Rust @microsoft
Microsoft Chicago
Lloyd Fournier
LLFourn
See pinned repos for my research.
GPG: 28EF6BC914ABBA2BAB98B796A27093B54DA11F65
To verify anything I sign use: https://api.github.com/users/LLFourn/gpg_keys
PreviousNext