cognitive psychology. PhD 
As I spend my Saturday night proving properties of the type system for an imperative programming language, my main takeaway is that imperative languages were a terrible mistake and should be banned
Wow, seems like a great class! Very ambitious syllabus. Curious to see what sticks for you down the road.
-
-
Yeah it's been perfect for me since I want to get up to speed on all these topics w/o much prior background! I think Coq proofs are a recent addition to the class.. has been fun, but a lot of work to learn Coq in addition to the actual proof techniques
-
Never learned Coq. I've been trying to prolong my exposure to proof assistants long enough that they finally gain a modicum of usability. (And people figure out interesting real-world things to model with them beyond compilers.) Maybe that's F*?
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.