jan-paul vincent ramos-dávila 
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.
stakhanovite
"research"
conferences, workshops, short papers, publications, and just anything that took a good bit to think about
rnafoldml
【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.
Qualia
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
“Idea of a Certain Cat” 2004 -Tokuhiro Kawai (川井徳寛)
