Skip to content
View ice1000's full-sized avatar
♾️
Generalizing something
♾️
Generalizing something
4k followers · 748 following

Sponsors

@CziSKY
@matchy233
@PhotonQuantum
@wsx-udscbt

Sponsoring

@typst

Achievements

Achievement: Public SponsorAchievement: Pull Sharkx4Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Galaxy BrainAchievement: Starstruckx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Public SponsorAchievement: Pull Sharkx4Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Galaxy BrainAchievement: Starstruckx3Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@agda @JuliaEditorSupport @pest-parser @EmmyLua @ice1k @devkt-plugins @owo-lang @arend-lang @aya-prover @Lean-zh

Block or report ice1000

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
@ryncsn
Kairui Song ryncsn
xvGZGK7A1

Tencent Beijing, China

@sonyasimk
Sonya Simkin sonyasimk
@NathanSweet
Nathan Sweet NathanSweet

Esoteric Software Puerto Rico

@squid233
squid233 squid233
Project engineer. Leader of @Over-Run.

@Over-Run @XenFork China

@HerrCai0907
Congcong Cai HerrCai0907
摸鱼使我快乐! assemblyscript maintainer, clang-tidy maintainer

bmw china Shanghai

@ashermkn1
Asher Kornfeld ashermkn1
CS @ Carnegie Mellon

New York City

@peter-jerry-ye
Zihang Ye peter-jerry-ye

Shenzhen, China

@bzy-debug
Bao Zhiyuan bzy-debug
@MinecraftFuns
Joe Fang MinecraftFuns
The destiny of a person relies upon self-motivation, but one must also consider the course of history.

University of Toronto Toronto, ON, Canada

@JorisCeulemans
JorisCeulemans

KU Leuven Leuven

@BinderDavid
David Binder BinderDavid
Researcher in type theory and programming languages

University of Kent Canterbury, UK

@JamesGallicchio
James Gallicchio JamesGallicchio
PhD student studying PL/FM. I like building useful abstractions to make programming easier, and formal verification heavily guides that process for me :-)

Carnegie Mellon Pittsburgh, PA

@ammkrn
Chris Bailey ammkrn
@arthur-adjedj
Arthur Adjedj arthur-adjedj
Computer Science student

ENS Paris-Saclay Cambridge, UK

@ayanamists
LI CHENXI ayanamists

MeiTuan Beijing, China

@clemairej
clemairej
@mattecapu
Matteo Capucci mattecapu
Independent Researcher. Applied Category Theory + ε. Retired web dev.

Glasgow, UK

@chrisamaphone
Chris Martens chrisamaphone

Northeastern University

@astrainfinita
Yuyang Zhao 赵雨扬 astrainfinita

CUHK-Shenzhen 香港中文大学（深圳） {Futian, Longgang}, Shenzhen 深圳{福田, 龙岗}

@scmu
Shin-Cheng Mu scmu

Academia Sinica Taiwan

@ErinaSugino
ErinaSugino
Nyan nyan Nekoparaiten

Germany

@maliming
Ma Liming maliming
Software Developer at @volosoft

@Volosoft

@JanetYin
Zhenyun Yin JanetYin
@missuo
Vincent Young missuo
Founder of @OwO-Network. PITT MSCS ’25 Alum. Operator of AS30700, AS60614 and AS206729.

OwO Network, LLC Pittsburgh, PA, U.S.A.

@EduardoRFS
Eduardo Rafael EduardoRFS
A developer
@yunwilliamyu
Yun William Yu yunwilliamyu
Assistant Professor of Mathematics

University of Toronto Toronto, Ontario, Canada

@KonjacSource
KonjacSource KonjacSource
Interested in Type Theory.
@hehao98
Hao He hehao98
Ph.D. Student in Software Engineering

Carnegie Mellon University Pittsburgh, PA, USA

@thomasporter522
Thomas Porter thomasporter522
@heng-zhong-2003
Nicolas H. Zhong heng-zhong-2003
PhD student at UIUC. Research interest in programming languages and formal methods. Currently working on tensor compiler verification. 文武不歧.

University of Illinois Urbana, IL

@Kraks
Guannan Wei Kraks
Assistant professor at Tufts; programming languages, formal methods, compilers

Tufts University

@utensil
Utensil utensil
@PatrickMassot
Patrick Massot PatrickMassot

Paris

@lenianiva
Leni Aniva lenianiva
Don't weep because your code has a bug, smile because it can run.

Stanford University Centaur Lab @stanford-centaur San Francisco Bay Area, Gensokyo

@verhas
Peter Verhas verhas
Senior Software at EPAM Systems

N/A Zürich Switzerland Europe Earth

@lecopivo
Tomáš Skřivan lecopivo
Mathematician interested in physics simulation, computer graphics and numerical methods.
@Glomzzz
Glomzzz Glomzzz
sublime

SERN

@CAIMEOX
CAIMEO CAIMEOX
More is different.

PLCT | Rustica Complex Manifold

@Ruijia0
Florence Fu Ruijia0
@kcrary
Karl Crary kcrary

Carnegie Mellon University

@frankpfenning
Frank Pfenning frankpfenning

Carnegie Mellon University Pittsburgh

@pientka
Brigitte Pientka pientka
@Liu-Reno
红糖 Liu-Reno
@aspiwack
Arnaud Spiwack aspiwack

Tweag Tokyo

@linxuanm
Linxuan M linxuanm
CMU SCS '27 | I write compilers that sometimes work if they decide to be nice to me

Kalimdor, Azeroth

@TimWhiting
Tim Whiting TimWhiting
I'm a PhD student. My research is focused on control flow analysis, and love everything about syntax, compilers, semantics, as well as HCI.

Brigham Young University Provo UT

@daanx
Daan daanx

US

@FeorgeGeorge
Kadanstsev Georgii FeorgeGeorge
Pure Mathematics graduate student, working on formalisation of category theory + mathematical logic

Saint Petersburg, Russia

@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh

@sequencer
Jiuyang Liu sequencer
0x8D7B5A. I work for open source chip design.

Wuhan, China