Excited about this choice. Only downside is we lose her at DARPA!

Our sociotechnical future is not determined: we can shape it! Preprints are a recent example. Let’s keep hoping and building together!

Learning to code without mutation allows you to build on equational reasoning from grade school (+ inductive reasoning from discrete math) for quite a while. Adding mutation means deleting equations and adding all sorts of complex reasoning about state. Should be introduced carefully later imo.

I like the "misinterpreter" approach a lot (working w/ Peter-Michael Osera in various directions along the same lines w/types!). I also like the SMoL Tutor approach of showing that the same ideas show up in multiple languages. I think throwing mutation in immediately is a mistake though!