Some guesses about the future of programming languages, given agents write and humans read: - untyped - out of band formal verification - test harness runs code in a simulator vm to instrument the os - less expressive, more copying↗