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 azaras on Sunday September 27, 2026 @05:48AM (#49865100)
I am learning TLA+ but I do not know CSP, is CSP better?
[ Parent | on HN ]
Re:The internet discovers TLA+. Now what? by otterley on Sunday September 27, 2026 @11:56AM (#49867833)
They’re completely unrelated. The GP was making a joke.
[ Parent | on HN ]