shengyulu
Follow
Zhihao Zhang
izhangzhihao
Make the impossible possible, the possible easy, the easy elegant.
Seattle
Alexander Granin
graninas
Software architect, book author, Haskell expert, international speaker, blogger | "Functional Design and Architecture" book (Manning)
UAE, Dubai
Nicolas Marshall
nmrshll
🦀 Rust & blockchain dev -
Blockchain infra, smart contracts, DeFi, identity & auth, APIs, key mgmt, distributed systems
@Unbox-infinity UK
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
Xuanrui Qi
xuanruiqi
Mostly a mathematician now, but still hacking some Coq and tinkering with Arch Linux.
Graduate School of Mathematics, Nagoya University Nagoya, Japan
KagurazakaMiyabi (神楽坂雅詩)
kagurazakayashi
全网通用名｜废萌动漫大爱｜码农｜业余女装｜姬家｜果粉｜宅宅｜混乱中立｜不喜欢私聊｜现实社交恐惧｜中文｜喜欢和同代人一起｜μ's粉｜雯丽粉｜INFP-T｜
uuu.moe
Ben (Bingxing) Wang
imbushuo
aka. 饼干 or 本王, I put hobbyist things here. PGP Key DB8E 2DD2 6A68 5A23
@linkedin Sunnyvale, CA
Justin Liu
JustinXinLiu
Sometimes I design and code; sometimes I code and design.
Microsoft Seattle, US
Xiang Shi
KevinZonda
MSc Adv. Comp @ Imperial | Alumni BSc CompSci @ UB'ham | Go | python | .NET | INFP | Machine Learning | ex. 抒发森林, CominApp, FastGit & @Limit-LAB
@ImperialCollegeLondon London, UK
Herb Sutter
hsutter
Author, consultant, and speaker. Chair of ISO C committee. Designer or co-designer of various ISO C features.
PreviousNext