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
The paper's statements about where memory starts to fall short seem to be calling proof and debugging tools to supplement people's memory where it tends to struggle. I recommend reading it and learning from it! 6/6
My next project is to look at how people mentally verify preconditions (eg checking a point is not null, a list index is in bounds). I agree that backwards reasoning is essential here -- you start at the operation (eg *x, L[i]), then abstractly interpret the corresponding slice.
