HKUST TACO Lab
Users following hkust-taco
Takashi Suwa
gfngfn
Develops type systems at Kyoto Univ. and works as a software engineer
Kyoto, Japan
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
Ramon
van-sprundel
Part of @zed-industries Feature Team |
Migrating my own work slowly to codeberg
Urban Heroes Netherlands
Radosław Waśko
radeusgd
Interested in programming language theory and tooling, type theory, static analysis, software verification, as well as data-science and data processing tools.
Poland
Basant saini
Basant1Saini
Full Stack Developer (MERN) | 300+ LeetCode | React • Node.js • MongoDB • Express | Building scalable web apps | Jaipur 🇮🇳
Not yet Jaipur, rajasthan
yangfazhang
yangfa-zhang
South China University of Technology major in Computer Engineer
South China University of Technology China, GuangZhou
Aaron Gray
AaronNGray
Independent Open Source Software Engineer, Computer Language Researcher, Information Theorist, and amateur computer scientist.
Byron-Ding
幻货融学，符物虚名，聚众引蝶，片鳞削布，为富探钩；
司理人学，以人类物，查弱劈质，系颈击肋，为厂寇监；
人效源学，迫力逼限，压心控思，优命化义，为资牲贞；
若依其为，常此致疾，似返商祀，自卯其用。
Luyu Cheng
chengluyu
PhD candidate at HKUST advised by @LPTK . Intern at @MoonshotAI
@hkust-taco, HKUST Hong Kong SAR, China
M4tr1xt4ng
MATRIXKOO
Semi-Programmer | Vegetable PLer｜ Working on PLDI
@Vidar-Team @InProgramming @earth
Johnathan
TrebledJ
Programming fanatic. Amateur bedroom composer. Pineapple-on-pizza lover.
Hong Kong