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
nice, thanks for the ref! also planning to do a short paper-of-the-week thread on your Human-Centric Program Synthesis paper soon too, since that one anticipates a lot of the things i’m working on to some extent
One idea not in that paper I've been focusing on: synthesis is a means of translating between representations of a program, usually low->high level (e.g. Python -> Pandas). What if you combine that with a compiler, i.e. going between high->low level representations?
If a tool can fluidly move back and forth between representations of a computation, how could that improve/augment representational competence (https://www.tandfonline.com/doi/abs/10.1207/s1532690xci2203_2 …)?
Many opportunities for contextualized education. If you want to learn functional programming, what if I could take the Python/Java programs you've already written, convert them to OCaml? Learning could be more effective if you already understand/care about the applications.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
