News for hackers. Stuff that matters.

A comment on Windows 2000 Server named peak Microsoft. Readers say all downhill since Clippy. Parent comment

Re:Windows 2000 Server named peak Microsoft. Readers say all... by breadwinner on Friday April 11, 2025 @08:13PM (#43660098)
> First large scale application of proof of correctness technology.

Curious about this. How does it work? Does it use any methods invented by Leslie Lamport?

[ Parent | on HN ]

There are no comments on this comment yet.