I’m an undergrad student at Cornell University who enjoys programming languages, linguistics, and philosophy —only if it’s analytical. My —current and always changing— favorite areas of study are logic, type theory, category theory, semantics, and software verification. For objective film ratings click here, and for objectively good music here.
conferences, workshops, short papers, publications, and just anything that took a good bit to think about
【source】 ocaml package for predicting RNA secondary structure
【source】 discord bot with a lot of cool features (and even it’s own pl wowzers)
stuff I’ve worked on in the past you might be interested in checking out
The problem of determining if there exists an interpretation that satisfies a given Boolean formula.
Individual instances of subjective, conscious experience. The term qualia derives from the Latin neuter plural form (qualia) of the Latin adjective quālis (Latin pronunciation: [ˈkʷaːlɪs]) meaning “of what sort” or “of what kind” in a specific instance, such as “what it is like to taste a specific apple — this particular apple now”.
A combinatory logic system and a computational system. It can be thought of as a computer programming language, though it is not convenient for writing software.
“Idea of a Certain Cat” 2004 -Tokuhiro Kawai (川井徳寛)