RedPRL
Users following RedPRL
ZHU Siyuan
floatshadow
programming language, compiler;
participated in ASC'22, ISC'23
Hangzhou, China
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
Guannan Wei
Kraks
Assistant professor at Tufts University; programming languages, formal methods, compilers
Tufts University
Mike DuPont
jmikedupont2
Senior Full stack developer focused on p2p ml ai devops
@meta-introspector New Jersey
Saul Shanabrook
saulshanabrook
PhD student at @uwplse advised by @gilbo.
Previously worked at @Quansight / @Quansight-Labs, @LineaLabs, @jupyterlab and @burke-software.
University of Washington Seattle, WA
Ayberk Tosun
ayberkt
PhD student at the University of Birmingham.
University of Birmingham Birmingham, UK
Tim Kersey
tkersey
If you'd have asked me when I was 3 what I wanted to be when I grew up I would have said a bologna sandwich
@thisisartium Los Angeles, CA
