home
about
logo
blog
contact
portfolio music conlangs video games board games puzzles square dancing

Here are some things I like:

  • math
    • theoretical cs
      • type theory / formal verification
      • complexity theory
    • abstract nonsense
  • programming
    • nixos
    • vim
    • code golf / esolangs
  • linguistics
    • conlangs
    • the czech /r̝/ sound
  • music
    • playing piano/viola
    • singing
    • theory
    • musicals
  • video games
    • celeste
    • baba is you
    • factorio
    • disco elysium
    • beat saber
    • nethack
  • board games
  • puzzles
  • square dancing
  • cooking
  • scifi
  • atla
  • cute animals
    • dogs
  • mangoes

It's me!

my face

I currently live in Boston, and I'm a senior in undergrad at MIT.

Some of my greatest accomplishments are obtaining yhwh@mit.edu and learning to read and write rot13 at ~30wpm.

Reading my tier lists probably won't give you further insight into my personality, but you could try it anyway.

Here's a resume, if you're into that kind of thing.