Skip to content
View alok's full-sized avatar
156 followers · 29 following

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Highlights

  • Pro

Block or report alok

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
@fgdorais
François G. Dorais fgdorais
Ph.D. Mathematics, Dartmouth College, 2007. Working in Logic, Foundations of Mathematics and Theoretical Computer Science

University of Vermont Burlington, Vermont, USA

@lucidrains
Phil Wang lucidrains
Working with Attention. It's all we need

San Francisco

@danielhenrymantilla
Daniel Henry-Mantilla danielhenrymantilla
Thinking about the immortality of the 🦀 https://danielhenrymantilla.github.io

https://www.ditto.live/ France - Spain

@0xJepsen
Jepsen ✨ 0xJepsen
Creating Biodigital Jazz

@Pluto Somewhere in meatspace

@nrimsky
Nina nrimsky

London

@dwrensha
David Renshaw dwrensha

Pittsburgh, PA

@aanjneybeniwal
aanjneybeniwal
@petersn
petersn
@apple
Apple apple

Cupertino, CA

@awalterschulze
Walter Schulze awalterschulze
Projects: facebook/fbthrift, gogoprotobuf, goderive, erlfmt. Interests: LeanProver, Coq, Brzozowski's derivatives.

Meta London, UK

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@lenianiva
Leni Aniva lenianiva
Mind moves matter

Stanford University Centaur Group @stanford-centaur Palo Alto, California, USA

@iterative
Iterative iterative
Developer Tools for AI and ML

United States of America

@joelburget
Joel Burget joelburget
Thinking about programming languages, formal reasoning, and machine learning.

Portland, OR

@evhub
Evan Hubinger evhub
Alignment Stress-Testing Team Lead @anthropics. Previously: @machine-intelligence, @openai, @google, @Yelp, @ripple.

Anthropic San Francisco, California

@enkimute
Steven De Keninck enkimute
(programmer*) minimalist ≅ mathematical experimentalist
@teorth
teorth
@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden

@jasonrute
Jason Rute jasonrute
Former mathematician turned data scientist turned AI researcher. My passion is teaching AI systems to reason, especially in mathematics.

@ibm Greater Boston, MA

@andrejbauer
Andrej Bauer andrejbauer

University of Ljubljana Slovenia

@gwern
Gwern Branwen gwern
@unixpickle
Alex Nichol unixpickle
AI researcher, hobby web developer, math geek. Constantly learning.

OpenAI

@kvfrans
Kevin Frans kvfrans
PhD @ UC Berkeley. Previously at MIT, CrossLabs, Sizigi, Autodesk, OpenAI.

United States

@cbfinn
Chelsea Finn cbfinn

Stanford University

@vladimirias
Vladimir Voevodsky vladimirias
Vladimir Voevodsky died September 30, 2017. This account is maintained in memoriam by Dan Grayson as his academic executor, http://dangrayson.com/.
@danluu
Dan Luu danluu

https://danluu.com Vancouver, BC

@charlesfrye
Charles Frye charlesfrye
@leahneukirchen
Leah Neukirchen leahneukirchen
she/her · they/them

Munich, Germany

@colah
Christopher Olah colah
I want to understand things clearly and explain them well. @openai formerly @brain-research.

San Francisco