Skip to content
View Linyxus's full-sized avatar

Highlights

  • Pro

Organizations

@easter-mips @CoordML @PyGCL @WikiMegrez @paddorch

Block or report Linyxus

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 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
@thwfhk
Wenhao Tang thwfhk
PhD student in Programming Languages

The University of Edinburgh Edinburgh, UK

@inrainbws
Zhuoqian Yang inrainbws
PhD Candidate at EPFL

EPFL

@noti0na1
noti0na1 noti0na1

LAMP, EPFL Lausanne

@protesilaos
Protesilaos Stavrou protesilaos
At what point does a tinkerer become a programmer, provided no formal background in the latter?

Cyprus, European Union

@XYUnknown
Xueying Qin XYUnknown
我是猫。 吾輩は猫である。 I am a cat.

University of Southern Denmark Odense/Edinburgh

@radeusgd
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

@LPTK
Lionel Parreaux LPTK
Assistant Professor at HKUST (Hong Kong University of Science and Technology), CSE department

HKUST

@roife
roife roife
Interested in PL and Compiler.

@pascal-lab

@ZubinGou
Zhibin Gou ZubinGou
Researcher @deepseek-ai; Prev. @msra; M.Sc. @thu.

Tsinghua University Beijing

@weihua916
Weihua Hu weihua916
Graphs. Deep learning. CS Ph.D. at Stanford.
@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@HennyJie
Hejie Cui HennyJie
Postdoc @ Stanford, CS Ph.D. from Emory, B.S. from Tongji | #datamining #machinelearning #AI4Health

Stanford University Palo Alto, California

@tabVersion
Bohan Zhang tabVersion
Bachelor @BUPT, prev Intern @microsoft, prev SDE @bytedance

@risingwavelabs Singapore

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

Positron AI Farmington Hills, MI

@SXKDZ
Yanqiao ZHU SXKDZ
CS PhD student at UCLA / Graph & geometric deep learning / Large Language Models / AI for Science

University of California, Los Angeles Los Angeles

@purcell
Steve Purcell purcell
I optimise software and human systems, and make them happier.

Ireland

@eliphatfs
Ruoxi eliphatfs

UCSD; Intern @HillbotAI Scarlet Devil Mansion, M. Lake, Gensokyo

@torvalds
Linus Torvalds torvalds

Linux Foundation Portland, OR

@riteme
Xue Zhenliang riteme
-rwxr-xr-x 1 root 39K Mar 6 21:01 /bin/cat

Fudan U Shanghai

@Flyinet
Flyinet Flyinet
AS Student / INTJ / begin Studio Co-Founder Interset Study: Metaphysics and Formal Logic (Personal Project: Inscribe Learning Machine, ILM)

begin Studio - X Lab (Department of Machine Learning - Qunat) HongKong