News for hackers. Stuff that matters.

A comment on The internet discovers TLA+. Now what?. Parent comment

Re:The internet discovers TLA+. Now what? by ndr on Sunday September 27, 2026 @01:51PM (#49869015)
Do you happen to have any intuition pump here? Any term of art or class of tests to throw LLMs at to get a sense for these?
[ Parent | on HN ]
Re:The internet discovers TLA+. Now what? by baq on Monday September 28, 2026 @01:42AM (#49874057)
An UI is a state machine and TLA+ is a tool for validating state machines. You can e.g. ask it to prove that every state is reachable from every other state (so users can’t get stuck somewhere even when a network request fails etc) or you can assert stuff renders correctly in sequence, or that key shortcuts change with the context correctly, or…
[ Parent | on HN ]
Re:The internet discovers TLA+. Now what? by sn9 on Tuesday September 29, 2026 @10:31PM (#49903678)
I'd binge Hillel Wayne's stuff.

https://www.hillelwayne.com/tags/formal-methods/

[ Parent | on HN ]