About

← back

I am a student studying Mathematics and Computer Science at Carnegie Mellon University.

I enjoy learning in any discipline. My specialty is technical, but I have a fond appreciation for the humanities and my experiences growing up reading books and loving history. I grew up speaking English and Spanish natively, I learned French in middle and high school, and I learned a little bit of Swedish on my own time. As for technical things, I have experience using C, Rust, SML, Python, Lean 4, LaTeX, Typst, HTML, CSS, Javascript and a variety of other languages. I am fondest of SML and Rust for programming things; Rust for its performance and ecosystem, SML for its elegant syntax and distinct approach to the writing of programs. My first experience with typesetting was LaTeX in 2015 and my first experience with programming was with Python in 2023.

Media

The following lists of media I greatly enjoy are subject to my ever-changing whims and preferences (as well as remembering what else I like.)

Music

  • Heaven or Las Vegas, Cocteau Twins, 1990
  • Loveless, My Bloody Valentine, 1991
  • Bossa Nova 2001, Pizzicato Five, 1993
  • Viva! La Woman, Cibo Matto, 1996
  • Fantasma, Cornelius, 1997
  • OK Computer, Radiohead, 1997
  • Stereo Type A, Cibo Matto, 1999
  • Beaucoup Fish, Underworld, 1999
  • Kid A, Radiohead, 2000
  • A Hundred Days Off, Underworld, 2000
  • Simple Things, Zero 7, 2001
  • Melody AM, Röyksopp, 2001
  • Velocity : Design : Comfort, Sweet Trip, 2003
  • Oblivion With Bells, Underworld, 2007
  • Velocifero, Ladytron, 2008
  • You Will Never Know Why, Sweet Trip, 2009
  • Wallsocket, underscores, 2023

Video Games

  • Xenogears, Square, 1998
  • Halo: Combat Evolved, Bungie, 2001
  • Super Monkey Ball 2, Amusement Vision, 2002 (GCN)
  • Xenosaga Episode I: Der Wille zur Macht, Monolith, 2002 (PS2)
  • Halo 2, Bungie, 2004
  • Shadow of the Colossus, Team Ico, 2005 (PS2)
  • Xenosaga Episode III: Als Sprach Zarathustra, Monolith, 2006 (PS2)
  • Halo 3, Bungie, 2007 (Xbox 360)
  • Portal, Valve, 2007 (Xbox 360)
  • Demon’s Souls, From Software, 2009 (PS3)
  • 3D Dot Game Heroes, From Software, 2009 (PS3)
  • Halo: Reach, Bungie, 2010 (Xbox 360)
  • Portal 2, Valve, 2011