Finding truth through proof – one theorem at a time Radiating Daemon

Ludwig Boltzmann

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

Lorem Ipsum Dolor
Marcus Tullius Cicero

Neque porro quisquam est, qui dolorem ipsum quia dolor sit amet.

De Finibus Bonorum
Marcus Tullius Cicero

Ut enim ad minima veniam, quis nostrum exercitationem ullam corporis.

Random Feed
🎲 Awaiting your roll…

Click the die above to discover posts from the archives.