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
@ahuoguo
Alex Bai ahuoguo

New York University

@zhongl
Lunfu Zhong zhongl
A java/scala programmer.

HangZhou, China

@CielSeven
Wu Shushu CielSeven

Shanghai Jiao Tong University Shanghai, China

@vinhnx
Vinh Nguyen vinhnx
learn by doing

Chau Doc, An Giang. Vietnam

@hamzaremmal
Hamza Remmal hamzaremmal

Oracle Zürich, Switzerland

@thwfhk
Wenhao Tang thwfhk
PhD student in Programming Languages

The University of Edinburgh Edinburgh, UK

@unsoundsystem
unsoundsystem
Interested in system software and its formal verification

Japan

@Maricaya
Xulu Chu Maricaya
CSMS@Depaul University; Previously @bytedance
@djvelimir
Velimir Đurković djvelimir
Senior Software Engineer

Novi Sad, Vojvodina, Serbia

@Ramyromel
Ibrahim Ghonem Ramyromel
Redefining science and technology through an unconventional approach that combines artificial intelligence, cybersecurity, physics, medicine, military technolog

Sky limit Egypt

@inrainbws
Zhuoqian Yang inrainbws
PhD Candidate at EPFL

EPFL

@skylee03
Yang Ming-Tian skylee03
PhD Student @hkuplg

University of Hong Kong Hong Kong

@xingzhang-pku
Xing Zhang xingzhang-pku

Peking University Beijing

@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@yuechen-sys
Yue Chen yuechen-sys
AI Infra | M.S. in Memory System @ KAIST'26 | B.S. in CS @ BUPT'23

Beijing

@bludnic
bludnic
Building @Open-Trader, a powerful open-source crypto trading bot 🤖
@faranten
Rongtian Fu faranten

Beijing University of Posts and Telecommunications Beijing

@noti0na1
noti0na1 noti0na1
Working on @scala 3

EPFL Lausanne

@ayanamists
LI CHENXI ayanamists

MeiTuan Beijing, China

@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

@szymon-rd
Simon R szymon-rd
Network on Chip @ Arteris IP, Former Scala 3 Compiler Team at @scala_lang (he/him)

Arteris Cracow, Poland

@KacperFKorban
Kacper Korban KacperFKorban
PL/FM PhD Student @ EPFL (SYSTEMF) Working on Verified Compilation

Lausanne, Switzerland

@codelformat
Sheng Guan codelformat
Undergraduate, Software Engineering @ BUPT

Beijing University of Posts and Telecommunications China Beijing

@DRong1121
Rong Dang DRong1121

KU Leuven Leuven, Belgium

@Go2Heart
Yibin Yan Go2Heart
PhD student at SJTU, supervised by @WeidiXie

Shanghai Jiao Tong University Shanghai

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

@floation-cutie
floation-cutie
Student | BUPT->ISCAS
@Roiocam
Andy(Jingzhang)Chen Roiocam
No pain, no gain. blame-free postmortem.

@Apache ShenZhen, China

@nightscape
Martin Mauch nightscape
Big fan of Functional Programming, Scala, Idris. Passionate about meditation and neuroscience.

Regensburg, Germany

@Clownsw
Clownsw Clownsw
until you have.
@kolergy
kolergy kolergy
Can be found @Artilect.fr Fablab in Toulouse

Toulouse

@Kunlun-Zhu
Kunlun Zhu Kunlun-Zhu
Graduate student at UIUC. Visiting Student at Stanford AI Lab, Prev at THU, CMU, Mila
@baimuchu
Baimu baimuchu
AI Engineer and Researcher