Hello there. I see you found my blog.

I am currently studying Computer Science with a minor in Philosophy. My main interests are formal logic, type theory and foundations of mathematics. I also dabble in analytic philosophy. Apart from my academic interests, I also enjoy sports, especially running, road cycling and bouldering.

I am planning on writing about all of these and everything else that pops into my mind.

You can contact me on the fediverse at @abs@satania.space.