Skip to content
View kbuzzard's full-sized avatar
862 followers · 0 following

Achievements

Achievement: Starstruckx3Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Starstruckx3Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@leanprover-community @IMO-grand-challenge

Block or report kbuzzard

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

@goodokumar084-dotcom
Goodo Kumar goodokumar084-dotcom
SDE
@elibobcoder
Eli Campos elibobcoder
JavaScript/TypeScript Enthusiast | Senior Fullstack Engineer | Senior Frontend Engineer | Frontend Architect

@eliitconsulting United States

@klckerim
Abdulkerim Kılıç klckerim

İstanbul

@Kregvler
Kregvler
Just making stuff.
@dawahaan
Dawa Hang dawahaan
Self Learner." Passionate about creativity, self-improvement, and exploring the tech future.

Nepal

@polerpg
polerpg
@FlAmmmmING
Jasin FlAmmmmING

East China Normal University Xuhui District, Shanghai, China

@Bernoulli-G-Jiro
Bernoulli-G-Jiro
@lutralutraq77
lutralutra lutralutraq77
An amateur programmer with a particular interest in mathematics.
@Ig-dolci
Daiane Iglesia Dolci Ig-dolci
Research associate in computational mathematics. My contributions have taken form within the open-source Firedrake project.

Research Associate Imperial College London

@Anchor2050
Zhengwen Anchor2050
phd student now

University of Liverpool Liverpool

@0stellensatz
Hyeon, Seung-Hyeon 0stellensatz

Tokyo, Japan

@RuoranXu
Ruoran Xu RuoranXu
My interests widely cover AI4Math | Undergraduate in XJTLU
@zzhisthebest
Zhang Zihao zzhisthebest
A master's student in Nanjing University .

Nanjing University Nanjing University

@boskozerajic
boskozerajic
@srghma
Serhii Khoma srghma
All life = autocatalyst (cat + mol that cr cat) -> molecular-robot-selfreplicator -> ... -> universal explainer. We can live ∞ (but iff Open Soc of Karl Popper)
@alvovich
Andrei Sorokin alvovich

Dallas

@kg583
KG kg583
Skilled in Python, number theory, code golf, and messing about with calculators. Judge for IOPCC. Co-founder and developer of @TI-Toolkit.

University of Virginia | TI-Toolkit Charlottesville, VA

@TrizlyBear
Tristan TrizlyBear

Netherlands

@wrsturgeon
Will Sturgeon wrsturgeon
CS & Cognitive Science @ UPenn

Los Angeles

@chinglinwen
chinglin chinglinwen
Take tremendous effort to be lazy !
@lanmaker
ding lanmaker
@saismrutiranjan18
Sai Smruti Ranjan Das saismrutiranjan18
💻 Full Stack Dev | CompSci Undergrad | Java | Open Source Enthusiast | Building cool stuff.

Medicaps University Indore, India

@nungus
nungus
@CharlesAverill
Charles Averill CharlesAverill
UTD CS PhD, losing my mind grading

@SoftwareLanguagesSecurityLab Dallas

@thepunkfloydius
Ramazan Ayupov thepunkfloydius

International Laboratory for Logic, Linguistics and Formal Philosophy

@rikoxu01
Riko rikoxu01

London

@nikitachaudharicodes
Nikita nikitachaudharicodes
AI @ Carnegie Mellon SCS || looking for full-time Machine Learning Engineer roles from 2026.

School of Computer Science, Carnegie Mellon University USA

@kilenicandroabellanoroxas25-glitch
Kile Nicandro A. Roxas kilenicandroabellanoroxas25-glitch
College Student in Bicol University College of Science, Bachelor in Science in Computer Science, President of Block 1B

Bicol University Daraga, Albay

@fraware
Matéo H. Petel fraware
Curiosity. ________________________________________________________________________________________ Stanford | NASA JPL | Oxford | ENS

Stanford

@PetrosDiomedous
Petros Diomedous PetrosDiomedous

Nicosia, Cyprus

@EastSun5566
Michael Wang 汪東陽 EastSun5566
// TODO: fix my life

@hackmdio Taipei, Taiwan

@readleyj
readleyj
@ldgaetano
Luca D'Angelo ldgaetano
I like physics+math+cs+history. life=family+friends+work+fun+love

Montréal, QC

@dzetalabs
RustamHurmatulliin dzetalabs

DzetaLabs Russian Federation

@alirezaghnz
alirezaghnzd alirezaghnz

Mazandaran & Tehran

@ley23022-star
ley23022-star
@JasonZhu314
Jason Zhu JasonZhu314
Sophomore at School of Mathematical Science, Peking University. Obsessed with computational science and AI.

Peking University, SMS Beijing, China

@josh28x
josh28x
@19-front
19-front 19-front
🚀code to the red planet🟠

Riyadh

@rixmape
Rix Mape rixmape
I'm a professorial lecturer in the Department of Computer Science, College of Science, Bicol University.

Bicol University Bicol, Philippines

@kallehed
Karl Hedberg kallehed
Programmer C++/C Rust ...
@metagamma
Dante Moisés Tataje Granda metagamma
Abstraction is leverage; computation is inevitable.

Lima, Perú

@Gravifer
Tci Gravifer Fang Gravifer
Bikeshed critic

Tsinghua University Beijing

@nguyenvukhang
Khang nguyenvukhang

Singapore

@caruih
caruihnugte caruih
@suyoung247
Suyoung Kim suyoung247
Web Frontend Developer

Seoul, Korea

@a-dangelo
ADA a-dangelo
Hi! I'm Alessandro, Math PhD working on AI and ML engineering and formal verification. Building reliable agentic systems and verification tooling.
@jwyh16
jwyh16