Shihan Kanungo
Hello there! I’m Shihan—thanks for stopping by. I live in Palo Alto, CA. I am deeply fascinated by mathematics, physics, language, and music. I play the violin, compose with my MPK Mini Plus, and have a music taste that defies genre (and occasionally logic). When I’m not actively immersed in one of these pursuits, there’s a good chance I’m sitting very still, appearing contemplative—while secretly daydreaming about my next snack. I aspire to nurture my passions and use them to make meaningful contributions to the world ... ideally with a bit of joy, curiosity, and the occasional pastry along the way.
Recent news: Axiom has formalized in Lean the Enormous Theorem -- the Classification of Finite Simple Groups (CFSG) -- the longest proof in the history of mathematics. This is a great service to the math community because of the importance of the theorem, but also because many mathematicians had doubts that the proof was indeed complete!
Currently reading: The Buddha in the Attic by Julie Otsuka and Tortilla Flat by John Steinbeck.
Recent Movies: No Country for Old Men (d. Joel Cohen, Ethan Coen), and The Outfit (d. Graham Moore)
Current Music Recs: We Stay Ugly 'Til The Pretty Decays by Mara Calder (Spotify), and Remain In Light by Angelique Kidjo. Also, these playlists, with one song each from my favorite albums from 2025: pop and jazz.
Song of the day (Sun Nov 1)
