Skip to content
View and0sha's full-sized avatar
4 followers · 85 following

Block or report and0sha

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
@byronknoll
Byron Knoll byronknoll

Google California, USA

@opengeos
Open Geospatial Solutions opengeos
A collection of open-source software packages for the geospatial community

United States of America

@nick-murray
Nick Murray nick-murray
I am an Australia-based spatial ecologist focusing on delivering the science necessary to inform large scale environmental management and conservation.

James Cook University Australia

@AIRI-Institute
AI Research AIRI-Institute

Russian Federation

@ByteDance-Seed
ByteDance-Seed
@romanmichaelpaolucci
Roman Paolucci romanmichaelpaolucci
🚀 Master Quantitative Skills with Quant Guild

@Quant-Guild New York, NY

@Mononofu
Julian Schrittwieser Mononofu
AI Researcher. AlphaGo, AlphaZero & MuZero.

Anthropic London, UK

@ilyasu123
ilyasu123
@lean-dojo
LeanDojo lean-dojo
Machine Learning for Theorem Proving in Lean

United States of America

@rishicomplex
rishi rishicomplex
@kolbytn
Kolby Nottingham kolbytn
PhD student at UC Irvine
@MaxRobinsonTheGreat
Max Robinson MaxRobinsonTheGreat
Destroyer of Worlds
@codelion
Asankhaya Sharma codelion
Creator of OptiLLM, OpenEvolve, Adaptive Classifier, and Ellora. Pioneering a new category in AI infrastructure: inference-time compute for LLMs.

CTO @patched-codes Singapore

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

@tigerbeetle Lisbon

@pac-dev
Pierre Cusa pac-dev
@SakanaAI
Sakana AI SakanaAI
On a quest to create a new kind of foundation model based on nature-inspired intelligence.

Tokyo

@matejbalog
Matej Balog matejbalog
Research Scientist at DeepMind

DeepMind London, United Kingdom

@isovector
Sandy Maguire isovector
Author, programmer, musician, trouble-maker.

Victoria, BC

@George-Salafatinos
George-Salafatinos
@vpavlenko
Vitaly Pavlenko vpavlenko
I make music theory accessible. My method is "seeing harmony as flags" in piano rolls. Also I design a programming-oriented CS curriculum for middle school

Yerevan, ՀՀ

@IlyaRice
Ilya Rice IlyaRice

Thailand, Chiangmai

@LaurieWired
LaurieWired
Reverse engineer specializing in cross-platform malware analysis with a focus on mobile threats.
@alfredholmes
Alfred Holmes alfredholmes
DPhil student at the University of Oxford.

UK

@lovishchopra
Lovish Chopra lovishchopra
MS CS, Siebel Scholar at Stanford | D. E. Shaw | Institute Medallist at IIT Kharagpur
@Clats97
Joshua M Clatney Clats97
Legal Professional, Two Way Radio Consultant, Small Business Owner, Ethical Pentesting Enthusiast.

Clats Legal Inc & Reliable Radio Solutions Ottawa, Ontario, Canada

@dwrensha
David Renshaw dwrensha

@icarm Pittsburgh, PA

@Ines2607
Inessa Ines2607
Data analyst with interest to spatial analysis and economic modelling. You can find me through telegram channel @datainthecity

Smarter.Space israel

@James-Oswald
James Oswald James-Oswald
Computer Science PhD student @RPI. Researcher at the @RAIRLab.

@RAIRLab Troy, New York, USA

@werner-duvaud
Werner Duvaud werner-duvaud
Director of AI @ hypr.ai

baguette.ai France

@efficient
Efficient Computing at Carnegie Mellon efficient

Pittsburgh, PA

@dave-andersen
David Andersen dave-andersen
Professor, Carnegie Mellon University. CTO, Enriched Ag.

@brdg-ai , @efficient , Carnegie Mellon University Pittsburgh, PA USA

@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London

@alok
Alok Singh alok
If you’re a smooth operator, you can infinitely differentiate yourself.

Berkeley, CA

@sam-is
Samara-Informsputnik sam-is

Samara, Russia

@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
@mokrayaGISka
mokrayaGISka

Flexatel

@Nowosad
Jakub Nowosad
Geocomputation, Pattern Analysis, Spatial Data Mining, Geostatistics, and R.

Münster, Germany

@Gabesarch
Gabriel Sarch Gabesarch
Carnegie Mellon University
@john-preston
John Preston john-preston

Telegram Messenger

@xet7
Lauri Ojansivu xet7
Wekan and TSC maintainer

Finland

@johannlussange
Johann Lussange johannlussange
Postdoc researcher

École Normale Supérieure 29 rue d'Ulm, 75005 Paris, France

@Gosunov
Alexey Gosunov Gosunov
@gwern
Gwern Branwen gwern
@google-research
Google Research google-research

Earth

@allenanie
Allen Nie allenanie
An RLer, NLPer, functional programmer. CS PhD at Stanford.

Stanford, CA

@scala
The Scala Programming Language scala

Switzerland

@google-deepmind
Google DeepMind google-deepmind
@ornicar
Thibault Duplessis ornicar
Maker of lichess.org, a gay hippie communist chess server for drug fueled transgender atheists.

lichess.org France

@leanprover
Lean leanprover
Lean Prover