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
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".
Strong agree on needing more provenance tracking. Even linking program outputs to program execution "what generated this text in this view?" The default model should be an append-only execution model with pervasive provenance, and provenance loss available as an optimization.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
