Articulating the ineffable. Programming language theory 
cognitive psychology. PhD @Stanford
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
"We see a two-dimensional structure consisting of a horizontal transition sequence of the events of system significance and for each transition a vertical explanation of why and how it occurs." why was operational semantics never explained to me this way??pic.twitter.com/Q9jBgiTJcP
Revisiting Plotkin's original paper, I really like this framing -- a transition system designer carefully picks the granularity of observable events, trading off for proof complexity. Perhaps like why substitution isn't usually part of lambda calculus operational semantics.
Hm, I feel like this might be one of those explanations that works better if you already have the intuition. But this is also how I think about small-step SOS, although the triangles should be on top, and inverted...
In my experience w/ CS242, students definitely confuse "steps" of a single computation proof vs. actual computation steps of a program. I think this frame might help. I'll try and report back! Also, Plotkin has strong words for you. Follow the ~~~direction of discovery~~~pic.twitter.com/G7vNrn8qNw
Sssh! You're giving away trade secrets.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
