me but its a cat so its not me since im a human

GARVY

HI! I'm a Mathematician by day and a pun-loving, music-making, tetris-playing, board game-developing, church-going girly-pop... also by day :D

Music

I'm on every streaming service! I make (hyper)pop and edm with hip hop influence and upload some rougher/experimental cuts to my youtube.

Spotify Youtube Apple Soundcloud Tidal Deezer

My new song BE A STRANGER is out everywhere. Listen to it here below!

Math/CS

My dissertation topic is in Algebraic Geometry (curves over finite fields), but I've also done a little cryptography work specifically in ZKP, and I've gotten really into Singular Learning Theory and Algebro-Geometric applications in AI Safety. To see all my math, see my Research CV!

An Infinite Family of Artin-Schreier Curves (Me :3) Iwasawa theory of Frob-torsion class group schemes (Booher, et al.) Distilling Singular Learning Thoery (Carroll) A Width Bound for Quadratic Network Modular Addition (Me :3)


My github is mostly math stuff, but I also built a ZK tetris prover using plonky2 which you can play and check out!

My GitHub Plonktris: Zero Knowledge Tetris Prover

Writing

I write essays and jokes. Check out my substack for my long form writing. I'm also funny on twitter and youtube.

Substack Youtube Twitter


My favorite bits are also hosted here.

Advanced Would You Rather Questions The Big List of Garvy Jokes My Favorite Clint Stevens Clips

Board Game

Check out the board game I made with my brothers, Small Fishes: Seas the Booty!
It's a cute pirate sea creature themed casual card game in which you recruit fish friends and battle for treasure. My friend Joyce did all of the illustrations.

Small Fishes: Seas the Booty! Shop Page Shi Made Games's Instagram Joyce's Instagram Joyce's Shop