Skip to content
@jcp19
João Pereira jcp19
Formal Methods & PL, Program Analysis, Distributed Systems

ETH Zurich

@xldenis
Xavier Denis xldenis
formal verification hacker

ETHZ Zurich/Paris

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@MRHMisu
MRHMisu
The Best of The Worst.

University of California Irvine Irvine, California

@aliabdelkader
Ali Abdelkader aliabdelkader
Software Engineer

Cairo, Egypt

@jmanuel1
Jason Manuel jmanuel1
Software developer; ASU CS, Barrett, and GCSP graduate. I like web development and programming languages.

Imagine Learning United States

@pgoodman
Peter Goodman pgoodman
Program transformer, binary translator

@trailofbits

@exxjob
exxjob
i have no mouth and i must beatbox
@SpiralBL0CK
kn0 SpiralBL0CK
A simple beginner programmer.
@science-enthusiast
Hari science-enthusiast
Software engineer with specialization in parallel & distributed systems and scientific computing.

Paris

@fanghuaqi
Huaqi Fang fanghuaqi
Embrace AI-IoT | RISC-V | ARM | ARC

Huazhong University of Sci & Tech Wuhan, Hubei

@oyanghd
Oyanghd oyanghd
Passionate about LLMs, HPC, OS and computer architecture, currently mainly work on LLM training.

北京航空航天大学 Beijing

@hengxin
Hengfeng Wei (魏恒峰) hengxin
I am currently a Research Assistant at Software Institute at Nanjing University, China.

Nanjing University (南京大学) Nanjing University

@lockbox
Jordan Moore lockbox
running M$ edge on gentoo for the memes
@ahuoguo
ahuoguo ahuoguo
Alexander Bai

Tufts University

@Isaac-DeFrain
Quantifier Isaac-DeFrain
Rust, OCaml, Functional Programming, ZK, BFT, Blockchain, Consensus, Protocol Design, Mathematics

@Granola-Team Vancouver, BC

@dconnolly
Deirdre Connolly dconnolly
✨ I do cryptography ✨

SandboxAQ

@oldmonad
DC oldmonad
Alchemist

Lagos.Nigeria

@jonathanlyonmoore
Jonathan D Moore jonathanlyonmoore
46, UVa Alumni in Computer Science, ACM Vice President, Patent Licensee, Windows Internals Certified, MSFT SI & Gold Partner and INTJ-T. Former MSDN Blogger

Microsoft 365 Partner Johnson City, TN

@jmg-duarte
José Duarte jmg-duarte
🦀 by 🌞 & 🌚 (occasionally 🐍) | Interested in Programming Languages, Distributed Systems, Low-level Programming and High-performance Computing.

@eigerco Portugal

@alxiong
Alex Xiong alxiong
applied crypto | privacy | blockchain

Singapore

@erwanor
Erwan Or erwanor
computer programmer

penumbra labs toronto, canada

@aknvictor
Victor Akinwande aknvictor
I think. I code. I inspire.

PhD. Computer Science, Carnegie Mellon