Skip to content
View gebner's full-sized avatar
🐌
🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌
🐌
🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌
198 followers · 37 following

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: Pull Sharkx4Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: Pull Sharkx4Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

@NixOS @leanprover @gapt @lean-forward @leanprover-community

Block or report gebner

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@XiaomingX
Y11 XiaomingX
Software Dev @ X | Linux, Java, Spring, Python, Go, Next.js | Open Source Enthusiast | LLM Innovator | M.Sc. in Software Engineering 🚀

Jobleap.cn Japan

@oliversoeser
Oliver Soeser oliversoeser
Computer Science and Maths student, University of Edinburgh class of 2027.

Edinburgh, Scotland

@Gravifer
Tci Gravifer Fang Gravifer
Stars are manual not crawled; it's just mark-and-recapture searching.

Tsinghua University Beijing

@lyftium
lyftium lyftium
Researcher. Physics. DeFi. ML.

LYFTIUM

@24601
Basit Mustafa 24601
You're absolutely right!

CTO @ Procurement Sciences Telluride, CO

@jkpjkpjkp
jkpjkp jkpjkpjkp

4paradigm Haidian, China

@ahuoguo
Alex Bai ahuoguo

New York University

@navidmafi
Navid Mafi navidmafi
software / network engineer and researcher. interested in music and economics

Tehran

@seanjensengrey
Sean Jensen-Grey seanjensengrey

Alpha Quadrant

@SongziB612
SongziB612
@jelspace
21world jelspace
BASIC INCOME is give free money for all , opposite to: forced take VAT tax from all , In prevention from demonetization recession of all humans.

BASIC INCOME is free money for all , opposite to VAT tax , for prevent from demonetization

@faridhasan2020
faridhasan2020
@RitinkarDB
Ritinkar Das Bhaumik RitinkarDB
PhD scholar in Economics. Decision theory, game theory, behavioural and experimental economics

University of East Anglia Norwich

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@coderboyisongithub
Shivanshu coderboyisongithub
Graduate in Computer Science and Engineering
@abol-karimi
Abolfazl Karimi abol-karimi
PhD student in computer science at UNC-Chapel Hill
@MohammedSharukh
Mohammed Sharukh A MohammedSharukh
Maths Teacher @98thPercentile | Ex-Maths Teacher @planetspark | Pentab User 🖋💻 | EdTech | AIED | AI/ML/DL/GNNs | IIT Palakkad '22 | MSc Mathematics

PlanetSpark Kerala, India

@MarkFontenot
Mark Fontenot MarkFontenot
Teaching Professor in the Khoury College of Computer Sciences at Northeastern University

Northeastern University Boston, MA

@LinuxJS
Meow LinuxJS
I code in Python. Will work in @vivasoft-ltd

Multiverse

@zhansong01
Zhan Song zhansong01

University of Maryland, College Park DMV metro

@SeshatCZ
SeshatCZ

Czech republic

@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast

Denver, CO

@salomartin
Martin Salo salomartin
Tech founder with a 15-year track record in AI, merging deep industry knowledge with fresh innovations in my upcoming venture.

London

@Connor9994
Connor Connor9994
@jokerexhuman
Joker jokerexhuman
@RustyCobalt36
Rusty RustyCobalt36
@zeon-neon
Zeon zeon-neon
im @NeonGamerBot-QK bot called zeon.

@NeonGamerBot

@Neustradamus
Neustradamus Neustradamus
@notch1p
Evan Gao notch1p
Caffeine-driven copy/paste-ing master

Shenzhen

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@adityabantwal
Aditya Bantwal adityabantwal
@luuvish
luuvish luuvish

Seoul, Korea

@24kTanmay
Tanmay Roy 24kTanmay
IITK'27

Indian Institute of Technology, Kanpur Kanpur, India

@FermiQ
fermiq FermiQ
Im an InterGalactic Dust Particle; hanging on a Limited LifeSpan; anticipating a LightYr. old Ray of Luv 2 Consummate me with QFT; QT; QC; & Mode Collapsing AMI

Science Neutrino

@owenlamont
Owen Lamont owenlamont
I'm a developer/analyst with interests in data visualisation, machine learning, computer graphics, and Python

OptiGrid Adelaide, Australia

@45p1
45p1
@Zinoujoker
Zine Eddine Zinoujoker
Algerian 🇩🇿 Gaming 🎮 & Tech Enthusiast 🧑‍💻

Algerie

@JoaquinCaporalini
Joaquin Caporalini JoaquinCaporalini

Rosario, Santa Fe, Argentina

@TomasCastroRojas
Tomas Castro Rojas TomasCastroRojas
Estudiante de 5to Año en Licenciatura en Ciencia de la Computacion - FCEIA - UNR

Rosario-Argentina

@snkd
Susant Khadka snkd
@vitalnodo
Vitalii Hordii vitalnodo

Lviv, Ukraine

@Formal-Mathematics-Lab
Formal-Mathematics-Lab

@FormalMathematicsLab

@hotdogontology
Taylor Belcher hotdogontology
Math & CS Teacher, Part-Time CS PhD Student, Amateur Tiny Game Dev

South Carolina Governor's School for Science and Mathematics Hartsville, SC

@isaprykin
Igor isaprykin

San Francisco, CA

@kingZynj
kingZynj
@Laeeth
Laeeth Isharc Laeeth
Hacker and student of markets, geopolitics and health.

Kaleidic Associates Advisory Limited London

@russellkim
jbkim russellkim

HKUST HK

@missAnneThorpe
Anne Thorpe missAnneThorpe
@Vishvam10
Vishvam S Vishvam10
👋 Hi, I’m Vishvam, a Machine Learning Engineer with a love for full-stack development, compilers, and low-level tech.

Machine Learning Engineer @contentstack Chennai, India

@rickcomics
Rick rickcomics
just reading hackers

RickComics Moscow