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
A key theme throughout Shriram's CSEd pedagogy & research is a structured approach to thinking about problem specs. IMO too much CSEd focuses on mechanisms (language features, data structures), and not enough on methods for reducing problems to these mechanisms.https://twitter.com/ShriramKMurthi/status/1348755342667223050 …
We all know that decomposing problems, writing contracts, debugging issues, etc. are important skills for programmers. But most CSEd just throw problems at you until you get it. I appreciate eg how HtDP structures the design of functions: https://htdp.org/2020-8-1/Book/part_one.html#%28part._sec~3adesign-func%29 …
