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

Sponsors

@PhotonQuantum
@LLLgoyour
@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 @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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
@qr243vbi
qr243vbi
@el-ev
Iris Shi el-ev

Here

@trezoa-labs
Trezoa-Labs trezoa-labs
Building Trezoa — deterministic blockchain infrastructure for real money. Focused on validator reliability and post-quantum security.

Trezoa Labs Delaware, USA

@heap-s
heap-s heap-s
Malware/C2 Developer

127.0.0.1

@Cicada2Jx
yolo Cicada2Jx
@aikoryu
Aiko Ryu aikoryu
Hello, Aiko here! Welcome to my space! I am particularly interested in type theory, array programming languages, and provers.

Here

@segment-tree
segment-tree
@yushijinhun
Haowei Wen yushijinhun

Robotics Institute, Carnegie Mellon University Pittsburgh

@sushi-shi
sushi-shi

Gensokyo

@garkeen
garkeen garkeen
The word is the world.
@LinBlink
洛克里亚的五度 LinBlink
always a learner . 学无止境。
@steinerkelvin
Kelvin Steiner steinerkelvin
computer nerd · descentralization-ist · FOSS

Brasil

@dioptx
Dennis P dioptx
Surfing on/off-chain Before data @binance, @glassnode, @optimism, @Arkham | All neural outputs are my own or my dog

Athens, Greece

@NoughtQ
Ziyang Qian NoughtQ
Junior @zju, majoring in CS, now interning at miHoYo

Zhejiang University Shanghai, China

@Moxxkidd
Doma Moxxkidd

Columbus Ohio

@chefZau
Luca Zhou chefZau
Data Engineer @TDBANK

TD Bank Toronto

@eeoeqaq
eeoe eeoeqaq

Wuhan University

@HelenaCarva
Katarzyna Wojciechowska HelenaCarva
Software engineer with a passion for building secure and scalable systems. Focusing on cybersecurity and data engineering.

Vancouver, Canada

@EchoSingh
Aditya Singh EchoSingh
Intern @nokia | Leading Machine Learning projects @MLNexusHub and major project @ReliefChain-Alliance

@nokia @MLNexusHub @ReliefChain-Alliance Bengaluru

@inuEbisu
犬戎 inuEbisu
And miles to go before I sleep

Zhejiang University Hangzhou, China

@minamorl
minamorl minamorl
language wizard

codeTakt Tokyo, Japan

@LessUp
Lessup LessUp

shenzhen

@iousuz
iousuz
@DUETDUCK                                            
@th1nk3rrr-dev
th1nk3rrr-dev
@foxerlot
Gregory Palamas foxerlot
Food editor, vim artist, wizard

enron Thule

@ylzshaha
ylzs ylzshaha
binary security learner
@Laurie-Rathbone
Laurie Rathbone Laurie-Rathbone
Technical Recruiter | Hiring Software Engineers (Frontend, Backend, Full Stack) Open to connecting with developers & open-source contributors

Fourier Ltd London

@ZChenW
ZChenW
Hi !
@snomiao
sno snomiao
It's lucky to meet you!

@Comfy-Org Earth

@PhysShell
PhysShell
@cy-Clinder
cyClinder cy-Clinder
Hi, I'm cyClinder. Could you be my friend? 🎀
@Yanwensiyi
Yanwensiyi Yanwensiyi
Ciallo～(∠・ω< )⌒★

Tianmen

@himasaif
Himasaif himasaif
Backend Developer | Node.js • Express • TypeScript | REST APIs • Auth • Databases

helwan Cairo, Egypt

@LETWEAREGO
505 LETWEAREGO
I am a computer science and technology novice with a passion for coding and problem-solving. Although I do not have much experience, I am working hard to learn
@aosjmi
aosjmi
@kontheocharis
Constantine Theocharis kontheocharis
In pursuit of corectnes

University of St Andrews UK

@ExSrc
Excellent Source ExSrc
Please ignore this one...
@Nellousan
Nell Fauveau Nellousan
Computer Science Graduate from Epitech Rennes, France

Epitech Rennes France

@MciG-ggg
MciG-ggg MciG-ggg

China Changsha

@niushufeng
niushufeng
@HoshinoKoji
HoshinoKoji
PhD candidate at Center for Life Sciences, PKU. Interested in cognitive modeling, mathematics, languages, and software engineering.

Peking University Beijing

@LustraI
LustraI
main @Azresash . ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀~=~⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀ ⠀ ⠀spam follower block2unfollow

visit --> @ringmasterr + @Sharooh

@hargup
Harsh Gupta hargup
@Giorgi014
Giorgi014
Front-End Developer

Georgia

@montmorill
montmorillonite montmorill
Just a stone.

Jinan, Shandong, China

@MingMing42hours
Leo MingMing42hours

Transhumania

@missAnneThorpe
Anne Thorpe missAnneThorpe
@zs-jack
zs-jack
@vmmc2
Victor Miguel de Morais Costa vmmc2

Recife, Brazil

@ChanonTonmai
Chanon Khongprasongsiri ChanonTonmai
🐱

Thailand