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 Semaphor on Tuesday June 03, 2025 @10:32PM (#44176704)
Yeah, but OP made it seem like they were some kind of mandatory or at least default feature.
[ Parent | on HN ]

There are no comments on this comment yet.