Ryan Lahfa
RaitoBezarius
Formal verification, systems engineering, network engineering and more. A love for Public Interest projects and a passion for simple & elegant systems.
Independent Contributor France
Mike Yuan
YHNdnzj
Linux enthusiast, systemd developer and Arch Linux user/contributor
Leipzig, Germany
Tony Zhao
zTonyZhao
a simple Student
Beijing University of Posts and Telecommunications Beijing, China
鄢振宇Michael Yan
Michael1015198808
努力活得认真有趣！
(Try my best to live my life meaningfully and fascinating!)
A student learning computer science at Nanjing University.
Peking University Changping, Beijing, China
Zongyang Li
NITROGENousFish
Software Engineering Researcher in Peking University; Love dynamic language and industrial infrastructure~
Peking University China, Beijing
John Ericson
Ericson2314
*x* should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary.
@ObsidianSystems New York
Trebor Huang
Trebor-Huang
I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.
Internal cat of a doughnut
Dim Chen
dimpurr
Machine Learning / Data Mining / Web Developer / UI & UX Designer / Otaku & Illustrator / BUPT Student / Just have fun.
Royal College of Art London
Potato Hatsue
berberman
CS student interested in formal verification and programming languages
Gensokyo
Aleksana
Aleksanaa
I write code originally for my own use, but most of the time it’s just for a false sense of belonging and being loved.
UESTC Chengdu, Sichuan, China
lyc8503
Passion never fails | GitHub 佛系写代码
Nanjing University | @Tencent intern Suzhou Jiangsu China
Yiwei Yang
victoryang00
Ph.D. student @SlugLab, try to make the system fast and reliable.
Baskin Engineering Santa Cruz, California
PreviousNext