Skip to content
View juniorxxue's full-sized avatar

Highlights

  • Pro

Organizations

@hkuplg

Block or report juniorxxue

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@funemy
Yanze Li funemy
Misinterpreting PL and math
@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@RIvance
std::_Rb_tree RIvance
PhD candidate at @hkuplg

0000:7C00

@thelissimus
kei thelissimus
type theory / compilers / specifications
@ayanamists
LI CHENXI ayanamists

MeiTuan Beijing, China

@Kraks
Guannan Wei Kraks
Assistant professor at Tufts University; programming languages, formal methods, compilers

Tufts University

@gelisam
Samuel Gélineau gelisam
Haskeller

well.co Montréal

@Lemonsity
Lemonsity Lemonsity
Programming Languages ∧ Mathematics

@Lodestone-Team

@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@mlabs-haskell
MLabs mlabs-haskell
Haskell, Rust, FinTech and AI Consultancy

United Kingdom

@usaoc
Wing Hei Chan usaoc
A linguist who happens to love computation

The Chinese University of Hong Kong Hong Kong

@Metaxal
Laurent Orseau Metaxal

Google DeepMind London, UK

@joulook
Mohammad Hossein Khoshechin Jorshari joulook
Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory

Germany

@Hughshine
Xuyang Li Hughshine
FM, SE, PL, CS, HCI. 2nd year Phd Student @Purdue.

West Lafayette

@lzy0505
Zongyuan Liu lzy0505
PhD student in formal verification

@logsem Aarhus

@thwfhk
Wenhao Tang thwfhk
PhD student in Programming Languages

The University of Edinburgh Edinburgh, UK

@ltzone
Litao Zhou ltzone
Ph.D. student @hkuplg, Programming Languages

The University of Hong Kong Hong Kong

@Hua-hana
Jinhua Wu Hua-hana
PL | Formal Verification | Working on Rust verified compiler

Shanghai Jiao Tong University

@roife
roife roife
Interested in PL and Compiler.

@pascal-lab

@tjhao
Jinhao Tan tjhao
PhD Student, Programming Languages Group, University of Hong Kong
@cu1ch3n
Cui Chen cu1ch3n
PhD candidate @hkuplg / @NixOS user and package maintainer

@hkuplg Hong Kong, China

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

Scotland

@favonia
favonia favonia
Teaching at U of Minnesota
@L-TChen
Liang-Ting Chen L-TChen

Institute of Information Science, Academia Sinica Taiwan

@slanterns
Slanterns slanterns
蒟蒻。

ZHZX AS15-PAPA-09

@chenxiao2402
Xiao Chen chenxiao2402
Ad astra abyssosque.

IU Bloomington Bloomington, IN, US

@cty12
Tianyu Chen cty12
Postdoc at Indiana University

@wonks Bloomington

@97littleleaf11
Jingchen Ye 97littleleaf11
老和山职校窝窝斯战队鼓励师. mypy/mypyc

TikTok

@TH3CHARLie
Xuanda Yang TH3CHARLie
Computer Graphics/Compiler

University of California San Diego

@chengluyu
Luyu Cheng chengluyu
PhD candidate at HKUST supervised by @LPTK

@hkust-taco, HKUST Hong Kong SAR, China

@andongfan
Andong Fan andongfan
PhD student in PL

University of Toronto

@pnwamk
Andrew Kent pnwamk
Senior Software Engineer @ NVIDIA Programming Languages PhD

@NVIDIA Beaverton, OR

@skylee03
Yang Ming-Tian skylee03
PhD Student @hkuplg

University of Hong Kong Hong Kong

@fare
François-René Rideau fare
Cybernethics Houyhnhnm Computing https://ngnghm.github.io

Lair of the French Resistance

@jozefg
daniel gratzer jozefg
I am a researcher interested in type theory and category theory.

Aarhus

@shhyou
shuhung shhyou

Taipei, Taiwan

@xavierleroy
Xavier Leroy xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming

Collège de France and Inria Paris, France

@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI

@wadler
Philip Wadler wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.

University of Edinburgh Edinburgh