Skip to content
@pseudomata
Pseudomata pseudomata
Independent researcher and software engineer.

Internet

@deadmarshal
Ali deadmarshal
I love Perl, Lua, Pascal, Oberon, Modula-2/3, C, Standard ML

deadmarshal Iran, Karaj

@shonfeder
Shon Feder shonfeder
Allophilia x Synechism

@informalsystems Toronto

@skylee03
Yang Ming-Tian skylee03

University of Hong Kong Hong Kong

@lzy0505
Zongyuan Liu lzy0505
PhD student in formal verification

@logsem Aarhus

@dhil
Daniel Hillerström dhil
Effectful programmer

Computing Systems Laboratory, Zurich Research Center, Huawei Technologies Switzerland Zurich, Switzerland

@melsman
Martin Elsman melsman
Professor at the Department of Computer Science, University of Copenhagen. Conducts research in the design and implementation of programming languages.

University of Copenhagen, Denmark Copenhagen, Denmark

@mjsottile
Matthew Sottile mjsottile
Computer scientist @ Lawrence Livermore National Laboratory, Center for Applied Scientific Computing. Researcher in compilers/PL, HPC, applied math.

LLNL

@richard-zhang
SSHz richard-zhang
Functional Programming * Mathematical Construction of Programs * C++ * Session Types * Category Theory * Finance

Bloomberg L.P. London

@0xDkXy
HAOYU LI 0xDkXy
Incoming CS PhD @RutgersCS

Free Shenzhen

@xingdl2007
xingdl2007
Interested in distributed systems, storage and infrastructure.

kuaishou Shenzhen, China

@ayberkt
Ayberk Tosun ayberkt
PhD student at the University of Birmingham.

University of Birmingham Birmingham, UK

@avindra
Avindra Goolcharan avindra
Owner/user of: Pentium 4 → 98 → XP → Linux → Visual Basic .NET → JavaScript → C# → PHP → Shell/UNIX → C++ → Rust → Go → Threadripper →Core i9

United States New Jersey

@chikega
Gary Chike chikega

3ddmd Atlanta, GA

@veduket
Yared Getachew veduket

Toreans Engineering Addis Ababa

@yonta
SAITOU Keita yonta

NONE Aichi, Japan

@theromchip
Thomas Covert theromchip
Addicted to FreeBSD and Arch Linux and Hyprland

Cross Computers Columbus OHIO

@lutzhamel
Lutz Hamel lutzhamel
I am interested in anything and everything having to do with programming languages.

University of Rhode Island Rhode Island

@ozogxyz
ozogxyz
MIPT PhysTech - MSAI 23' | METU Mech 13'
@omasanori
Masanori Ogino omasanori

Japan, or anywhere else

@benknoble
D. Ben Knoble benknoble
TDP @ CapitalOne. BS/MS in CS and formal methods. Plays clarinet. Enjoys reading and writing (code, English, French). Black belt in Tang Soo Do. Eagle Scout.

CapitalOne Richmond, VA

@BZK44
BZK BZK44
Just a person who likes games and computers.

Australia

@Laszlo-Muller
László Müller Laszlo-Muller
Sciences, technologies, software, hardware, finance, electronics; running, biking; vegan with eggs; green, white, black tea infused beverages; fine smoothies.

Uvimox [www.uvimox.net; @Uvimox] Dombóvár, Hungary.

@ToshiJP
Toshi ToshiJP
a software engineer

Japan

@jmj0502
Jorge Martin Juarez jmj0502
Industrial Engineer - Software Developer.

3MIT Clermont, FL

@k4rtik
Kartik Singhal k4rtik
Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.

Chicago, IL

@johnsonjh
Jeffrey H. Johnson johnsonjh
Not RPM developer Jeffrey Johnson. Not XTree developer Jeffrey Johnson. Not Jeffrey Johnson, Google Senior Software Engineer. Not the robotic engineer, either.

BAN AI Systems https://keybase.io/trnsz