Can LLMs model real-world systems in TLA+?(sigops.org)
108 points by mad | 27 comments
sigops.org on Hacker News
7 stories on the front page, newest first. Scroll down to watch the site change over time.
7 stories on the front page, newest first. Scroll down to watch the site change over time.
108 points by mad | 27 comments
![Screenshot of sigops.org: Cores That Don't Count [pdf]](https://hn.urlbox.com/shots/renders/2024/9/29/0bcd66e5-e6ad-4d56-9e2a-c37ddbc7184d.jpg)
98 points by signa11 | 10 comments
![Screenshot of sigops.org: Towards Modern Development of Cloud Applications [pdf]](https://hn.urlbox.com/shots/renders/2023/11/5/7744af44-f43b-4f5d-ad1f-6fe2a9272441.jpg)