The internet discovers TLA+. Now Free

Couldn't have said better. We all allowed it to execute arbitrary llm queries? And how? My jobs made me hate programming long before LLMs. If anything I enjoy programming more now that I can tell the LLM to do a code review.