Skip to content

@hkuplg HKU Programming Languages Group

@ardalaan
Ardalan Ebrahimnia ardalaan
@mikolajkapica
Mikołaj Kapica mikolajkapica

Politechnika Wrocławska

@wenkokke
Wen Kokke wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai

Scotland

@Lisanju
LIS-λ Lisanju
Semanticist

Federal University of São Carlos São Paulo, Brazil

@eric15342335
Cheng Ho Ming, Eric eric15342335
HKU Undergraduate (2023-2027) BASc(AppliedAI). He/Him.

Unemployed Hong Kong

@tjhao
Jinhao Tan tjhao
@rebornwwp
u rebornwwp

Beijing, China

@TristanCacqueray
Tristan de Cacqueray TristanCacqueray

Red Hat

@graydon
Graydon Hoare graydon

Vancouver, BC

@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

@cu1ch3n
Cui Chen cu1ch3n
PhD candidate @hkuplg / @NixOS user and package maintainer

@hkuplg Hong Kong, China

@Byron-Ding
Byron-Ding
@skylee03
Yang Ming-Tian skylee03
HKU CS '25

University of Hong Kong Hong Kong

@liuliususu
liuliususu
@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP @ GHC Team Portugal

@Hughshine
Xuyang Li Hughshine
FM, SE, PL, CS, HCI. 1st year Phd Student @Purdue.

West Lafayette

@0xdeadbad
Matheus da Silva Garcias 0xdeadbad
uh
@goghcrow
xiaofeng goghcrow
@MATRIXKOO
M4tr1xt4ng MATRIXKOO
Semi-Programmer | Vegetable PLer｜ Working on PLDI

@Vidar-Team @InProgramming @earth