Suggesting fixes to students' code by using a solver to explore modifications to the program! https://youtu.be/NAoSTmCUlW0 (uses sketch)
miniblog.
Related Posts
Today I learnt that Racket *intentionally* doesn't have a traditional REPL workflow. The authors were concerned about students not understanding the state between the current session and the code on disk.
(Arguably Jupyter has some of these features now.)
Bril is a cute intermediate language for teaching (think simplified LLVM IR): https://www.cs.cornell.edu/~asampson/blog/bril.html
The idea of providing a standard JSON format to help students write basic passes is really elegant.
An English teacher introducing the notion of 'digital humanities', live coding with Wolfram Alpha and The Great Gatsby, and showing text mining projects done by students!
https://youtu.be/UaCrK6vyz_0