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 closest I've seen is probabilistic programming languages, where the values of random choices are automatically recorded for e.g. computing the total probability of a given execution.
For example, if I do: if f(x) { l.push(y); } Then later in the code, I should be able to ask dynamically: why is `y` in `l`? And the answer should include `f(x) == true at time T`.
As an instance of this problem, I'm working on a program slicer. If I slice on z in x = 1; y = x; z = y - 2 Then x and y are both relevant. I should be able to answer "why is x relevant?", and the answer should be at least "because y is relevant and x is used for y".
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
