Shriram Krishnamurthi: Talks
cs.brown.edu · 245 words · saved by 1 readers
Several of my talks are now on YouTube, and I've archived them on this playlist. Some highlights include:
Recent Talks Several of my talks are now on YouTube, and I've archived them on this playlist. Some highlights include: The Human Factors of Formal Methods, on how human factors and cognitive science can improve formal methods (hosted by Stanford HCI, 2024) On the Expressive Power of Programming Languages, a tribute to my favorite paper (at Papers We Love, 2019) Teaching Computational Thinking, about what's problematic about that term (hosted by EPFL, 2018) Curriculum Design as an Engineering Problem, a summary of the design of Bootstrap (hosted by Jane Street, 2018) About the first…
saved by
related reading
- The Best Tacit Knowledge Videos on Every Subject — LessWronglesswrong.com
- Tools, Computing, and Research Labs — James Hill-Khuranajameshk.com
- Pedagogy Recommendationsparentheticallyspeaking.org
- "Inventing on Principle" by Bret Victor speech transcriptjamesclear.com
- What every computer science major should knowmatt.might.net
- How To Think Real Good | Meta-rationalitymetarationality.com
- Learnable Programmingworrydream.com
- Tokyo Design Journaltokyo.floguo.com
- E.W. Dijkstra Archive: On the cruelty of really teaching computing science (EWD 1036)cs.utexas.edu
- References for "The Future of Programming"worrydream.com
- Tools for thought: science, design, art, craftsmanship? | Andy Matuschakandymatuschak.org
- Papers from Viewpoints Research Institute - Viewpoints Intelligent Archivetinlizzie.org