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
Are there visual media for mixing commentary and code that are more effective than linear-blog-style? Specifically for: a) code that evolves over time, highlighting diffs (not literate prog on a fixed program) b) simultaneously presenting program, inputs, outputs, and commentary
Similar to @Wattenberger's style (eg https://wattenberger.com/blog/gauge ) or Stripe's (eg https://stripe.com/docs/payments/integration-builder …).
But more focused on building intuition for design patterns than explaining existing code. Provisions for experiments, dead-ends, backtracking, error messages.
https://github.com/akkartik/mu may be relevant. I haven't read his paper yet.
Thanks for the shout-out! A possibly better link: http://akkartik.name/post/wart-layers …. On one hand it's text, and it's based on LP. On the other it's for an evolving program, with diffs and tests. Larger-scale example:https://github.com/akkartik/mu1
is http://tomasp.net/coeffects/ helpful w.r.t. to your criteria?
I like the interaction for checking understanding, similar to http://quantum.country . But it doesn't really capture a single, evolving program telling a story. Some examples of mine in linear format: http://cs242.stanford.edu/f19/lectures/08-1-concurrency … http://willcrichton.net/notes/type-safe-printf/ … http://willcrichton.net/notes/probabilistic-programming-under-the-hood/ …
@wcrichton i had this same question a few months ago! I pulled together a review of the research on media like this in a lit review (see sections "Authoring tools for guided program tours" and "Multi-stage sample authoring" starting at https://www2.eecs.berkeley.edu/Pubs/TechRpts/2020/EECS-2020-48.pdf#page=56 …)
I'd love to see more studies comparing the user experience of these dynamic media to static ones. I included what evidence I could find. A couple of cool studies include that for Torta by Alok Mysore and http://chat.codes by @from_soney
See https://viewsourcecode.org/snaptoken/kilo/ It describes an existing program but breaks it down into incremental steps
does this count? https://www.destroyallsoftware.com/screencasts/catalog …
i definitely want storybook + wikipedia + muse for code
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
