Skip to content
View alexjbest's full-sized avatar
🐢
🐢
54 followers · 80 following

Achievements

Achievement: StarstruckAchievement: YOLOAchievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: YOLOAchievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@leanprover-community @PCMI22

Block or report alexjbest

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
@24601
Basit Mustafa 24601
You're absolutely right!

CTO @ Procurement Sciences Telluride, CO

@zhansong01
Zhan Song zhansong01

University of Maryland, College Park DMV metro

@justincasher
Justin Asher justincasher
Math AI

Fort Wayne

@MohammedSharukh
Mohammed Sharukh A MohammedSharukh
Maths Teacher @98thPercentile | Ex-Maths Teacher @planetspark | Pentab User 🖋💻 | EdTech | AIED | AI/ML/DL/GNNs | IIT Palakkad '22 | MSc Mathematics

PlanetSpark Kerala, India

@estradilua
Lua estradilua
Master student in ergodic theory who also likes computers. Type 1 diabetic.

ICMC/USP Brasil

@beike-zh
beike-zh
@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@seewoo5
Seewoo Lee seewoo5
Graduate student in Mathematics

Berkeley, CA

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

Carnegie Mellon University Pittsburgh, Pennsylvania, United States

@seniorreactjsdeveloper
Senior React.js Developer seniorreactjsdeveloper
Experienced Senior React.js Developer dedicated to building awesome web applications. Proficient in 🌟 React.js, 🚀 Next.js, and ⚙️ Node.js 💻🚀 @mustafacagri

React Companies ✈️ 🌎

@AnirudhMaiya
Anirudh Maiya AnirudhMaiya
ᄽ○・○ᄿ

University of Colorado Boulder Boulder, CO

@Formal-Mathematics-Lab
Formal-Mathematics-Lab

@FormalMathematicsLab

@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

Proxima Technology Japan

@InterdisciplinaryPhysicsTeam
Interdisciplinary Physics Team (InPhyT) InterdisciplinaryPhysicsTeam
Modeling complex systems via @JuliaLang and @python: Computational Social Science📱| Computational Epidemiology 🦠 | Computational Neuroscience 🧠.

University of Turin Turin, Italy

@briancabbott
Brian Abbott briancabbott
Entrepreneur. I currently live in Bellevue, WA.

Bellevue, WA

@hotdogontology
Taylor Belcher hotdogontology
Math & CS Teacher, Part-Time CS PhD Student, Amateur Tiny Game Dev

South Carolina Governor's School for Science and Mathematics Hartsville, SC

@anandijain
anand jain anandijain
cs music p=np

San Jose CA, Boston MA

@jjgarzella
Jack J Garzella jjgarzella
I am a Math PhD Student at UCSD. I started off programming iOS Apps in Objective-C, and I'm a huge fan of Swift, Julia, and Rust.
@Paul-Lez
Paul Lezeau Paul-Lez
Researcher @ Google DeepMind & PhD student @ LSGNT (Imperial College, joint with King's College London and University College London)
@AFMcNeely
AFMcNeely
@AashrayaJha
AashrayaJha
@soraros
soraros
@greydoubt
-- greydoubt
🛸　.　　•. 　🌎　°　.•　🌓　•　　.°•　　•　🚀 ✯. •. . •. 　.　•　★　*　　　　　°　　.　　🛰 　°·　　•.      ๏        .•       🪐 .　•　•　° ★　•  ☄. ๏ •. . •.

Mars

@tdupu
Taylor Dupuy tdupu
Assistant Professor, Department of Mathematics and Statistics, University of Vermont --- last updated Fall 2019

University of Vermont Burlington, VT

@joy-rosie
joy-rosie
@art-waeterschoot
art-waeterschoot
@grhkm21
grhkm21
There is only one me! b0e30c25d9bf8e20f2e9810adda61ba85452d4e7
@edgarcosta
Edgar Costa edgarcosta

Massachusetts Institute of Technology

@alainchmt
Alain Chavarri alainchmt
@mo271
Moritz Firsching mo271

Google Research Basel, CH

@luisscastillo
Luis Castillo luisscastillo
BSc Mathematics and Physics at UAB

Universitat Autònoma de Barcelona Barcelona, Catalunya

@TimoKellerMath
Timo Keller TimoKellerMath
Researcher working in (computational) arithmetic geometry.

Universität Würzburg Würzburg, Germany

@mlopez3
Miguel Lopez mlopez3
PhD student at UPenn.
@Vilin97
Vasily Ilin Vilin97
Math & CS

University of Washington Seattle

@chabulhwi
Bulhwi Cha chabulhwi
I aim to create video games and other media for learning STEM disciplines.

Semmalgil Seoul, Republic of Korea (South Korea)

@huynhtrankhanh
Huỳnh Trần Khanh huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be

@rocq-community Vietnam

@jeremy9959
Jeremy Teitelbaum jeremy9959
I am a Professor of Mathematics at the University of Connecticut.

University of Connecticut College of Liberal Arts and Sciences Storrs, CT

@CBirkbeck
Chris Birkbeck CBirkbeck
@adelon
adelon

0° 0′ 0″ N, 0° 0′ 0″ E

@KayaEnis
Enis Kaya KayaEnis

KU Leuven

@gallettilance
Lance Galletti gallettilance
Passionate about AI safety, Privacy, and Typed Functional Programming. I make Data Science videos sometimes.

Red Hat | Boston University

@manamiroy
Manami Roy manamiroy

Lafayette College

@horenbergerb
Beau Horenberger horenbergerb
Mathematician working in machine learning. Specializing in ML for Runescape, apparently.
@jcommelin
Johan Commelin jcommelin

— —

@bmatschke
Benjamin Matschke bmatschke
@RodericGuigoCorominas
Roderic RodericGuigoCorominas

Harvard Boston

@carlosal1015
Oromion carlosal1015
My interests ⊆ Mathematics ∩ LaTeX.

National University of Engineering Peru

@renaissancenerd
Vatsal Limbachia renaissancenerd
Math || Physics || Programming

Germany

@ryankeleti
ryan ryankeleti
dreaming atop a drifting plank

New England

@jacksonwalters
Jackson Walters jacksonwalters
mathematician, programmer

United States