Skip to content
View JasonGross's full-sized avatar
255 followers · 15 following

Achievements

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

Achievements

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

Organizations

@barnowl @mitex @rocq-prover @sipb @rocq-community @theorem-labs

Block or report JasonGross

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
@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast

Denver, CO

@ebresafegaga
Gaga ebresafegaga
@SermetPekin
Sermet Pekin SermetPekin
Senior Specialist | Economics & Finance | Data Science & AI | C++ · Python · R | Open Source Creator | Internal Trainer
@zeon-neon
Zeon zeon-neon
im @NeonGamerBot-QK bot called zeon.

@NeonGamerBot

@orpheuslummis
Orpheus Lummis orpheuslummis
public-interest technologist
@dbourdrez
Daniel Bourdrez dbourdrez

@blablacar

@Hopepray10
Hopepray10
@OlivierNicole
Olivier Nicole OlivierNicole

Tarides Paris, France

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@alqbysym81
alqbysym81
@awalterschulze
Walter Schulze awalterschulze
Projects: facebook/fbthrift, gogoprotobuf, goderive, erlfmt. Interests: LeanProver, Coq, Brzozowski's derivatives.

Stellenbosch University Stevenage, UK

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

@ropas @KoreanTUG Seoul, Republic of Korea

@sun-wendy
Wendy Sun sun-wendy
Physics & AI at MIT

MIT Cambridge, MA

@Daalb
Diego Albor Rojas Daalb
Software Engineer | .Net Developer

Epam Systems Colombia/Barranquilla

@dipeshkaphle
Dipesh Kafle dipeshkaphle

@delta

@jmanuel1
Jason Manuel jmanuel1
Software developer; ASU CS, Barrett, and GCSP graduate. I like web development and programming languages.

Imagine Learning United States

@yallop
Jeremy Yallop yallop

University of Cambridge Cambridge, UK

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

Xanadu Canada

@arunppsg
Arun arunppsg
One at a Time

Bangalore, India

@O957
O957
@bensenberner
Benjamin Lerner bensenberner
learning how machines learn

New York City

@psilospore
psilospore psilospore
Functional programmer, Software Engineer at Acima, and a CS PhD student at the University of Vermont.

Acima Burlington, Vermont

@zazim13
Ouedraogo W. A. Hakim zazim13
@chrisamaphone
Chris Martens chrisamaphone

Northeastern University

@mahor12
mahor mahor12
@amir123k
amir amir123k
@tabasom123
tabasom tabasom123
@mamad123g
mamad123g
mamad
@mohammadsaleh123
mohammad1 mohammadsaleh123
@Cautiousb93
Cautiousb93
@jqhoogland
Jesse Hoogland jqhoogland
@jaanli
Jaan Altosaar Li jaanli
Machine learning and data science for health care; prev. @PrincetonUniversity @Phare-Health @google @google-deepmind

University of Tartu & @onefact Brooklyn

@jevinskie
Jevin Sweval jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer. Previously Apple Pay Security.

Lafayette, Indiana

@jmikedupont2
Mike DuPont jmikedupont2
Senior Full stack developer focused on p2p ml ai devops https://linktr.ee/h4km discord account m1337d

@meta-introspector New Jersey

@klarteno
carneyo paul klarteno
@erwanor
Erwan Or erwanor
computer programmer

penumbra labs montreal, quebec

@deadcandance40
Paul deadcandance40

Kobe

@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

@J-Lw
JLaw J-Lw

Canada

@douglasmonsky
Douglas Monsky douglasmonsky
@ugke
Ugandhar K ugke

Bengaluru

@jchernando06
jchernando06
@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
@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
Software developer, ex-academic

Toulouse, France

@Sosyetekadir
Kadir Sosyetekadir
Yazılanı yaşamaya devamkee
@jonweinb
Jonathan Weinberger jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.

Chapman University Orange, CA

@pterodactyl-soup
David Stump pterodactyl-soup
Rayquaza is hungry. Nothing some soup can't fix though.

United States

@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