Skip to content
View soonhokong's full-sized avatar
116 followers · 9 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Highlights

Organizations

@leanprover @dreal @snu-sf

Block or report soonhokong

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
@Gravifer
Tci Gravifer Fang Gravifer
Stars are manual not crawled; it's just mark-and-recapture searching.

Tsinghua University Beijing

@oliversoeser
Oliver Soeser oliversoeser
Computer Science and Maths student, University of Edinburgh class of 2027.

Edinburgh, Scotland

@MG1937
MG193.7 MG1937
道分左右,义无旁支

ByteDance

@zhansong01
Zhan Song zhansong01

University of Maryland, College Park DMV metro

@justincasher
Justin Asher justincasher
Math AI

Palo Alto, CA

@24601
Basit Mustafa 24601
You're absolutely right!

CTO @ Procurement Sciences Telluride, CO

@oojahooo
Jaeho Kim oojahooo
Scientist

ENERZAi Seoul, Republic of Korea

@jkpjkpjkp
jkpjkp jkpjkpjkp

4paradigm Haidian, China

@Tanya050831
白桂雨 Tanya050831
@hancheolcho
Han-Cheol Cho hancheolcho
AI Research Engineer @upstage. Specialized in ML/DL, I am passionate about creating advanced Home AI Assistants with multimodal LLMs.

Upstage Seoul

@duncan020313
Dongjae Lee duncan020313
Graduate Student at the School of Computing, KAIST

KAIST ProsysLab Daejeon, South Korea

@bongjunj
Bongjun Jang bongjunj
I type and verify.

Daejeon, Republic of Korea

@zeon-neon
Zeon zeon-neon
im @NeonGamerBot-QK bot called zeon.

@NeonGamerBot

@abol-karimi
Abolfazl Karimi abol-karimi
PhD student in computer science at UNC-Chapel Hill
@jamestiotio
James R T jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke

@facebook The edge of knowing

@LinuxJS
Meow LinuxJS
I code in Python. Will work in @vivasoft-ltd

Multiverse

@pedrovian4
Pedro Viana pedrovian4
Software Engineer.

@thetaharpia Brazil

@SeshatCZ
SeshatCZ

Czech republic

@himhan34
saehan Lee/SLAM in the hazardous environments himhan34
Interested in robot exploration and SLAM

FuroLAB(Field and Underwater robotics Lab) Kyungpook National University (KNU)

@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast

Denver, CO

@dongjae0107
Dongjae Lee dongjae0107
Ph.D. student at @RPM-Robotics-Lab, Seoul National University

Seoul National University Seoul, S.Korea

@brcfarias
Bruno Farias brcfarias

The University of Manchester Manchester

@salomartin
Martin Salo salomartin
Tech founder with a 15-year track record in AI, merging deep industry knowledge with fresh innovations in my upcoming venture.

London

@Connor9994
Connor Connor9994
@kunalsheth
Kunal Sheth kunalsheth
@jaalonso
Jose A. Alonso jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.

Universidad de Sevilla Sevilla (España)

@zhixing-xu
zhixing-xu
PHD candidate in Princeton University ELE Department
@wuc9521
Chentian Wu wuc9521
Math + CS Undergrad @UW-Madison

University of Wisconsin-Madison Madison, WI

@Hughshine
Xuyang Li Hughshine
FM, SE, PL, CS, HCI. rising 2nd year Phd Student @Purdue.

West Lafayette

@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

@FermiQ
fermiq FermiQ
Im an InterGalactic Dust Particle; hanging on a Limited LifeSpan; anticipating a LightYr. old Ray of Luv 2 Consummate me with QFT; QT; QC; & Mode Collapsing AMI

Science Neutrino

@Formal-Mathematics-Lab
Formal-Mathematics-Lab

@FormalMathematicsLab

@jeongsoolee09
Jeongsoo Lee jeongsoolee09
CodeQL @github

GitHub Queens, NY

@Laeeth
Laeeth Isharc Laeeth
Hacker and student of markets, geopolitics and health.

Kaleidic Associates Advisory Limited London

@yogurt-shadow
Zhonghan Wang yogurt-shadow
PhD Student at University of Toronto.

University of Toronto Beijing, China

@ngundotra
Noah Gundotra ngundotra

@solana-foundation

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@aabayomi
abayomi aabayomi

Austin,Texas

@taimoon
Leong Teng Man taimoon
兴趣使然

Malaysia

@shigoel
Shilpi Goel shigoel
Applied Scientist at AWS

Austin, TX

@atodekangae
atodekangae
Software Engineer

Japan

@GuyRichei
Canales Bazares GuyRichei
Polaroids on the floor. Magic after.
@omasanori
Masanori Ogino omasanori

Japan

@Thoth87
varList Thoth87
@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

Proxima Technology Japan

@machaddr
André Machado machaddr
LOADING… █▒▒▒▒▒▒▒▒▒ 10%

@liberolinux @Falanet /dev/earth0

@kimtg
KIM Taegyoon kimtg

Seoul, Republic of Korea

@DPS0340
Jiho Lee DPS0340
Aspiration

@MondrianAI @SW-Maestro-OSS Seoul, Republic of Korea

@ethever
ethever.eth ethever
what's up

Shenzhen China

@andrew-werdna
Andrew Brown andrew-werdna
Software Engineer and Math enthusiast

Austin, Texas