Skip to content
View gares's full-sized avatar
💭
hacking
💭
hacking
98 followers · 2 following

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Organizations

@rocq-prover @math-comp

Block or report gares

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
@alxbnct
Yosef Weissmann alxbnct
@jgarte
Jorge Gomez jgarte

Madison, WI

@nholuongut
Nho Luong nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳 - Vietnam DevOps Engineer Lead - Vietnam Timeless Charm - Enjoy Every Moment

DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam

@chin0
Kafuuchin0 chin0
strong doge/ interested in kernel exploit, PL, guitar

incheon, Republic of Korea

@Zeta611
Jay Lee Zeta611
Programming programming languages 🪄 λᠻ.(λ᥊.ᠻ(᥊ ᥊))(λ᥊.ᠻ(᥊ ᥊))

@ropas @KoreanTUG Seoul, Republic of Korea

@senthil28
senthil28
@SuperSonicHub1
Kyle Anthony Williams SuperSonicHub1
Just a guy manipulating streams of binary into something neato. MIT '27

@mit New York

@ebresafegaga
Gaga ebresafegaga
@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@stepbrobd
StepBroBD stepbrobd
λƒ.(λ𝑥.ƒ(𝑥 𝑥))(λ𝑥.ƒ(𝑥 𝑥))

@Inria Grenoble, France

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

Xanadu Canada

@lzy0505
Zongyuan Liu lzy0505
PhD student in formal verification

@logsem Aarhus

@HectorGalindoPedraza
Héctor Galindo - hecgph HectorGalindoPedraza
dev.js

Boyacá, Colombia

@libeidihuhuhu
Beidi Li libeidihuhuhu
Knowledge Representation and Reasoning / Human-centric Architectural Design

Copenhagen, Denmark

@hehelego
hehelego hehelego
stay focused,be motivated. It is either meaningful or inspiring otherwise just a waste of time.
@jameshaydon
James Haydon jameshaydon

Imiron Tokyo, Japan

@FissoreD
Davide Fissore FissoreD
@jmikedupont2
Mike DuPont jmikedupont2
Senior Full stack developer focused on p2p ml ai devops

@meta-introspector New Jersey

@pamellies
Paul-André Melliès pamellies

IRIF, CNRS, Université Paris Cité, INRIA Paris, France

@maxbyz
Gkoran Stoilkovits maxbyz
Gkoran Stoilkovits-Visual Artist who make paintings, sculptures, byzantine icons, printmaking. Enthusiastic about coding and self-taught, amateur programmer 😊

Atelier Stoilkovits Porto Heli, GREECE

@ptorrx
ptorrx
@sambacha
sam bacha sambacha
@sambacha on telegram https://x.com/@blockrotator https://blockrotator.substack.com

@manifoldfinance

@filippog
Filippo Giunchedi filippog

@wikimedia Intartubes

@beike-zh
beike-zh
@loic-p
Loïc Pujet loic-p
@odanoburu
bc² odanoburu
[...]

rio

@digzom
Dickson Melo de Morais digzom
Country boy living in a big world.

IdopterLabs Natal, RN, Brazil.

@noghartt
Guilherme noghartt
23yo.

@firefliesai 127.0.0.1

@cyberglot
april cyberglot
PLT + compilers; haskell champion; agda newbie.

Glasgow, UK

@TheoWinterhalter
Théo Winterhalter TheoWinterhalter
Researcher, proof assistants and dependent types

INRIA Saclay Saclay

@MevenBertrand
Meven Lennon-Bertrand MevenBertrand
Post-doc at the University of Cambridge
@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@erikmd
Erik Martin-Dorel erikmd
Assoc. Prof. in Computer Science

Lab. IRIT, Univ. Toulouse Toulouse, France

@smimram
Samuel Mimram smimram
@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@zhengpushi
Zhengpu Shi zhengpushi

Suzhou City University Jiangsu province, China

@omasanori
Masanori Ogino omasanori

Japan

@SeshatCZ
SeshatCZ

Czech republic

@dsabanin
Dmitry Sabanin dsabanin
"We do these things not because they are easy, but because we thought they were going to be easy."

undercover Downingtown, PA

@alcides
Alcides Fonseca alcides
Associate Professor at University of Lisbon, Portugal Researcher at LASIGE

LASIGE, University of Lisbon Lisboa, Portugal

@huynhtrankhanh
Huỳnh Trần Khanh huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be

@rocq-community Vietnam

@sayuwuri
Sayuu sayuwuri
@Alizter
Ali Caglayan Alizter

London, United Kingdom

@RyanZurrin
Ryan Zurrin RyanZurrin
Computer Science major with experience in Python, C++, Java, C, and web design. Machine Psychology fellow, UMass. Bioinformatician I, Brigham and Women's.

@pnlbwh Boston, MA

@pdelacroix
Pierre de Lacroix pdelacroix

Technostructures Paris

@Neustradamus
Neustradamus Neustradamus
@Alexb309
Alexb309
@hoheinzollern
Alessandro Bruni hoheinzollern
@fabriceleal
Fabrice Ferreira Leal fabriceleal

Leiria, Portugal