Skip to content

@AeneasVerif AeneasVerif

@ck76
CHENG KUN ck76
一期一会 Software Engineering is about tradeoffs, there is no one right answer.

NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai

@shard77
shard shard77
A refactor today will save you time tomorrow.
@MCB-SMART-BOY
MCB-SMART-BOY

中国

@alext-w
Alexander Tereschenko alext-w

Intel

@SuperSonicHub1
Kyle Anthony Williams SuperSonicHub1
Just a guy manipulating streams of binary into something neato. MIT '27

@mit New York

@marcfir
Marc Fischer marcfir
Researcher @ University of Stuttgart

ISW University of Stuttgart Germany

@svetoslavenchev
Svetoslav Enchev svetoslavenchev

Sofia, Bulgaria

@take-cheeze
Takeshi Watanabe take-cheeze

Nagano, Japan

@arindas
Arindam Das arindas
Specializes in distributed systems, deep learning inference and AI SaaS at scale.

@claritas-healthtech India

@jht5945
Hatter Jiang jht5945
Senior Technical Specialist from Alibaba Cloud, I love programming ...

Alibaba Hangzhou, Zhejiang, China

@loncothad
loncothad
@MRHMisu
MRHMisu
The Best of The Worst.

University of California Irvine Irvine, California

@janriemer
Jan Riemer janriemer
Creating great experiences for people ✨| Building software in Rust, TypeScript, VueJS and Node | Dare to think for yourself | Striving for excellence

Germany

@julianpritzi
Julian Pritzi julianpritzi

Munich

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

ETH Zurich

@iamoeg
Oussama EL GHANNAMI iamoeg

Morocco

@ahmedtadde
Ahmed Tadde ahmedtadde
Software Engineer

Washington, D.C

@0xameer
0xameer
https://sr.ht/~carnotweat/

carnot Bangalore

@ahuoguo
Alex Bai ahuoguo

New York University

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

Draper Boston

@SeriousBusiness101
SeriousBusiness101
i have no mouth and i must beatbox
@chabulhwi
Bulhwi Cha chabulhwi
I aim to create video games and other media for learning STEM disciplines.

Semmalgil Seoul, Republic of Korea (South Korea)

@gleachkr
Graham Leach-Krouse gleachkr

Draper Laboratory Arlington, Massachusetts

@zhuyutian57
zhuyt zhuyutian57

Institute of SoftWare, Chinese Academy of Sciences Beijing

@lengyijun
lyj lengyijun

SJTU China Shanghai

@JeffCarpenter
Jeff Carpenter JeffCarpenter

Canada

@shpark
Seonghyun Park shpark
Tired of mediocrity [work=@seonghp]
@EricCrosson
Eric Crosson EricCrosson
Maybe the real tests were the types we made along the way
@markhakansson
Mark Hakansson markhakansson
I have no idea what I'm doing

Ductus Luleå, Sweden

@unsoundsystem
unsoundsystem
Interested in Systems software and their formal verification

Japan

@sonmarcho
Son HO sonmarcho

Inria Paris