Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View SeniorMars's full-sized avatar
💭
Math is hard, but I want to get better at it.
💭
Math is hard, but I want to get better at it.
352 followers · 53 following

Sponsoring

@hlissner
@neovim
@fasterthanlime
@m-ou-se
@tjdevries

Achievements

Achievement: Pair ExtraordinaireAchievement: Starstruckx3Achievement: Pull Sharkx2Achievement: YOLOAchievement: Public SponsorAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Starstruckx3Achievement: Pull Sharkx2Achievement: YOLOAchievement: Public SponsorAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report SeniorMars

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
@vardigroup
Vardi's Group vardigroup
Research group of Prof. Moshe Vardi at Rice University

United States of America

@stedolan
Stephen Dolan stedolan
@lnmangione
Luigi Mangione lnmangione
M.S.E. and B.S.E. in Computer Science @ University of Pennsylvania

AppRoar Studios

@meithecatte
Maja Kądziołka meithecatte
Systems software toucher. Functional programming enjoyer. Alleged math nerd. Fascinated by compilers and proof assistants.

Probably near my computer

@brammool
Bram Moolenaar brammool
@dquinn484
dquinn484
@irrundle3
Ian Rundle irrundle3
Rice University CS '25
@albxu
albxu
@lean-dojo
LeanDojo lean-dojo
Machine Learning for Theorem Proving in Lean

United States of America

@ZeroBone
Alexander Mayorov ZeroBone
Backend developer, computer science student. Interested in theoretical cs, algorithms, formal languages, compiler design, logic, automated reasoning, e.t.c.

Max-Planck Institute for Informatics Saarbrücken, Germany

@zawie
Adam Zawierucha zawie
AWS EC2 Software Engineer II

@aws Seattle, WA

@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@nat-hill
nat hill nat-hill
^ _ ^

seattle, nyc

@ei14
Thomas Kaldahl ei14

Math student at Rice University

@clayrat
Alex Gryzlov clayrat
Logic, languages and systems

IMDEA Software Madrid

@iblech
Ingo Blechschmidt iblech
Mathematician working in applied topos theory. Also interested in functional programming.

University of Padova Augsburg, Germany

@tetrapharmakon
fouche tetrapharmakon
Category theorist, coend sifu. Member of https://compose.ioc.ee

https://compose.ioc.ee Tallinn, Estonia

@abir-taheer
Abir Taheer abir-taheer
building

NYC

@scandum
Igor van den Hoven scandum
@Gankra
Aria Desires Gankra

axo.dev

@tGoh98
tGoh98
Rice University Computer Science Class of 2022

Houston, TX

@aedancullen
Aedan Cullen aedancullen

San Francisco Bay Area

@Tyrubias
Victor Song Tyrubias
🦉 Rice University Alumni 🔧 Software Engineer 💡 Avid dancer and sci-fi reader

@Rice-Lambda-Group @rice-apps @COVID-19-Design New York, NY

@ASmallSquishySquid
Phoebe Scaccia ASmallSquishySquid
🦉Rice U Alum 🧑‍💻 Software Engineer

California

@stuyvesant-cs
Stuyvesant CS stuyvesant-cs
Stuyvesant HS Computer Science

manhattan

@Alex-Janssen
Alex-Janssen
@lambdabetaeta
Alex Kavvos lambdabetaeta

University of Bristol Bristol, United Kingdom

@TanzHasan
Tanzir Hasan TanzHasan
Tanh(0)
@fasterthanlime
Amos Wenger fasterthanlime
hi, I'm amos! 🐿️ co-host of self-directed research podcast 🫐 teacher, video maker, software mercenary ✨ be kind, be curious

@bearcove Lyon, France

@tecosaur
Timothy tecosaur
Builder of digital tools; fan of flexibility and extensibility; libre first. Gradually transitioning to a self-hosted forge.
@llvm
LLVM llvm
This is the LLVM organization on GitHub for the LLVM Project: a collection of modular and reusable compiler and toolchain technologies.
@hlissner
Henrik Lissner hlissner
I've doomed us all.
@mxgmn
Maxim Gumin mxgmn

Helsinki

@BurntSushi
Andrew Gallant BurntSushi
I love to code.

@astral-sh Marlborough, MA

@shaqque
Shaquille Que shaqque

Houston, TX

@3b1b
Grant Sanderson 3b1b
I make videos about math.

3Blue1Brown

@claytonwramsey
Clayton Ramsey claytonwramsey
fork in microwave

Rice University Houston, TX

@ei5uke
Eisuke Hirota ei5uke
robotics, ml, & probabilistic inference

SUNY Binghamton

@commandblockguy
commandblockguy
@shreyasminocha
Shreyas Minocha shreyasminocha
Starry-eyed CS PhD student

Georgia Tech 33°N, 84°W

@AsahiLinux
Asahi Linux AsahiLinux
Porting Linux to Apple Silicon Macs
@wishawa
Wisha W. wishawa

Houston, Texas, USA

@jonhoo
Jon Gjengset jonhoo
Rust educational streamer. At @helsing-ai. Previously at AWS. A fan of making things secure, fast, scalable, and well-documented.

@helsing-ai Oslo, Norway

@alvinli04
Alvin Li alvinli04
@MaxwellZen
Maxwell Zen MaxwellZen
Stuyvesant HS '22 Harvard '26
@iwei20
Ivan Wei iwei20
University of Michigan '26 & Stuyvesant High School '22
@igalakhov
Ivan Galakhov igalakhov
git commit -m "BUMP" --allow-empty

Hudson River Trading New York, NY

@tjdevries
TJ DeVries tjdevries
Software developer. I like using Neovim (core team) and stream here: https://www.twitch.tv/teej_dv
@AmitPr
Amit Prasad AmitPr
Distributing the systems

Modal Labs NYC

@achowd53
Arib Chowdhury achowd53