About

A prope-personal-website, sans the usual function of identifying the author. A collage for my various interests — primarily logic, computation, and philosophy. In no particular order, I may post about —

1. Epistemology, metaphysics, and semantics from both the analytic and continental traditions,
2. Type theory and adjacent approaches broadly in the “syntactic” tradition of logic,
3. and formal semantics of programming languages, including approaches from both the “syntactic” and “algebraic” traditions (to borrow Girard’s language).

The content on this website will be divided primarily into three categories. First, “essays” — big scare quotes, I only mean by this that I have somewhat attempted to massage the content of my writing into something with the structure of a short essay. Second, “readings” — better yet, “recollections”: just stray thoughts after reading (especially philosophical work). Third, “expositions” — my attempts, after learning something new, to repackage the information in order to test my knowledge. No warranty of correctness on “readings” and “expositions,” but a little more warranty on “essays.”

I have used AI to generate the initial scaffold for the website and will probably continue to use AI to iterate on the design, as I have a piddling skill with CSS. However, all the content on the website is written in the main by me (though it may be subjected to minor revisions at the behest of other people or AI) and, more importantly, reflects my genuine interests as a human being. My tendency to (ab)use em dashes is wholly my own.