Skip to content

@plclub The Penn PL Club

@XiaomingX
Y11 XiaomingX
Software Dev @ X | Linux, Java, Spring, Python, Go, Next.js | Open Source Enthusiast | LLM Innovator | M.Sc. in Software Engineering 🚀

uhaka japan

@djtrack16
Darius Liddell djtrack16
Stanford CS. Ruby. Functional Programming Enthusiast. Slow Traveller. Cycling.
@dzming-li
Dzming Li dzming-li
HUST-CSEer

Huazhong University of Science and Technology 湖北武汉

@dipeshkaphle
Dipesh Kafle dipeshkaphle

@delta

@xiubin-cui
xiubin xiubin-cui

China University of Geosciences(Wuhan) Wuhan, Hubei

@in-my-ellement
Ell in-my-ellement
clemson cs + math, undergraduate teaching assistant

@clemsonacm

@ardalaan
Ardalan Ebrahimnia ardalaan
@jamestiotio
James R T jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke

@aruba The edge of knowing

@dnyBLUESKY007
Nongyu Di dnyBLUESKY007

Nanjing University Nanjing, Jiangsu

@shzaiz
Guangwei Zhang (AUGPath) shzaiz
gwzhang @ CUG CS

China University of Geosciences(Wuhan) Wuhan, Hubei

@jellyterra
Jelly Terra jellyterra
18 yo. Passion with EE/CS. Designing and trying to build one specific compiler. Also design circuits in SpinalHDL.

Rizhao Experimental Senior High School Shandong, China

@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

@plaidfinch
finch plaidfinch
founder & director @starlingcyber; previously: founding core eng. @penumbra-zone, senior eng. @boltlabs-inc, researcher @GaloisInc, ABD PhD in PL @ UPenn

@starlingcyber

@joulook
Mohammad Hossein Khoshechin Jorshari joulook
Ph.D. Student @ MPI-SWS & RPTU / Computer Science / Interested in Formal Methods / Distributed Systems / Concurrency Theory

Germany

@roife
roife roife
Interested in PL, Compiler, Emacs.

@pascal-lab

@skylee03
Yang Ming-Tian skylee03
HKU CS '25

University of Hong Kong Hong Kong

@HODUCVU
Ho Duc Vu HODUCVU
I'm currently majoring in computer engineering at Danang University of Science and Technology (2020 - 2025)

Danang University of Science and Technology Danang, Vietnam

@cceckman
Charles Eckman cceckman
A person with a computer.
@nhatanh002
nhatanh nhatanh002
@buke2016
Peter buke2016
MSc. Student in Computer Science | Civil Engineer | Program Manager | Geospatial | Data Science.
@Lslightly
Qingwei Li Lslightly
laziness overflow but struggle to work hard and discover something interesting in life.

University of Science and Technology of China Hefei, Anhui, China

@carnotweat
sameer gupta carnotweat
now sr.ht/carnotweat

carnot Bangalore

@amartyanil
Amartyanil Chattopadhyay amartyanil
@Agnishom
Agnishom Chattopadhyay Agnishom

Kolkata

@svishnus
Sundara Vishnu svishnus
CS + Math + Music @ UMich

Ann Arbor, MI

@yiyuan-cao
Yiyuan Cao yiyuan-cao
PhD student in Programming Languages

Peking University Beijing, China

@hmcyrus
Hossain Cyrus hmcyrus
@scatyf3
s酱 scatyf3
学习，学习，再学习

Beijing

@MRHMisu
MRHMisu
The Best of The Worst.

University of California Irvine Irvine, California

@12Siva
Haresh Siva 12Siva
@imteekay
TK imteekay
@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@zhoudongxu
zhoudongxu zhoudongxu
@ebigram
ebigram ebigram
@giriprasathd
GiriPrasath.D giriprasathd

Tamil Nadu ,India

@wrsturgeon
Will Sturgeon wrsturgeon
CS+CogSci @ UPenn

University of Pennsylvania Pasadena, CA

@Decel
Decel
@zestsystem
Mike Yim zestsystem
@kaan9
kaan kaan9
@kmirzavaziri
Kamyar Mirzavaziri kmirzavaziri
Software Engineer

Dubizzle Dubai, UAE

@Yosuke-Ito-345
Yosuke Ito Yosuke-Ito-345
FIAJ (Fellow of the Institute of Actuaries of Japan)

Sompo Himawari Life Insurance Inc. Tokyo, Japan

@AdrianoII
AdrianoII AdrianoII
Types are 🧊.
@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@XiangYyang
向阳 XiangYyang

Hubei, China

@XSnow
Snow XSnow
A postdoc at IRIF. A PhD graduate from @hkuplg

[email protected] Paris

@yqyq-w
yqyq-w
PL+Systems