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
@XiaomingX
Y11 XiaomingX
Software Dev @ X | Linux, Java, Spring, Python, Golang, Next.js | Open Source Enthusiast | LLM Innovator | M.Sc. in Software Engineering 🚀

Jobleap.cn Japan

@bendemonium
Ridhi Bandaru bendemonium
thinking about cognition, linguistics, art, machines
@nickvanlandschoot
Nicholas Van Landschoot nickvanlandschoot
@elite-mob
Hans C. elite-mob
Nothing is Impossible!
@emilycodestar
Emily 💞 emilycodestar
✨ hiiii! check out my open-source projects 💻💖 they’re like my little babies and I love sharing them 🌸🐾
@gericapo98
geri gericapo98
tech enthusiast
@SuperSonicHub1
Kyle Anthony Williams SuperSonicHub1
Just a guy manipulating streams of binary into something neato. MIT '27

@mit New York

@ArshiaIlaty
Arshia Ilaty ArshiaIlaty
Research and Teaching Assistant at University of California, Irvine and San Diego State University Ex-SW-Intern at @teslamotors Ex-SWE at @worldmobilegroup

@UniversityofCalifornia,Irvine San Diego, CA

@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@tabvivo
tabvivo
@TheFanatr
Yan TheFanatr
I have a very good description you can find here: https://goo.gl/sTBRL6 . It pretty much sums everything up.

\Device\HardDisk1

@Neustradamus
Neustradamus Neustradamus
@varungupta
Varun Gupta varungupta

Bengaluru

@chry-santhemum
Atticus Wang chry-santhemum
@mkhan45
Mikail Khan mkhan45
CMU S3D Phd Student, Purdue '24
@slightknack
Isaac Clayton slightknack
Big into compilers

Cambridge, MA

@jkpjkpjkp
jkp jkpjkpjkp

Haidian, CN

@jelspace
21world jelspace
.new. LOTTERY FORCED MARRIAGE(entire population) + BASIC INCOME is give free money for all,opposite to: forced take VAT tax from all

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

@josh28x
josh28x
@priyavratuniyal
Priyavrat Uniyal priyavratuniyal
Fancy solution for fancy problems. Painkillers over vitamins.

@Blackrock India

@gordonwilliamsburg
Nesrine Zarrouki gordonwilliamsburg

Berlin

@aboulaakoul-Elwalid
hijikata aboulaakoul-Elwalid
studying
@IParraMartin
Iñigo Parra IParraMartin
Most likely working on Computational Linguistics, NLP, or Machine Learning PhD Student @ UC Berkeley

Berkeley, CA

@XSnow
Snow XSnow
A PhD graduate from @hkuplg

Paris

@fraware
Matéo H. Petel fraware
Curiosity. ________________________________________________________________________________________ Stanford | NASA JPL | Oxford | ENS

Stanford

@ray-97
Ray ray-97
@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

@Cobord
Ammar Husain Cobord
@sylverwolphe
sylverwolphe
@saddamBD
saddam hossain saddamBD
Web 🌐 Development Simplified • Frontend Web Developer • Learning and Building ( Javascript, React.js,Next.js )🚀 • Simpler threads • Join the journey

Dhaka,Bangladesh

@danmaster287
danmaster287
@hafiz-muhammad
Abdul Hafiz Muhammad hafiz-muhammad
Proud atheist. Gen Z. Dedicated Linux user 🐧. Passionate about open source and decentralized tech 🔓🌐. Anti-Censorship. Pro-LGBTQ+ 🏳️‍🌈

Virginia, United States

@sarkarghya
Arghya Sarkar sarkarghya

New York University New York

@quangvdao
Quang Dao quangvdao
Formal verification for cryptography. PhD Student at Carnegie Mellon University

Pittsburgh, PA

@Ck3555
KAPLAN Ck3555

Türkiye

@Roohollah81
Roohollah81
software engineer
@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@ejmin91
ejmin91
Research Scientist
@vishesh312
Vishesh Saraswat vishesh312
@bmorphism
Barton Rhodes bmorphism
"Parametrised optics model cybernetic systems, namely dynamical systems steered by one or more agents. Then ⊛ represents agency being exerted on systems"

@plurigrid san francisco

@Stanlee-dot
numero uno Stanlee-dot
@manoj060603
Manoj manoj060603
Demystifying neural networks
@ag8
Andrew G ag8
Hey!

νe, lex.ma, MIT Media Lab Cambridge, MA

@JakeGinesin
JakeGinesin

Carnegie Mellon University

@mohaomar495
Mohammad Omar mohaomar495
I'm Anesthetist and Interested in ML/DL.
@Montiwa11
Montiwa Doungtal Montiwa11
working from home and trying to make an leaving.

montiwa11 online

@eichinflo
Florian Eichin eichinflo
PhD candidate in computational linguistics at @mainlp, LMU Munich

@mainlp Munich, Germany

@Cristian-Curaba
Cristian Curaba Cristian-Curaba
Pursed bachelor in Mathematics, master in Data Science and a master at "Di Toppo Wassermann". Interest in AGI safety and complex network.

University of Udine Udine 33100 - Italy

@cheikhfiteni
Cheikh Fiteni cheikhfiteni
@senthil28
senthil28