Some TLA+ experts try to teach LLMs to write TLA+. The LLMs fail.
What we talk about when we talk about time horizon.
We still need senior engineers, but there's less economic incentive to create them.
Do you care if an LLM sees you naked?
Walter Benjamin misforecast back in 1935: copies only enhance the aura of the original. What about AI?
Spoiler alert: it was both productive and annoying.