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.
313 followers · 55 following

Sponsoring

@marcan
@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.

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
@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/Math '25 -- Software Researcher @ TBBL, former Software Intern @ Space Intelligence. Rocket + Drone enthusiast
@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.

RPTU Kaiserslautern-Landau Kaiserslautern, Germany

@zawie
Adam Zawierucha zawie
AWS EC2 Software Engineer

@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

@ValeLang
Vale Language Project ValeLang
Exploring, discovering, and publishing new programming language mechanisms that enable speed, safety, and ease of use!
@nat-hill
nat hill nat-hill
^ _ ^

houston, nyc

@ei14
Thomas Kaldahl ei14

Math student at Rice University

@zamansky
Mike Zamansky zamansky
@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
“Injustice anywhere is a threat to justice everywhere.”

NYC

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

axo.dev

@tGoh98
tGoh98
Rice University Computer Science Class of 2022

Houston, TX

@aedancullen
Aedan Cullen aedancullen
Engineer

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 Houston, Texas

@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! 🦀 I make articles & videos about how computers work 🐻‍❄ cool bear's less cool counterpart ✨ be kind

@bearcove Lyon, France

@tecosaur
Timothy tecosaur
Org-mode devotee, and ardent fan of FLOSS. Gradually moving to self-hosted Forgejo.
@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.

Toronto, ON

@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
Hi! I'm Clayton. I'm a graduate student at Rice University. My interests include chess engines and robotics.

Rice University Houston, TX

@ei5uke
Eisuke Hirota ei5uke
focused on rl + robotics

SUNY Binghamton

@commandblockguy
commandblockguy
@shreyasminocha
Shreyas Minocha shreyasminocha
Yet another silly CS PhD student

Georgia Tech 33°N, 84°W

@tofr
topher mykolyk tofr
.

@StuyCSDojo @stuy-softdev @ap251 @stuyvesant-cs 251

@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
@SayaDuck
Jonathan Lee SayaDuck

New York

@iwei20
Ivan Wei iwei20
University of Michigan '26 & Stuyvesant High School '22
@igalakhov
Ivan Galakhov igalakhov
git commit -m "BUMP" --allow-empty

University of Chicago Chicago, IL

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