News for hackers. Stuff that matters.

A comment on What TLA+ can and can't check. Parent comment

Re:What TLA+ can and can't check by __alexs on Thursday October 01, 2026 @09:29AM (#49921421)
Manager's do not build anything despite what the management-class might want you to believe.
[ Parent | on HN ]

There are no comments on this comment yet.