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
It recently clicked for me that we mostly discuss "better error messages" in terms of their first-order improvements to developer experience, but not the second-order goal of helping people re-conceptualize compiler errors as helpful guidance rather than an implacable buzzkill.https://twitter.com/sliminality/status/1140838786043002881 …
Error messages are underrated as a technical problem IMO. Good errors involve: - Pedagogy: how to effectively explain an error - Causation: how to identify the root cause of an error - Provenance: how to track code lineage across IRs - Interface: how to visualize error details
