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
Ah, that was your paper! Great stuff.
Your comments were very helpful in revisions! (Although I don't hold the same animosity towards Javascript...)
I'm desperately torn between cheering on your great ideas and loathing your execution. What's even worse is that ACM's current HTML conversion mess should make us all especially sensitive to this. Happy to share in public the relevant part of my review.pic.twitter.com/EkuWuo8v6R
![6. I'm especially contrasting 5.3 above with languages like Scribble
["Scribble: Closing the Book on Ad Hoc Documentation Tools", ICFP
2009] and wondering why the authors are inventing an irregular
quadrilateral and calling it a wheel when people have actually thought
about these language design questions in some depth. In fact, just
about everything here could have been layered atop a sane authoring
language like Scribble, inherting all of its benefits while providing
the advantages listed here.
7. Authoring media have a way of escaping their domain of
creation. (Take HTML, which was never really intended for any of its
current uses.) Similarly, people will want to use the paper-authoring
medium to also write, e.g., books. Media like Scribble provide
features like separate compilation, which are invaluable there. How
will you provide that when you have a giant mess of JS?](https://pbs.twimg.com/media/FCFiO6eUUAAYJ70.png)
The ACM LaTeX->HTML conversion pipeline is the "dark dystopian future" version of this paper.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
