Finding truth through proof – one theorem at a time

Hey there! Thanks for stopping by!
I am an undergraduate student majoring in aeronautics and space tech. I am a late bloomer and I take great pride in being one.
My interests at the moment are primarily in logic, geometry, quantum physics, and functional computer science. I am especially fond of the Lisp-family and the ML-family of languages. I intend to work on research problems both at the foundations (logic and categories), and the frontiers of mathematics/physics via techniques learnt through my undergraduate discipline.
I can yap for hours if the topic is anything scienc-y. My hobbies include armchair paleontology, esoteric programming (called Programming Paleontology by Ronald Kneusel), studying and getting to know the philosophy of science. I also love train trivia and tech, and have a fetish for collecting encyclopedias and dictionaries across genres.
Apart from writing on things that I find interesting, I post reviews of academic and non-academic books that I particularly liked or used in my studies. You can also find my academic notes on this site. You can learn more about me here.
Reading Now
Neque porro quisquam est, qui dolorem ipsum quia dolor sit amet.
Ut enim ad minima veniam, quis nostrum exercitationem ullam corporis.
Click the die above to discover posts from the archives.