Can LLMs model real-world systems in TLA+?

This is where you can opt out. It's absurd that they are automatically opting users into this.https://github.com/settings/copilot/features

Discussed on Hacker News with 1217 points and 504 comments.

Discussed on Hacker News with 964 points and 512 comments.