Skip to content
View rishistyping's full-sized avatar
👨‍💻
1AU — 1.524AU
👨‍💻
1AU — 1.524AU
226 followers · 1.5k following

Achievements

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

Achievements

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

Highlights

Organizations

@acord-robotics @indigotheory @M-68 @OREL-group

Block or report rishistyping

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 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
@DannyMac180
Dan McAteer DannyMac180
Technology to Benefit Humanity

ACE - aceagent.io Atlanta, GA

@GanjinZero
Zheng Yuan GanjinZero
Ph.D. from THU Center of Statistical Science. Ex: Qwen. Focus on Alignment, Reasoning and Medical in NLP.

Beijing

@Juan5713
Juan Tarazona Juan5713
Robotics Engineer specializing in Computer Vision and Machine Learning

Zurich, Switzerland

@hanqiuli
Hanqiu Li Cai hanqiuli
ETHZ Robotics, Systems & Control
@KovenYu
Hong-Xing "Koven" Yu KovenYu
https://kovenyu.com/
@yazinsai
Yazin yazinsai

Unstoppable, Inc

@zcorpan
Simon Pieters zcorpan
I work at @mozilla on web standards.

Mozilla Sweden

@bendc
Benjamin De Cock bendc
I design and develop user interfaces.

Belgium

@Leask
Sixia "Leask" Huang Leask
break the wall or bring the war

@Intelligent-Internet Ottawa, Ontario, Canada

@sqrt-of-2
√2 sqrt-of-2
Student at Stockholm University. Interested in interactive theorem proving, automated reasoning, and formalising mathematics in Lean.

🇸🇪

@Garmelon
Garmelon
@nomeata
Joachim Breitner nomeata

Lean FRO Freiburg, Germany

@hargoniX
Henrik Böving hargoniX

Lean FRO Munich, Germany

@robsimmons
Robert J. Simmons robsimmons

Boston, MA

@LorenzoLuccioli
Lorenzo Luccioli LorenzoLuccioli

Bologna, Italy

@ldct
Li Xuanji ldct
"A blank sheet of paper equals endless possibilities." - Michael Scott

Pittsburgh

@tydeu
Mac Malone tydeu

Lean FRO United States

@yangky11
Kaiyu Yang yangky11
@durant42040
Ryan Hsiang durant42040
Undergrad @ NTUEE　　　　　　　 SURF fellow @ Caltech

National Taiwan University

@Peiyang-Song
Peiyang Song Peiyang-Song
Incoming PhD @ CMU LTI '31. B.S. CS @ Caltech '26. Researching Verifiable AI @ Apodex. I study Reasoning.

California Institute of Technology Pasadena, CA, United States of America

@pkuzqh
ZHU QIHAO pkuzqh
好好学习天天向上

Peking Univeristy Beijing China

@thtrieu
trieu thtrieu
in between stages in life.
@alreadydone
Junyan Xu alreadydone
Postdoc in math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.

Universität Heidelberg Heidelberg / Shenzhen

@rkirov
Rado Kirov rkirov
recovering academic

Stripe San Francisco

@mayorov-m-a
mayorov-m-a
@kim-em
Kim Morrison kim-em

Canberra

@augustepoiroux
Auguste Poiroux augustepoiroux
@NotPBShaw
PB Shaw NotPBShaw
Council @ Burner Agents | Lead engineer, Polar Security acq. IBM | Cyberlibertarianism | sovereignty maximalist

Burner Agents SF

@aparupganguly
Aparup Ganguly aparupganguly
Growth Engineer @hyperbrowserai ⚡️ Full Stack developer & designer, specializing in LLM integration, React, Next JS & 3D web development

Hyperbrowser India

@enzomanuelmangano
Enzo Manuel Mangano enzomanuelmangano
What's up mobile devs? 🌙

Milan, Italy

@google-labs-code
Google Labs Code google-labs-code
@davideast
David East davideast
Working on @google-labs-code. Stitch and Jules <3

@google-labs-code

@kyegomez
Kye Gomez kyegomez
Founder of swarms.ai

Swarms Palo Alto

@yavorpunchev
Yavor Punchev yavorpunchev
Design engineer designing and engineering

London, UK

@willsather
Will Sather willsather
field eng @vercel. football watcher. star wars enjoyer. divorced dad rock playlist curator. water drinker.

@vercel Minneapolis, MN

@nicoalbanese
Nico Albanese nicoalbanese
AI SDK @ Vercel

@Vercel

@mczhuge
Mingchen Zhuge mczhuge
吾以武侯之魂 ｜ PhD @ KAUST | Ex @facebook @microsoft @alibaba

KAUST Thuwal, KSA

@xiaoyu258
Xiaoyu Li xiaoyu258

Hong Kong University of Science and Technology Hong Kong

@Yeachan-Heo
Bellman Yeachan-Heo
Dedicated Algorithmic Trader Leader of Quant.start() - Korea's biggest Quant Trading Community

@Layoff-Labs Seoul

@mcheemaa
Muhammad Ahmed Cheema mcheemaa
Software Engineer

@sendoso San Francisco

@TheTom
Tom Turney TheTom
Working on LLM inference systems, KV cache compression, and kernel-level optimizations (TurboQuant).

Texas

@seanfromthepast
seanfromthepast seanfromthepast
Sean @ Timepoint

@timepoint-ai

@lnikell
Alex B. lnikell
Software engineer with 10+ years of web development experience. Currently focused on React, Next.js, Gatsby. CEO at Pixel Point.

@pixel-point France

@arnestrickmann
Arne Strickmann arnestrickmann

San Francisco, CA

@TheAndersMadsen
Anders Madsen TheAndersMadsen

AMSolutions Copenhagen, Danmark

@Kyriection
Zhenyu (Allen) Zhang Kyriection
Member of Technical Staff at xAI; PhD from UT Austin

The University of Texas at Austin Palo Alto, CA, USA

@zhuhanqing
zhuHQ zhuhanqing
Ph.D. student at the UT-Austin.

Austin

@mixedbread-ai
Mixedbread mixedbread-ai
AI Research & Development
@swarnim-j
Swarnim Jain swarnim-j

University of Cambridge

@apjacob
Athul Paul Jacob apjacob