Skip to content
View hmltn-0's full-sized avatar
12 followers · 95 following

Block or report hmltn-0

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
@nickdesaulniers
Nick Desaulniers nickdesaulniers

Google Mountain View, CA

@teslamotors
Tesla, Inc. teslamotors
@levand
Luke VanderHart levand
@domel
Dominik Tomaszuk domel
@OBOFoundry
The Open Biological and Biomedical Ontologies Foundry OBOFoundry
The Open Biological and Biomedical Ontology (OBO) Foundry is a nexus for community development of interoperable ontologies for the biological sciences
@eriktuck
Erik Anderson eriktuck
Building intelligent systems that connect human and machine intelligence.
@w3c
World Wide Web Consortium w3c
We are an international community that develops open standards to ensure the long-term growth of the Web. Most of our groups do their work here.

World Wide Web

@bugarela
Gabriela Moreira bugarela
Building Quint at @informalsystems

@informalsystems Joinville, SC - Brazil

@amanb2000
Aman amanb2000
Ph.D. Student at Caltech (CNS)

Caltech

@gao-hongnan
Hongnan Gao gao-hongnan

Singapore

@opengql
opengql
@amblafont
Ambroise amblafont
Assistant professor at Ecole Polytechnique

Ecole Polytechnique Palaiseau

@GSheaf
Sheafification of G GSheaf
To see repos associated to YouTube videos, check out @SheafificationOfG

@SheafificationOfG Canada

@xdevplatform
@XDevelopers xdevplatform
Code samples from X Developer Platform

San Francisco, CA

@harsha5500
Harsha Krishna harsha5500
I develop simulation tools and games.

KTH Stockholm

@rxhanson
Ryan Hanson rxhanson
@arvid220u
Arvid Lunnemark arvid220u
@truell20
Michael Truell truell20
@annakaz
Anna Kaz annakaz
cofounder @vana-com

San Francisco, CA

@simplex-chat
SimpleX Chat simplex-chat
SimpleX - the first chat platform that is 100% private by design - it has no access to your connection graph!
@philipp-zahn
Philipp Zahn philipp-zahn
@FabrizioRomanoGenovese
Fabrizio Romano Genovese FabrizioRomanoGenovese
Sleep first think never

20[ ] Italy

@dpl0a
Daniele dpl0a
@20squares
20squares
@GothenburgBitFactory
Gothenburg Bit Factory GothenburgBitFactory
Open source organization. The team bringing you Taskwarrior and Timewarrior, since 2006.
@j3rry85
j3rry85
Speculator & On-chain analyst looking for ways to leverage ChatGPT/AutoGPT for all sorts of analytics, content production & trading automation

Kryptotéka, CryptoQuant Czech Republic

@AlgebraicJulia
AlgebraicJulia AlgebraicJulia
An Ecosystem of Software Based on Generalized Algebra and Category Theory in Julia
@joshsh
Joshua Shinavier joshsh

San Jose, CA

@bdhamilton
Brian Hamilton bdhamilton

Lakeland, FL

@vcvpaiva
Valeria de Paiva vcvpaiva
I am a mathematician and AI Research Scientist. My research interests include category theory, type theories, semantics of NL and lexical semantics.

@ToposInstitute Cupertino, CA

@plt-amy
Amélia Liao plt-amy
Homotopy type theorist ✨

Brazil

@patrick-nicodemus
Patrick Nicodemus patrick-nicodemus
Computational biology in Python and R. Formally verified mathematics in Coq.

University of Pennsylvania Philadelphia, Pennsylvania

@rahulc29
Rahul Chhabra rahulc29
Cubes and realizers 🧊λ

Aarhus Univeristy Aarhus, Denmark

@jmikedupont2
Mike DuPont jmikedupont2
Senior Full stack developer focused on p2p ml ai devops https://linktr.ee/h4km discord account m1337d

@meta-introspector New Jersey

@tkersey
Tim Kersey tkersey
If you'd have asked me when I was 3 what I wanted to be when I grew up I would have said a bologna sandwich

@thisisartium Los Angeles, CA

@h7x4
h7x4 h7x4
@NixOS contributor, active in intervals

@Programvareverkstedet Kyoto, Japan

@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@mightyiam
Shahar "Dawn" Or mightyiam
Author of the Full Time Nix podcast and The Molybdenum Software Show

Chiang Mai, Thailand

@ncfavier
Naïm Camille Favier ncfavier
aka ncf. PhD student working on cubical type theory.

Chalmers University of Technology Sweden

@agda-web
Agda Web agda-web
Bring Agda the interactive proof assistant to the web.

Taiwan

@appliedcategorytheory
Adjoint School appliedcategorytheory
Applied Category Theory Adjoint School
@statebox
Statebox statebox
@CategoricalData
Categorical Data CategoricalData

United States of America

@HallaSurvivor
Christina Grossack HallaSurvivor
Math/Music. She/They.

West Coast USA

@martinescardo
Martin Escardo martinescardo
Professor of Theoretical Computer Science

University of Birmingham United Kingdom

@abooij
Auke Booij abooij
@peterlefanulumsdaine
Peter LeFanu Lumsdaine peterlefanulumsdaine

Stockholm University Stockholm, Sweden

@d-m-silva
d-m-silva
@Julia-Epi
Julia Epi Julia-Epi
Computational epidemiology in @JuliaLang.

@JuliaEpi

@kris-brown
Kris Brown kris-brown
Applied Category Theory research at the Topos Institute Stanford PhD 2021

Topos Institute