Blog
Old posts from the pre-2022 blog (2012–2017), recovered from the site's git history after the 2022 redesign dropped them.
- 2026-10-08 The GossipSub Story
- 2017-01-27 Online Course Lectures for ESC101 (Introduction to Computing)
- 2017-01-21 I am a Mentor now
- 2016-10-30 Mechanizing the Metatheory of TAL-0
- 2016-10-30 TAL-0 Mechanized Metatheory (earlier draft)
- 2016-09-28 Dependently Typed Graph (Coq)
- 2016-08-02 Pin Bhabha Pass Trek
- 2015-08-09 First Prize at Fresher's Night 2015, IITK
- 2013-12-01 My Experience at Droidcon India 2013