News for hackers. Stuff that matters.

A comment on Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs. Parent comment

Re:Conformance Checking at MongoDB: Testing That Our Code Ma... by usernamed7 on Monday June 02, 2025 @08:08PM (#44164775)
lord knows i've been through this... glad it's something they finally solved for.
[ Parent | on HN ]

There are no comments on this comment yet.