Skip to content
View clehene's full-sized avatar
🎯
Focusing
🎯
Focusing

Organizations

@hstack

Block or report clehene

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
@morph-labs
Morph morph-labs
Building the infrastructure for the singularity

United States of America

@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI

@willkurt
Will Kurt willkurt
AI Engineer and author of "Bayesian Statistics the Fun Way" (No Starch, 2019) and "Get Programming with Haskell" (Manning, 2018).

Seattle, WA

@maxitg
Max Piskunov maxitg

PlusAI Sunnyvale, CA

@punkdit
Simon Burton punkdit

Quantinuum Cambridge, UK

@mikeshulman
Mike Shulman mikeshulman

University of San Diego San Diego, CA

@shawntan
Shawn Tan shawntan

MIT-IBM Watson AI Lab Cambridge, MA

@verdverm
Tony Worm verdverm
Developing new ways to develop

@verdverm

@toumix
Alexis Toumi toumix
applied category theory // artificial intelligence // quantum computing
@thesephist
Linus Lee thesephist
Languages and interfaces, interpreters and compilers. Building tools and interfaces to help us think and create.

@thoughtandcraft nyc

@mwillsey
Max Willsey mwillsey
asst prof at uc berkeley

Berkeley, CA

@iagoleal
Iago Leal iagoleal
Generalized specialist

find / -name "Iago Leal"

@konn
Hiromi Ishii konn
Dependent Haskeller / Linear Haskell Advocate, Ph.D. in Math. Writing some Rust for living for a while.

Jij, Inc. @Jij-inc Tokyo

@AlecsFerra
Alessio AlecsFerra
PhD Student @imdea-software

IMDEA Software Institute Madrid, Spain

@mattearnshaw
Matt Earnshaw mattearnshaw

University of Tartu Tartu, Estonia

@sritchie
Sam Ritchie sritchie
@perceptual-ai. Formerly @google AI + ML, @stripe, @twitter, co-founder @racehub. Colorado transplant.

@perceptual-ai Boulder, CO

@AlgebraicJulia
AlgebraicJulia AlgebraicJulia
An Ecosystem of Software Based on Generalized Algebra and Category Theory in Julia
@asperti
Andrea Asperti asperti
Full Professor in Computer Science at the University of Bologna.

University of Bologna Via Mura Anteo Zamboni 7

@matklad
Alex Kladov matklad
Computers, democracy, and nervous disorder.

@tigerbeetle Lisbon

@patrick-kidger
Patrick Kidger patrick-kidger
ML+proteins, sciML, numerics, neural ODEs ╱ building 'scipy w/ autodiff+GPU' in JAX: Equinox, Diffrax, Lineax, etc ╱ solo traveller, martial artist, scuba diver

Cradle.bio Zürich

@prathyvsh
Prathyush prathyvsh
Software Designer

Prabros This spinning rock

@DrBoolean
Brian Lonsdorf DrBoolean

salesforce San Francisco, CA

@albertpod
Albert albertpod
I know Bayes

@lazydynamics Amsterdam

@bvdmitri
Bagaev Dmitry bvdmitri
PhD & Post-Doc in Electrical Engineering, Master & Bachelor in Computer Science, founder of ReactiveBayes, co-founder (former) Lazy Dynamics, skydiver & drummer

Eindhoven University of Technology Eindhoven

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

AWS Seattle

@adamnemecek
adamnemecek
traceoid.ai

traceoid.ai Los Angeles, Prague

@martinescardo
Martin Escardo martinescardo
Professor of Theoretical Computer Science

University of Birmingham United Kingdom

@jonweinb
Jonathan Weinberger jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.

Chapman University Orange, CA

@emilyriehl
Emily Riehl emilyriehl

Johns Hopkins University Baltimore, MD

@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh

@tekknolagi
Max Bernstein tekknolagi
Biking around...

@Shopify Boston, MA

@xieyuheng
Xie Yuheng xieyuheng
rdi rsi rdx rcx r8 r9: diana's silly dog chases rabbits ruthlessly.

China