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 nailer on Monday June 02, 2025 @07:18PM (#44164372)
To be fair, about a decade they did stop losing data, but they did play with everyone's data for about a decade first.

https://stackoverflow.com/questions/10560834/to-what-extent-...

[ Parent | on HN ]
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 ]