Hi! I'm Rushil Surti, a student at CMU SCS, and someone who's interested in
basically all things
I love making cool bits of software, learning theory and problem solving, and foremostly showing off the beauty of the subjects that inspires me to make connections, work, and write every day. I aim to be a communicator of mathematics and computer science, both for beginners and for the especially important middle ground of learners who are wishing for something more.
Things I Find Interesting:
- Mathematical writing! Check out my blog and my mini writings and some of my handwritten content
- Computational number theory (see here and links above)
- Lean4/Mathlib and the computer formalization of nontrivial mathematical results (more to come!)
- Linux! Check out my dotfiles
