Skip to content
View definfo's full-sized avatar
😾
😾
47 followers · 91 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: YOLO

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: YOLO

Highlights

  • Pro

Block or report definfo

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

~

@rennsax
Bojun Ren rennsax
(SJTU @ IPADS) I'm on my way.

Shanghai Jiao Tong University Shanghai

@CHN-beta
陈浩南 CHN-beta

Xiamen University Xiamen, China

@Prince213
Sizhe Zhao Prince213

::1

@OverflowCat
ᡥᠠᡳᡤᡳᠶᠠ ᡥᠠᠯᠠ·ᠨᡝᡴᠣ 猫 OverflowCat
Optoelectronics BSc / Frontend Developer / Web Archivist

Beihang University

@zqy1018
Qiyuan Zhao zqy1018
A beginner. A low-level programmer.

Singapore

@LordGrimmauld
Grimmauld LordGrimmauld
I am a uni student working on nix, Linux, and occasionally game modding.
@Aleksanaa
Aleksana Aleksanaa
很垃圾的，不要看了

UESTC Singapore

@Alan-Liang
Alan-Liang
Personal stuff migrated to https://codeberg.org/altk . Being fed up with GitHub.
@riaqn
Zesen Qian riaqn
Modelling the world.

Jane Street London, UK

@taoky
taoky taoky
"What might be 'ordinary' or 'taken for granted'?"

pony.ai

@BoxueYang
Boxue Yang BoxueYang
I am Boxue Yang, a student in Shanghai Jiao Tong University. I want to study in Github and try to make some contributions to the community.

Shanghai Jiao Tong University Shanghai Jiao Tong University

@jian-lin
LIN, Jian jian-lin
Nixpkgs committer

Nanjing

@Guest0x0
Guest0x0 Guest0x0
@ziyao233
Yao Zi ziyao233
Try to work for useful stuff.

Nowhere

@wegank
Weijia Wang wegank
Ekiru denove.

@lip6 Paris, France

@xen0n
WÁNG Xuěruì xen0n
The wandering craftsman, deliberately living his life the hard way.

@gentoo Shanghai

@tenstorrent
Tenstorrent AI tenstorrent

United States of America

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

Positron AI Farmington Hills, MI

@oxcaml
OxCaml oxcaml
OCaml - Oxidized!
@imkiva
Kiva imkiva
PL beginner. I write compilers and IDEs.

Gensokyo

@PRProber
Paradigm: Reboot Prober Development Team PRProber
@xieby1
Xie Benyi xieby1
Dive into Binary Translation and Other Magics
@SJTUJohnClass
SJTU-JohnClass SJTUJohnClass
Archived Assignments from **Program Design and Data Structure** courses in John Hopcroft Class, Zhiyuan Honor Program, Shanghai Jiao Tong University.
@GTrunSec
GuangTao Zhang GTrunSec
MATH Major if you have any question for me, feel free to email me or gtrunsec:matrix.org

Orange County

@Qiushao-E
Qiushao Qiushao-E

Shanghai Jiaotong Univercity Shang Hai

@donjuanplatinum
唐璜 donjuanplatinum
纷总总其离合兮 斑陆离其上下

barrensea

@xeonliu
xeonliu
@Electronic-Waste
Shao Wang Electronic-Waste
Seeking 27fall MLSys PhD | @SJTU-SE | @kubeflow WG AutoML/Training

Shanghai Jiao Tong University. Shanghai, China

@xf67
xf67
I am too lazy to write a bio for myself 😜

Shanghai Jiao Tong University

@LogCreative
LogCreative LogCreative

Shanghai Jiao Tong University

@alissa-tung
Alissa Tung alissa-tung

The Chinese University of Hong Kong, Shenzhen

@juspay
Juspay Technologies juspay
Design to simplify. Revolutionizing digital payments.

Bangalore, India

@fantacyfromsjtu
kurumi fantacyfromsjtu
Shanghai Jiao Tong University in Information Security

Shanghai Jiao Tong University

@Oscillater
凌川 Oscillater
Student in SJTU, major in MNE, minor in CS | Exploring & Building

上海交通大学 上海

@Glavo
Glavo Glavo
PLCT Lab

@plctlab Inner Mongolia, China

@satgo1546
Frog Chen satgo1546
– too lazy to have no bios –

Shanghai, China

@GMH233
Kitak1rin GMH233
Undergraduate @SJTU-SE. Occam's razor is razor-sharp.

Shanghai Jiao Tong University Shanghai

@truc0
Tsz Lung Chung truc0
Currently interning at @BondiTech, members of @sjtug and @dyweb .

SJTU, @dyweb, @sjtug Shanghai, China

@NickCao
Nick Cao NickCao

Red Hat Boston, MA

@UniMath
Univalent Mathematics UniMath
A unified approach to formalization of mathematical knowledge based on Univalent Foundations.
@Hydroiodic
Hydroiodic
@lazyparser
Wei Wu lazyparser

@KUBUDS

@plctlab
PLCT Lab plctlab
Compilers, Simulators, Runtimes

China

@aya-prover
The Aya Theorem Prover aya-prover
@skylee03
Yang Ming-Tian skylee03
PhD Student @hkuplg

University of Hong Kong Hong Kong

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

The University of Hong Kong Hong Kong

@SCP-CN-001
SCP-CN-001 SCP-CN-001
@AliasQli
Alias Qli AliasQli
Multilingual user & Type Theory enthusiast

Qliphoth Tech.