Skip to content
View kckennylau's full-sized avatar
40 followers · 3 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Block or report kckennylau

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
@XiaomingX
Y11 XiaomingX
Software Dev @ X | Linux, Java, Spring, Python, Golang, Next.js | Open Source Enthusiast | LLM Innovator | M.Sc. in Software Engineering 🚀

Jobleap.cn Japan

@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

Proxima Technology Japan

@MostWrong
typeØ(wl)female MostWrong
people will have agi before they have electricity thats stable all day - tszzl

your BigMAC address

@rirarika
Lavendula rirarika
@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@Formal-Mathematics-Lab
Formal-Mathematics-Lab

@FormalMathematicsLab

@ndcroos
ndcroos
@lony
Goetz Epperlein lony

Leipzig

@oneofvalts
Abdullah Uyu oneofvalts
Mathematics Graduate
@s-adithya
s-adithya
@briancabbott
Brian Abbott briancabbott
Entrepreneur. I currently live in Bellevue, WA.

Bellevue, WA

@thefundamentaltheor3m
Sidharth Hariharan thefundamentaltheor3m
PhD student at Carnegie Mellon University | MSci Mathematics graduate from Imperial College London

Carnegie Mellon University Pittsburgh, Pennsylvania, United States

@omasanori
Masanori Ogino omasanori

Japan

@pretentious7
pretentious7
@Tiancheng-Luo
Tiancheng-Luo Tiancheng-Luo
@bourbakis
bourbakis
Aggregator of differential programming.

Shanghai

@normful
Norman Sue normful
Toronto → Vancouver → San Francisco → Tokyo → Osaka

Osaka, Japan

@fverse
fverse
@razetime
Raghu R razetime
I do array programming and i mess with programming languages.
@frankymacster
frankymacster
@ThomasHuang168
Thomas Huang Hing Pang ThomasHuang168
Python Dev

@BYLOR-JV

@jiaminglimjm
林嘉铭 ليمْ جيا ميڠ jiaminglimjm
Optimistic hacker at heart. Final-year undergrad at Monash University Malaysia studying Electrical and Computer Systems Engineering.

Selangor, Malaysia

@sann4673
sann4673
@DonaldKellett
Donald Sebastian Leung DonaldKellett
Cloud Technical Specialist at Enfinity Solutions Limited

Enfinity Solutions Hong Kong

@kevindoran
Kevin kevindoran

Brighton, UK

@esa-palosaari
Esa Juhani Palosaari esa-palosaari

Helsinki

@eirirlar
eirirlar
@kevdejong
kevdejong
@alreadydone
Junyan Xu alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.

Heidelberg / Shenzhen

@langston-barrett
Langston Barrett langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.

@GaloisInc Brooklyn

@Girgias
Gina Peter Banyard Girgias
PHP Core developer and Documentation maintainer. Pure Mathematics B.Sc. from Imperial College London I speak 🇬🇧🇫🇷🇩🇪🇯🇵 Amateur photograph

@ThePHPF London, United Kingdom

@quantumgc
Cas Gautam Chaudhuri quantumgc
PhD candidate in Differential Geometry/Mathematical Physics.

Leeds, UK

@harrisonzhu508
Harrison Zhu harrisonzhu508
Assistant Professor @ University of Copenhagen | intern @ Amazon and Shell.ai | PhD from Imperial College London (StatML CDT @ Imperial & Oxford )

Imperial College London Copenhagen

@Cobord
Ammar Husain Cobord
@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)

@ngn
​ codeberg.org/ngn ngn

​

@jcommelin
Johan Commelin jcommelin

— —

@YiqiXu
Yiqi Xu YiqiXu
@physicsnerd
Auden Young physicsnerd
they/them Favorite projects: qc-sim, calculus-notes, and analog-comp. "I love deadlines. I like the whooshing sound they make as they fly by." - Douglas Adams

Andromeda Galaxy, Endor, Forest Moon of Endor

@schas002
Andrew Zyabin schas002
Hi, I'm a something-maker.