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

Germany

@taimoon
Leong Teng Man taimoon
兴趣使然

Malaysia, KL

@roife
roife roife
Interested in PL and Compiler.

@pascal-lab

@skylee03
Yang Ming-Tian skylee03
HKU CS '25

University of Hong Kong Hong Kong

@openweb
Allen Long openweb
Developer

huihoo China

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

slow@xsnow.live Paris

@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@ramiterdos1
Ramit ramiterdos1
Logician in training

India

@flaviopavim
Flávio Pavim flaviopavim
Skills with lot types of softwares: Web, Desktop, Mobile - Php&MySql, Javascript, Html, Css, Python, Dart, Java, C, C++, C#, Arduino

WhiteHats

@LinuxJS
Meow LinuxJS
I code in Python. Will work in @vivasoft-ltd

Multiverse

@HaleOIC
Hale HaleOIC
Hi, I am hale yang, keen for discovering more things in Programming Language

Stockholm

@unpilbaek
Unpil Baek unpilbaek
An avid UC Berkeley PhD student interested in quantum computing and its intersections with condensed matter physics, quantum chemistry, and machine learning.

University of California, Berkeley Berkeley, CA

@duyu09
Yu Du duyu09
[杜宇; Du Yu; Đỗ Vũ] A student from Faculty of Computer Science & Technology, Qilu University of Technology. Committed to software development and NLP.

Qilu University of Technology (Shandong Academy of Sciences) Jinan, Shandong Province, P.R.China

@OChicken
Shouran MA OChicken
A PhD student at LTH Lund

LTH Lund Lund, Sweden

@ShreckYe
Yongshun Shreck Ye ShreckYe
Kotlin full stack developer, programming language theory / type theory enthusiast

@huanshankeji Chengdu

@nalgnaohel
Hoang Lan Le nalgnaohel
Lifelong learner wanna try interesting things

VNU University of Engineering and Technology Hanoi

@ichxorya
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form ichxorya
WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLDI, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022).

@vnu-frsl @vnu-sme @SEhumantics Ichvers, Esteh, Enurbahnhof, Azeroy

@CheeseTurtle
Stan Soo CheeseTurtle
UTSA Electrical Engineering student and self-taught coding whiz. Enthusiastic about DSP and AI; tentatively curious about microrobotics and biosensors.
@royess
Yuxuan Yan royess
Graduate student @ IIIS, Tsinghua University.

Tsinghua University Beijing, CHN

@ewdlop
Raymond Lei(雷菩宇); 䨻-Ficus religiosa-Cousin ewdlop
Hi there!

(Pretoria)732-740-5036 Ocean, New Jersey United States of America 07712

@pewulfman
Pierre-Emmanuel Wulfman pewulfman
Functional Software Engineer and Mathematician

@Wulfman-Enterprise 名古屋、Japan

@LeonardAukea
Leonard Aukea LeonardAukea
Founder @ Skygrid Engineering

Sweden

@LeeKLTW
Kun-Lin Lee LeeKLTW
NLP Engineer

Taipei, Taiwan

@gz-gary
Zhongjl gz-gary
student of Nanjing University

Nanjing University Nanjing, China

@acritten
Alec Critten acritten
PhD student in Computer Science at Swansea University

Swansea, Wales, UK

@emirkaanozdemr
Emir Kaan Özdemir emirkaanozdemr
Data Scientist | Astronomy and Quantum Computing Enthusiast | Founder and Superposition of @Qranscend | Co-Founder of @Lyra-AI-Team | High School Student

Istanbul, Turkey

@maniacblisssos
Maniacbliss maniacblisssos
Don’t fly too close to the sun

Africa

@dalps
dalps

Snaktooth Island

@janpaulpl
Jan-Paul Vincent Ramos-Dávila janpaulpl
programming language theory enthusiast

Boston University United States

@definfo
Yuxuan Sun definfo
Undergraduate @ Shanghai Jiao Tong University - SPEIT

Shanghai Jiao Tong University Shanghai, China

@stepbrobd
StepBroBD stepbrobd
λƒ.(λ𝑥.ƒ(𝑥 𝑥))(λ𝑥.ƒ(𝑥 𝑥))

Northeastern University Boston, MA

@sumokario
𑁍 sumokario
Infrastructure Technology Solutions

🌎

@fabaindaiz
Fabián Díaz fabaindaiz
Compilers | Backend | DevOps

Chile

@M-krishna
Krishna M-krishna
just hanging in there

Pluralsight Bangalore, India