Skip to content
View Lslightly's full-sized avatar
40 followers · 265 following
  • University of Science and Technology of China
  • Hefei, Anhui, China
  • 19:27 (UTC +08:00)

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report Lslightly

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
@egraphs-good
egraphs-good
Using e-graphs to build cool stuff
@HALOCORE
Wang Bo HALOCORE
CS PhD@NUS

Singapore

@zhaiyi000
zhaiyi000
@seclab-ucr
UCR Security Lab seclab-ucr

United States of America

@NekoCaffeine
NekoCaffeine NekoCaffeine
This land is not for everyone, so some people have to find another Promised Land.

NekoCannery

@hehao98
Hao He hehao98
Ph.D. Student in Software Engineering

Carnegie Mellon University Pittsburgh, PA, USA

@ianlancetaylor
Ian Lance Taylor ianlancetaylor
Programmer (he/him)

@google Berkeley, California, USA

@heng-zhong-2003
Nicolas H. Chung heng-zhong-2003
Senior undergraduate at Fudan Univ. dept. of CS. Interested in programming languages and computing systems. 管仲去兮九百年，樂毅沒兮四百歳，誰復知思王者治？可憐丞相病危篤！

Fudan University Brookline, Massachusetts

@zyedidia
Zachary Yedidia zyedidia

Stanford University Stanford, CA

@liuly0322
liuly liuly0322
Organic life contact-purpose humanoid interface.

USTC Hefei, China

@JiahuiYu
JiahuiYu
Research Scientist, OpenAI
@aashishyadavally
Aashish Yadavally aashishyadavally
Ph.D Student in Intelligent Systems @ University of Texas at Dallas | MS in Artificial Intelligence @ University of Georgia | B.Tech in CSE @iiitv |

University of Texas at Dallas Richardson, TX

@JerryYin777
Jerry Yin JerryYin777
Senior@UMN CS | MLsys & LLM | ex-Intern @ Sensetime Research @01-ai & @thunlp & @OpenBMB & @NCUSCC

University of Minnesota Twin Cities Minneapolis, MN

@open-s4c
Open, Safe and Scalable System Software Concurrency open-s4c
@Tricker-z
Ling Jiang Tricker-z
Security Researcher @KeenSecurityLab @Tencent
@kaist-plrg
PLRG@KAIST kaist-plrg
@0xDkXy
HAOYU LI 0xDkXy
CS PhD @RutgersCS

Free Shenzhen

@celestialphineas
Celestial Phineas celestialphineas
Designing and computing shapes of types.

@JadeFoci Hangzhou, China

@Tert-butyllithium
Haonan Li Tert-butyllithium
PhD student in CS @ UC Riverside. Interested in software analysis. With poor skills, heading for an inevitable failure.
@lynzrand
Rynco Maekawa lynzrand
"Never tried hard before, But dreamt to be special." Mainly doing compilers, but interested in everything. C++ / Rust / C# / Typescript; en_US / zh_CN.

@moonbitlang AS13-November-01

@kaifeng-h
Kaifeng Huang kaifeng-h

Software Engineering

@rossberg
Andreas Rossberg rossberg
Programming Language Researcher, Designer and Engineer
@tonyfettes
Haoxiang Fei tonyfettes
Make things just work.
@moonbitlang
moonbitlang
@Menci
Menci Menci
Software Engineer @microsoft

Microsoft Suzhou, China

@LRY89757
Runyu Lu LRY89757
CS PhD Stu @ UMich, Undergrad @ HUST' 20

Ann Arbor, MI

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@OlingCat
Oling Cat OlingCat
Just a little cat.

Hakurei Shrine Gensokyo

@ertuil
Elliot Chen ertuil
Ph.D. student of Cyber Security of USTC, focusing on network security.

University of Science and Technology of China Boston, MA

@xkz0777
Kunzhao Xu xkz0777
USTC CS undergraduate student

MSRA Beijing

@tiankaima
Tiankai Ma tiankaima
Undergrad @ University of Science and Technology of China (USTC)

@ustclug China

@ise-uiuc
iSE-UIUC ise-uiuc
@stonebuddha
Di Wang stonebuddha

Peking University Beijing, China

@UCLA-SEAL
UCLA Software Engineering Analysis Laboratory (SEAL) UCLA-SEAL
Professor Miryung Kim's Research Group on Software Engineering

United States of America

@llm4code
LLM4Code Workshop (2024) llm4code
International Workshop on Large Language Model For Code

United States of America

@shzaiz
AUGPath shzaiz
gwzhang @ CUG CS

China University of Geosciences(Wuhan) Wuhan, Hubei

@pingzhili
Pingzhi Li pingzhili
AI & ML

UNC-Chapel Hill

@OpsPAI
OpsPAI OpsPAI
IT Operations powered by AI
@cuiyungao
CuiyunGao cuiyungao
Chase my own dream.

Harbin Institute of Technology (Shenzhen) Shenzhen, China

@hack3ric
Eric Long hack3ric
I write code and stuff / Rust, Lua, TypeScript

Intern @plctlab

@XuehaiPan
Xuehai Pan XuehaiPan
Ph.D. student at Peking University. Interested in Reinforcement Learning & Multi-Agent Systems & Distributed Computing. Working on LLMs and AI Alignment.

CFCS @ PKU Peking University, Beijing

@wadefagen
Wade Fagen-Ulmschneider wadefagen
faculty @illinois, previously @Morgan-Stanley, @google, and @cisco

University of Illinois Urbana, IL

@plclub
The Penn PL Club plclub
@liyishuai
Yishuai Li liyishuai
PhD'22 @plclub @DeepSpec; Maintainer @coq-community @ocaml-community; Editor @Coq-zh; Contributor @coq.

@Alibaba Shanghai

@oxalica
oxalica
@botprzemek
botprzemek botprzemek
college student developer designer @not-byte @exotia-net

@not-byte Gliwice, Poland

@shejialuo
shejialuo shejialuo
Get busy living. Contributing to @git.

@NVIDIA

@haruue
Haruue haruue
Networking | BGP Player | former Android App Dev | I use Arch, btw
@sparkcyf
sparkcyf

@SUSTC Shenzhen, China

@mit-pdos
MIT PDOS mit-pdos
Parallel and Distributed Operating Systems group at MIT CSAIL

Cambridge, MA