does anyone in the Bay Area want to drink coffee/tea and study computational trinitarianism together this weekend? advance warning that I don't believe in eye contact and it's nothing personal
Very much yes in general! (Although not this weekend, after the SIGGRAPH deadline...) In particular interested in applications of this ideology. Big theme of CS 242 was “bridging systems and theory” (eg session types, but in Rust). Always looking for more examples.
cognitive psychology. PhD