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
if you execute the interaction design correctly here, it starts to look a lot like explicit support for the process of intent formation! example-driven synthesis helps the user discover what concepts the system understands & how they can be combinedhttps://twitter.com/maxkreminski/status/1129122168871170048 …
Strongly recommend the paper "Interactive Program Synthesis" (https://arxiv.org/pdf/1703.03539.pdf …). MSFT has the clearest perspective on this problem since they have actual users. Lots of interesting ideas, e.g. different forms of constraint specification.pic.twitter.com/XhkPXzSULJ
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?
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
