My Blog Posts

A place where I talk about everything, not just techs!

  • Linear Logic: External Choice (&) vs Internal Choice (⊕)

  • Sept 2023

  • Recaps of 15-312 (Principles of Programming Languages)

  • Dec 2022

  • Introducing my personal website!

  • July 2022