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 hobs on Tuesday June 03, 2025 @01:55PM (#44172727)
Yes, because they are terrible and break replication for cross system repl.
[ Parent | on HN ]
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 ]