这是indexloc提供的服务，不要输入任何密码
Skip to content
View SuperSonicHub1's full-sized avatar
74 followers · 316 following

Achievements

Achievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report SuperSonicHub1

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
@ltratt
Laurence Tratt ltratt
Programmer, researcher. Software Development Team, King's College London

@softdevteam Somerset / London

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

@SheafificationOfG Canada

@SheafificationOfG
Sheafification of G SheafificationOfG
Organisation for YouTube content made by the Sheafification of G

Canada

@bearcove
bearcove bearcove
It's @fasterthanlime and friends doing open-source & teaching Rust

France

@fasterthanlime
Amos Wenger fasterthanlime
hi, I'm amos! 🐿️ co-host of self-directed research podcast 🫐 teacher, video maker, software mercenary ✨ be kind, be curious

@bearcove Lyon, France

@elicit
Elicit elicit
The AI research assistant

United States of America

@stuhlmueller
Andreas Stuhlmüller stuhlmueller
Cofounder & CEO @elicit - scale up good reasoning

Elicit San Francisco, CA

@asterisk-labs
asterisk labs asterisk-labs

United Kingdom

@JasonGross
Jason Gross JasonGross

Theorem San Francisco, California, United States

@CategoricalData
Categorical Data CategoricalData

United States of America

@meshtastic
Meshtastic meshtastic
Open Source, decentralized mesh networking ecosystem

United States of America

@iaddis
Icer Addis iaddis
@olynch
Owen Lynch olynch
@dspivak
David Spivak dspivak
@DavidJaz
David Jaz Myers DavidJaz
A mathematician. Interested in categorical systems theory, modal type theory, and what it means to be a "thing".
@QueueAnd
QueueAnd
@jeltsch
Wolfgang Jeltsch jeltsch
I’m passionate about functional programming, logic, type theory, category theory, and more.

@well-typed Tallinn, Estonia

@mattgodbolt
Matt Godbolt mattgodbolt
Compiler Explorer and jsbeeb creator, ex-Google, ex-games, now trading chap.

@compiler-explorer Chicago, IL

@carreter
Willow Carretero Chavez carreter
Biologist by heart and training, SWE on Google Kubernetes Engine to pay the bills. MIT Class of '24 with a B.S. in Biology.

@googlers Seattle, USA

@Gabriella439
gabby Gabriella439

@MercuryTechnologies San Jose, CA

@rebane2001
Lyra Rebane rebane2001

Estonia

@vectorgraphics
Asymptote vectorgraphics
2D & 3D TeX-Aware Vector Graphics Language

Edmonton, Alberta, Canada

@dwootton
Dylan Wootton dwootton
CS PhD Student at MIT.

@Microsoft Seattle

@KasparEtter
Kaspar Etter KasparEtter
Author at ef1p.com

Zurich, Switzerland

@kenp-io
Ken Pillonel kenp-io
Hardware Prototyping - YouTube

Exploring the Simulation Sàrl Zürich, Switzerland

@mit-dormcon
MIT DormCon mit-dormcon
MIT's Dormitory Council

Cambridge, MA

@AlgebraicJulia
AlgebraicJulia AlgebraicJulia
An Ecosystem of Software Based on Generalized Algebra and Category Theory in Julia
@ToposInstitute
Topos Institute ToposInstitute
@qwell
Jason Parker qwell

@jeltzmedia Hartford, CT

@koka-lang
Koka Language and Related Tools koka-lang
@jdan
Jordan Scales jdan
on a mission to give you superpowers. unsure how i feel about static types.

Notion Hoboken, NJ

@fredrik-johansson
Fredrik Johansson fredrik-johansson
Computer algebra, high-precision arithmetic

INRIA & Institut de Mathématiques de Bordeaux Bordeaux, France

@bag-xml
Mali C. bag-xml
i can do funky stuff on old iphones

Germany

@fwcd
fwcd fwcd
Interested in music, compilers and functional programming. PL enthusiast. @mixxxdj and @swiftlang contributor.
@rexim
Alexey Kutepov rexim
Recreational Programming

@tsoding Novosibirsk

@getlang-dev
GETlang getlang-dev
A query language for the web
@udpcat
Hex udpcat
I make stuff
@openmc-dev
OpenMC openmc-dev
Community-developed Monte Carlo particle transport code
@eepeterson
Ethan Peterson eepeterson
@tpetricek
Tomas Petricek tpetricek
Academic interested in new ways of thinking about programming and history & philosophy of computing. Likes @fsharp, works at @d3sprog & sometimes @fsharpworks.

Charles University Prague

@dingherself
Ding dingherself
PhD student in philosophy

University of Arizona Tucson, AZ

@BeingTransinPhilosophy
Being Trans in Philosophy BeingTransinPhilosophy
Trans people and our loved ones are not okay -- in, with, and because of academic philosophy. Being Trans in Philosophy tells these stories firsthand.
@darklang
darklang darklang
Darklang is a project to allow you build cloud backends and CLIs with no bullshit: no thinking about infra, no devops, just code.
@AeneasVerif
AeneasVerif
@3DRudder
3DRudder
@dtemkin1
Diego Temkin dtemkin1

MIT '26 Cambridge, MA

@Sovannjet
variliumn Sovannjet
Has taken AP Computer Science Principles and AP Computer Science A. Likes messing around in Python.
@jlogan03
James Logan jlogan03
Scientific software for superconductors & fusion energy by day, embedded data acquisition systems by night. Propulsion engineer in a previous life.
@ag2718
Aarush Gupta ag2718
Studying Computer Science and Eng, Physics at MIT — passionate about AI, software + systems engineering, hardware engineering (digital design).

MIT Cambridge, MA

@mit-plv
Programming Languages and Verification Group at MIT CSAIL mit-plv

MIT CSAIL, Building 32–G8