Skip to content
View overshiki's full-sized avatar
🎯
Focusing
🎯
Focusing
40 followers · 245 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

  • Pro

Block or report overshiki

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. Markdown is supported. 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
@wasabi315
Satoshi Takimoto wasabi315
Functional programming, theorem proving

Japan

@karpathy
Andrej karpathy
I like to train Deep Neural Nets on large datasets.

Stanford

@Kraks
Guannan Wei Kraks
Assistant professor at Tufts University; programming languages, formal methods, compilers

Tufts University

@znb888
Milkice znb888
P.h.D. student on quantum

University of Science and Technology of China

@EmptyJackson
Matthew Jackson EmptyJackson
Machine Learning PhD @ Oxford | Meta & Open-Ended Reinforcement Learning

London, UK

@zhaouv
Youwei Zhao zhaouv
@yuewuo
Yue Wu yuewuo
Computer Science Ph.D. student at Yale
@QuAIR
Quantum AI Research Lab QuAIR
@ORNL-QCI
Oak Ridge National Laboratory Quantum Computing Institute ORNL-QCI
ORNL QCI public quantum computing software projects
@zlatko-minev
Zlatko Minev zlatko-minev
Google Quantum AI; Assoc. Fellow @ CIFAR; Former: IBM Quantum Tech/Team lead; Yale University; UC Berkeley

IBM Quantum California

@QuTone
QuTone QuTone
Building software infrastructure for fault-tolerant quantum computing.
@Zonaldo7
Yuchen Zhu Zonaldo7
PhD student at Northwestern.

Northwestern University Evanston, IL

@chenx820
Chen Huang chenx820
Quantum Computing | PhD Student at CUHK

Open-QI Shanghai and Hong Kong

@czy-ustc
陈致远 czy-ustc
@adiaconu11
Andrei Diaconu adiaconu11

Harvard University Cambridge, Massachusetts

@AFeuerpfeil
Andreas Feuerpfeil AFeuerpfeil
Condensed matter physicist and julia enthusiast, developing open-source software for many-body physics in the @ManyBodyLab organization.

University Of Wuerzburg Wuerzburg

@LaurentRDC
Laurent P. René de Cotret LaurentRDC
Scientific computing, functional programming, and hardtech innovation. Chair of the @haskellfoundation

@bitnomial Montréal

@stefaniatadama
Stefania Damato stefaniatadama
Postdoc

Eötvös Loránd University

@CT075
Cameron Wong CT075
I do cool things, occasionally.
@Adwait-Naravane
Adwait-Naravane
PhD student at Quantum group, UGent Belgium. Working on Tensor networks.

Ghent university Ghent, Belgium

@amirebrahimi
Amir Ebrahimi amirebrahimi
Staff Quantum Software Engineer @PhotonicInc

@PhotonicInc, @Unity-Technologies, @LMNRY Bellingham, WA

@emilyriehl
Emily Riehl emilyriehl

Johns Hopkins University Baltimore, MD

@shumpohl
Simon Humpohl shumpohl
Physicist at RWTH @qutech

Aachen, Germany

@JLenssen
Jerome Lenssen JLenssen

IQM Quantum Computers Finland

@jeltsch
Wolfgang Jeltsch jeltsch
I’m passionate about functional programming, logic, category theory, and more.

@well-typed Tallinn, Estonia

@deepseek-ai
DeepSeek deepseek-ai
@billhails
Bill Hails billhails
First employed as a software developer sometime around 1983, been doing it ever since.

@lovecrafts Royston, Herts, UK

@phyjswang
Junsen Wang (王俊森) phyjswang
@quasiemotion
quasiemotion
@Cambricon
Cambricon Technologies Cambricon
@mattlianje
Matthieu Court mattlianje
@oscarhiggott
oscarhiggott
Research Scientist at Google Quantum AI, working on quantum error correction
@kyegomez
Kye Gomez kyegomez
Founder of swarms.ai

Swarms Palo Alto

@hustvl
HUST Vision Lab hustvl
HUST Vision Lab of the School of EIC in HUST. Lab Lead @xinggangw

Wuhan, China

@Emanon42
Emanon Emanon42
CPDT, CPDT

極東魔術昼寝結社 West Lafayette, IN, US

@UCLA-VAST
UCLA VAST Lab UCLA-VAST

Los Angeles, CA, U.S.

@strymonas
strymonas
Stream Fusion, to Completeness
@Storyyeller
Robert Grosse Storyyeller

@drchrono

@tusharad
Tushar Adhatrao tusharad
Haskell Dev

Baker Hughes Pune, India

@cornell-zhang
Cornell Zhang Research Group cornell-zhang
@SchrodingerZhu
Schrodinger ZHU Yifan SchrodingerZhu
Working!

University of Rochester Rochester, NY, USA

@frmetz
Friederike Metz frmetz

Okinawa, Japan

@raehik
Ben Orchard raehik
夢を抱きしめろ Embrace your dreams

@artificialio computer

@sxzgroup
Shi-Xin Zhang's Research Group sxzgroup
Research Group led by Shi-Xin Zhang at Institute of Physics, Chinese Academy of Sciences (QMIND lab: Quantum Machine Intelligence & Non-equilibrium dynamics)

China

@CHY-i
CHY-i
@travitch
Tristan Ravitch travitch

AWS Denver, CO

@errorcorrectionzoo
Error correction zoo errorcorrectionzoo
Repository and taxonomy of classical and quantum error-correcting codes.
@ndmitchell
Neil Mitchell ndmitchell
Haskell/Rust programmer. All code is open source and licensed by me, not my employer. All views are my own.

Meta Cambridge, UK

@pku-minic
PKU Compiler Course pku-minic
Learn compiler techniques step by step.

Peking University, Beijing, China

@gshen42
Gan Shen gshen42