नमस्ते

Hey! I'm Arpit. Welcome to my little corner of the internet. Here you can find a collection of my thoughts and notes on topics that interest me - mainly relating to programming language theory, distributed systems, and cloud infrastructure.
I'm currently in the final year of my undergraduate studies at the University of British Columbia where I am pursuing a double major in Computer Science and Mathematics.
This fall, I'll be in Toronto interning at Shopify on the Payments and Cross-Border team.
Contact
Recent Posts
- Implementing a bi-directional type checker for the simply-typed lambda calculus - August 14, 2025
- Implementing Proper Tail Calls in C - June 8, 2025