1:34 PM - I've been looking into type systems, had fun reading about language
semantics, hoping to read Girard's and Wadler's papers on linear logic
soon. Interested in figuring out just what it means to take the derivative
of a turing machine.
10:52 PM - Just finished the possible girls paper, a fun read but probably unnecssary to read
if you already object to modal realism