I am a mathematician and occasional programmer.
I am majoring in Pure Mathematics at UCSD.
The majority of this description was made a long time ago and I have not had the heart to change it beyond minor updates for accuracy.
I use Python and C, primarily.
I'm partially versed in a few dozen other languages that I've touched for two or three projects and not really used again.
I was part of the SCC23 travel team for UCSD. I went to Denver. It was fun! I should add pictures somewhere! Our cluster was named Seuss. Third place overall. First US team.
Lisp, Rust, and Haskell are three languages I've been using more lately, but not for any project I've pushed publicly. I'm really enjoying all three of them.
I use neovim as my editor.
I don't tend to write graphics stuff. I find it difficult and tedious to get things where I would like them to be and I need a lot more practice.
Most of my projects aren't pushed but just random scraps of code I've written to automate random things on my laptop. I occasionally forget I have projects on GitHub for long stretches of time.
I love reading, writing, and mathematics.
I play piano, saxophone, harmonica, and guitar.
I've obtained a violin. I need to actually learn how to play it.
TTRPGs! I've been running D&D campaigns for ages.
I love theatre (The last time I was in a play I was Lumiere in Beauty and the Beast, this is absolutely my favourite play for purely nostalgic reasons).
My non-programming languages are Spanish, English, and French. I studied Latin for a bit but I never learned it, I need to do that.
I mentioned I love reading!
I love reading!
Alot!
So a few book recommendations:
Anything by Tolkein (Tolkein is my favorite)
Anything by C.S. Lewis
The Count of Monte Cristo (Alexandre Dumas)
The Complete Sherlock Holmes (Author Conlan Doyle)
The Shadow Children (Margaret Peterson Haddix) (This is an easy but excellent read)
The Cosmere (Brandon Sanderson)
Proof Theorist, with some research into complexity theory.
I'm inordinately (ha!) fond of proof systems like Lk-sequent calculus and PV1.
Working in restricted logic systems is very fun and useful. Lowenheim Skolem is one of my favourite things.
Algebra is really fun. I need to properly study Lie Algebras because I have like... a half notion of homotopy theory from HOTT, and a snippet of algebraic topology, and I've taken measure theory courses so I was able to follow a bit on Lie Algebras but they turn out to be a really interesting rabbit hole.
Type Theory is great.
Lambda Calculus is cool!
I have over 400 desmos graphs saved. Here are a few pretty ones:
These are all pre-math major days and I lament not having had time to make more.
I have some loose plans about writing desmos esolang compiler at some point?