Skip to content
View sambellet's full-sized avatar
11 followers · 50 following

Block or report sambellet

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
@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@rasbt
Sebastian Raschka rasbt
AI Research Engineer working on LLMs.
@freestatman
Freeman Wang freestatman
Use R/Shiny in Pharma and Life Science. Biostatistic, Oncology, Biomarker, Bioinformatics, Stat/ML, Viz, Vim, VScode, Linux. Views are my own.

@Sanofi-GitHub

@pkp
Public Knowledge Project pkp
This is the official Github account for PKP. We track most software milestones in the pkp-lib repository (pinned below).

The Internet!

@emaballarin
Emanuele Ballarin emaballarin
PhD candidate in Deep Learning. Representations, robustness, empirical methods, kernels, physics & neuroscience. Overenthusiastic tinkerer.

@ailab-units | @UCLComputerScience London, UK

@duvenaud
David Duvenaud duvenaud

University of Toronto

@PrincetonLIPS
Princeton Laboratory for Intelligent Probabilistic Systems PrincetonLIPS
Ryan Adams' research group at Princeton University.

Princeton, NJ

@HIPS
Formerly: Harvard Intelligent Probabilistic Systems Group -- Now at Princeton HIPS
Ryan Adams' research group. Formerly at Harvard, now at Princeton. New Github repositories here: https://github.com/PrincetonLIPS

Princeton University, Princeton, NJ

@Jiaoyang-Li
Jiaoyang Li Jiaoyang-Li
@agitter
Anthony Gitter agitter
Associate professor in Biostatistics and Medical Informatics at the University of Wisconsin-Madison; Investigator at the Morgridge Institute for Research
@SpikeAI
SpikeAI SpikeAI
Event-Based Artificial Inteligence
@zotroneneis
zotroneneis zotroneneis

inovex Bonn, Germany

@LeelaChessZero
LCZero LeelaChessZero
@oblivia-simplex
Olivia Lucca Fraser oblivia-simplex

Halifax

@b-mehta
Bhavik Mehta b-mehta
Chapman Fellow in Mathematics at Imperial College London

London

@mo271
Moritz Firsching mo271

Google Research Basel, CH

@colah
Christopher Olah colah
I want to understand things clearly and explain them well. Interpretability at Anthropic. Formerly OpenAI, Google Brain.

Anthropic San Francisco

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

San Francisco

@HPQC-LABS
HPQC Labs HPQC-LABS
High Performance & Quantum Computing. We solve problems on classical & quantum computers. Areas are: Physics, Chemistry, Health Science, Medicine, Computation
@MixedMatched
alessandra simmons MixedMatched
compilers, pl, and formal methods enthusiast / cs+philosophy major at northeastern / curry-howard-brained
@moble
Mike Boyle moble

Cornell University Ithaca, NY

@eric-wieser
Eric Wieser eric-wieser

@google-deepmind Greater London area

@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London

@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh

@rchastain
Roland Chastain rchastain
Pascal chess programs etc.

France

@zaixizhang
zaixizhang zaixizhang
I am Zaixi Zhang, AI2 Fellow at Princeton AI Lab. I previously obtained my PhD degree from USTC and exchanged at Harvard.
@HoTT
Homotopy Type Theory HoTT
@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@BTernaryTau
BTernaryTau
@benjub
Benoit benjub

Paris, France

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

@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
@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

@homotopy-io
homotopy.io homotopy-io
A proof assistant implementing the theory of associative n-categories
@CSSLab
CSSLab
Computational Social Science Lab @ UofT

University of Toronto

@ornicar
Thibault Duplessis ornicar
Maker of lichess.org, a hippie communist chess server for drug fueled atheists.

lichess.org France

@vadimnazarov
Vadim I. Nazarov vadimnazarov
Designing ML & LLM systems for complex data – immunobiology, drug discovery, health, and enterprise

Helmholtz Munich Munich, DE | Warsaw, PL

@johanneskoester
Johannes Köster johanneskoester
Professor for Bioinformatics and Computational Oncology

University of Duisburg-Essen Essen, Germany

@LACoNIC-UniTS
LACoNIC @ UniTS LACoNIC-UniTS
Liminal Approaches to Cognitive and Neuro-Inspired Computation (autocephalous and fuzzy subgroup of @ailab-units)

Italy

@latex3
The LaTeX Project latex3
@palfrey
Tom Parker-Shemilt palfrey
Polyglot developer. Ex-academic. Parent. OpenUK 2025 Honours list recipient. Rust and Python mostly (although I know a lot of other things). He/him/his.

London, UK

@s3bk
Sebastian s3bk
Physicist, self-taught Computer scientist, permaculture enthusiast.

Remote

@RagnarGrootKoerkamp
Ragnar Groot Koerkamp RagnarGrootKoerkamp
Hacking on comp.bio.

ETHZ Zurich

@Daniel-Liu-c0deb0t
Daniel Liu Daniel-Liu-c0deb0t
cs boi @ucla | prev genomics/rust/ml @google, @10XGenomics | uwu
@He1pa
He1pa He1pa
Rustacean, Program Language, Compiler, IDE/LSP, Web3, Smart Contract, AI, Formal Verification

Ant Group Hangzhou, China

@noamteyssier
Noam Teyssier noamteyssier
Bioinformatics at the intersection of systems biology, machine learning, and functional genomics.

Arc Institute San Francisco, California

@rarthub
RArt rarthub
A new dimension in modern art.
@rust-bio
Rust-Bio rust-bio
A bioinformatics library for the Rust language.