8000 alok (Alok Singh) / Following · GitHub
[go: up one dir, main page]
Skip to content
View alok's full-sized avatar
212 followers · 68 following

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: 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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@muphrid15
Muphrid muphrid15
@SauersML
SauersML
@girving
Geoffrey Irving girving
Cofounder and Chief Scientist at Resolution. Alignment will be solved, but not necessarily in time. Previously AISI, DeepMind, OpenAI, Google Brain, etc.

Sequent Research Berkeley

@satnam6502
Satnam Singh satnam6502
Functional programming, hardware design and formal specification and verification.

Los Altos, California, United States

@wrsturgeon
Will Sturgeon wrsturgeon

New York City

@Robertboy18
Robert Joseph Robertboy18
Ph.D. Math & CS @caltech | Learning to become a better programmer

Caltech Los Angeles, CA

@JD-P
John David Pressman JD-P

Washington

@bmorphism
Barton Rhodes bmorphism
"Parametrised optics model cybernetic systems, namely dynamical systems steered by one or more agents. Then ⊛ represents agency being exerted on systems"

@plurigrid san francisco

@JonathanGorard
JonathanGorard
@lakigigar
Lior Pachter lakigigar

@pachterlab Pasadena, CA

@syvb
Smitty syvb

Toronto, Canada

@rllin
Randall Lin rllin
member of technical staff

@openai San Francisco

@lehmacdj
Devin Lehmacher lehmacdj
Figuring out how to make abundance enjoyable

Pittsburgh, PA

@quinn-dougherty
Quinn quinn-dougherty
Computer.

Berkeley

@tkxue
tkxue
@kiranandcode
Kiran Gopinathan kiranandcode
Researcher working on proof repair and maintenance

Research Scientist NYC

@RobertHosler
Robert Hosler RobertHosler
developer, gamer, and sometimes artist.

Pittsburgh, PA

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@Tenobrus
Tenobrus Tenobrus
this endless blue sky is driving me insane

sf

@Maknee
Henry Zhu Maknee
🍳🍳🍳
@kim-em
Kim Morrison kim-em

Canberra

@hgoldstein95
Harrison Goldstein hgoldstein95

United States

@for-all-dev
Forall LLC for-all-dev
AI security via formal methods

United States of America

@FrederickPu
FrederickPu
@temporalio
temporal.io temporalio
Open source durable execution system. Write code that’s fault tolerant, durable, and simple.

Bellevue

@Ying1123
Ying Sheng Ying1123

RadixArk Palo Alto

@mikeshulman
Mike Shulman mikeshulman

University of San Diego San Diego, CA

@verse-lab
Verified Systems Engineering Lab verse-lab
Research Group at NUS School of Computing

Singapore

@oOo0oOo
Oliver Dressler oOo0oOo

Switzerland

@ammkrn
Chris Bailey ammkrn
@atlas-ignota
Atlas Ignota atlas-ignota
@shaoweilin
Shaowei Lin shaoweilin

Singapore University of Technology and Design Singapore

@well-typed
Well-Typed LLP well-typed
The Haskell Consultants
@leanprover
Lean leanprover
Lean Prover
@olynch
Owen Lynch olynch
@plp127
Aaron Liu plp127

Pittsburgh, PA, USA

@alexrutar
Alex Rutar alexrutar
Mathematics researcher at the University of Jyväskylä

University of Jyväskylä Jyväskylä, Finland

@elder-plinius
pliny elder-plinius
latent space liberator; prompter, red teamer, hacker, builder, whisperer 𓆩𓆗𓆪

Pliny the Prompter France

@pitmonticone
Pietro Monticone pitmonticone
AI ⇌ Formal Verification @harmonic-ai || Formalising Mathematics and Software in @leanprover || Developing FOSS in @leanprover, @JuliaLang and @python.

Harmonic Italy, United Kingdom, United States

@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
Waylon Jepsen ✨ 0xJepsen
Engineering the way we engineer

San Francisco Compute Company San Francisco

@nrimsky
Nina nrimsky

London

@dwrensha
David Renshaw dwrensha

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

Stellenbosch University Stevenage, UK

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

AWS Seattle

0