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 noosphr on Sunday September 27, 2026 @07:42AM (#49865794)
TLA+ is what unit testing looks like when a mathematician designs it.
[ Parent | on HN ]

There are no comments on this comment yet.