The point about stricter type systems becoming more practical because AI can iterate against compiler feedback loops is really interesting.

undefined

[dead]