‹ BackHN Continuity

Thread

The internet discovers TLA+. Now what?

128 points · 71 comments · matt_d

  1. bsenftner · · focus · HN ↗
    Took 10 minutes to find this: TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
    1. noosphr · · focus · HN ↗
      TLA+ is what unit testing looks like when a mathematician designs it.
    2. mkl · · focus · HN ↗
      It takes about 5 seconds to open Wikipedia and type "TLA+".
    3. totetsu · · focus · HN ↗
      The LLMs used to write these things, do not start by using empathy and a theory of whats in other peoples minds.
    4. tosti · · focus · HN ↗
      It reminded me of zombo.com but more like a slop version.
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.