News for hackers. Stuff that matters.

A comment on A High-Level View of TLA+. Parent comment

Re:A High-Level View of TLA+ by threatofrain on Tuesday June 03, 2025 @11:03AM (#44170868)
How is that different for many algos whose proof of performance characteristics is purely in math?
[ Parent | on HN ]

There are no comments on this comment yet.