Welcome to my blog! I’m Chris D., but I usually go by my online alias, Mani. As an enthusiast of programming, mathematics, and anime, I’ve created this blog to share my passions and discoveries with you.

Here are some interesting facts about me:

• I dual boot linux, namely NixOS and Ubuntu.

• My favorite text editor is neovim, check out my neovim (and other configs) in my dotfiles repo.

• My favorite theorem is probably Brouwer Fixed Point Theorem, 2nd favorite is probably Stokes Theorem.

  \[\int_{\partial M} \omega = \int_{M} \text{d}\omega\]

• I really enjoy foundational mathematics (eg. Set Theory, ZFC, and the alike), and I also enjoy Type Theory, that is why I am currently learning (in my spare time) Homotopy Type Theory.

• I am a fan of JPOP, and my favorite band is ZUTOMAYO(ずっと真夜). Check out this certified hood classic:

• My favorite anime is Bocchi the Rock!(ぼっち・ざ・ろっく！)

  

Check out my GitHub, MyAnimeList, and various other links on the bottom left!