“Hello, World!”
Be it print("Hello, World!") in Python, putStrLn "Hello, World!" in Haskell, or #eval "Hello, World!" in Lean, the very first successful output from a new programming language is a rite of passage. That trimphant message signals that the language is set up correctly and ready for exploration.
This post is my own “Hello, World!” - the first entry on a blog that I hope will become a collection of notes, ideas, projects, and occasional ramblings about the things I find fascinating.
Over the past few years, I’ve found myself increasingly drawn to the intersection of mathematics and computer science. Lately, that curiosity has led me into automated reasoning, formal methods, theorem proving, and the broader landscape of theoretical computer science. There is something deeply satisfying about taking an informal idea and expressing it with enough precision that a machine can understand, verify, and reason about it.
Through this blog, I plan to document that journey. You’ll find notes on automated reasoning and proof assistants such as Lean, explorations in mathematics and theoretical computer science, thoughts on machine learning, and write-ups of projects, internships, and research work. I also hope to share interesting things I encounter during my coursework at NISER and through the various technical communities and collaborations I am fortunate to be part of.
Of course, this blog serves a non-academic purpose as well. It’s a good excuse for me to sit down every once in a while and write about things that excite me. Create content instead of consuming content mindlessly! Letting those creative juices flow is something I want to encourage!
Thank you for visiting, and I hope you find something interesting here!