jan-paul vincent ramos-dávila alt text

programming language theory enthusiast @ cornell university ‘25 (math / cs / phil)

about | blog | cv

GitHub if you’re a programmer; Linkedin if you need a programmer.

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

discord ladbot

source】 discord bot with a lot of cool features (and even it’s own pl wowzers)

(g)old projects

stuff I’ve worked on in the past you might be interested in checking out

recent activity

Boolean satisfiability problem

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”.

SKI combinator calculus

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.

contact me

email】 【discord】 【twitter

“Idea of a Certain Cat” 2004 -Tokuhiro Kawai (川井徳寛)