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
Tracking the lineage of code across transformations is such a fundamental problem these days. Source-maps, debuggers, macros, ... We need a programming model where lineage (or provenance or whatever) is tracked *by construction*.https://twitter.com/pcwalton/status/1400589285917556737 …
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.
