Skip to content

@aya-prover The Aya Theorem Prover

@KonjacSource
KonjacSource KonjacSource
Major in Physics. Interested in Type Theory.

QDU

@MikanAffine
Xie Qinghe MikanAffine
Freshman @ XJTU. ~9 years dev exp. PLDI & AI amateur.

Xi'an Jiaotong University Xi'an, Shaanxi Province, China

@lenianiva
Leni Aniva lenianiva
Machine Assisted Theorem Proving (MATP) Resercher; Interested in CAD, Visualizations, and Numerical Simulations

Stanford University Centaur Lab @stanford-centaur San Francisco Bay Area, Gensokyo

@Duolei-Wang
Duolei Wang Duolei-Wang
B.Sc of Math at SUSTech.

Southern University of Science and Technology Shenzhen

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

Shanghai Jiao Tong University Shanghai, China

@douyixuan
Cedric douyixuan
A slow walker. Dream to make a big difference one day.

HUMANS China

@hmyuuu
Huai-Ming Yu hmyuuu
homines quo plura habent, eo ampliora cupiunt
@Glomzzz
Glomzzz Glomzzz
Maybe Amadeus.

Senior high school Kuala Lumpur

@eldesh
eldesh eldesh

Tokyo

@Eric-Song-Nop
Yifan Song Eric-Song-Nop

TUDelft Delft, Netherlands

@Qiu233
Qiu Qiu233
@Zhang-Liao
Zhang-Liao Zhang-Liao
@skylee03
Yang Ming-Tian skylee03
HKU CS '25

University of Hong Kong Hong Kong

@HK-SHAO
HK-SHAO HK-SHAO
hi.

Milky Way Galaxy

@illusory0x0
猗露 illusory0x0
@BlankHeart0
BlankHeart0
An Artist
@hiyasame
Hiyasame hiyasame
Keep it simple stupid

@bytedance /dev/null

@scatyf3
s酱 scatyf3
学习，学习，再学习

Beijing

@Kaytheist
Kala Kaytheist
@UnaryPlus
Owen Bechtel UnaryPlus
@intsuc
intsuc

Japan

@ATMxsp01
Xu, Shuo ATMxsp01
Down the rabbit hole
@samtoth
Sam Toth samtoth
@altriasjy31
Altriasjy Pendragon altriasjy31
bioinformatics & comp bio; generative biology.

m78

@fizruk
Nikolai Kudasov fizruk
Haskeller falling down a rabbit hole.

@InnopolisUniversity

@baajarmeh
Basel Ajarmah baajarmeh

developing a new AI project... Ajjur, Palestine

@IFEIFEI
IFEIFEI
@Zecyel
Zecyel Zecyel
A programmer with interesting ideas.

Fudan University Ningbo, Zhejiang, China

@kermanx
_Kerman kermanx
@rudynicolop
Rudy Peterson rudynicolop
@lane-core
lane lane-core
formal verification, (homotopy) type theory, and categorical nonsense

brooklyn

@xiyuzhai
Xiyu Zhai xiyuzhai
A visored working on an ancient programming language called Husky. It's going to fundamentally change how we see huskies.

UW Seattle, WA

@rybla
Henry Blanchette rybla
programming languages, formal verification, functional programming, game theory.

CS PhD student at UMD UMD

@huangjunwen
huang jw huangjunwen

GuangZhou, China

@famasoon
Ryota Sakai famasoon
Threat research and programming. https://twitter.com/FAMASoon

Tokyo, Japn

@floatshadow
ZHU Siyuan floatshadow
programming language, compiler; participated in ASC'22, ISC'23

Hangzhou, China

@pyquinnnarlo
Quinn Narlo pyquinnnarlo
Computer Science | Backend Engineer | C/C++ | Unity 3D Game Dev | 32-bit x86 ASM | 64-bit x86 ASM

INAH

@uran0sH
Bosco uran0sH

Shenzhen

@AliasQli
Alias Qli AliasQli

Qliphoth Tech. The Moor, Gusto

@Jack-Pumpkinhead
Jack-Pumpkinhead
@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@carnotweat
sameer gupta carnotweat
now sr.ht/carnotweat

carnot Bangalore

@morita-lepidum
morita-lepidum
@haoyun
Yun Hao haoyun
@lisptime
lisptime
@JiatongBu
Jiatong Bu JiatongBu

Hong Kong

@CziSKY
kirraObj CziSKY
before my body is dry.

@TabooLib, @SacredCraft Gensokyo

@rmolives
RMOlive rmolives
@HoshinoTented
Hoshino Tented HoshinoTented
impl !Ord for Self {}

肥宅行为模式科学研究院 | 清芷大学 (TsingChih University) 世界轴 / The Axis

@F1uctus
Ilya Nikitin F1uctus
Student, programming languages theory and computational linguistics enthusiast. Occasionally a game maker. Amateur landscape photographer.