News for hackers. Stuff that matters.
[dead]
Re:Conformance Checking at MongoDB: Testing That Our Code Ma... by merek on Monday June 02, 2025 @07:35PM (#44164529)
Where? I see the following

> I was excited about this vision. Too often, an engineer tries to write one huge TLA+ spec for the whole system. It's too complex and detailed, so it's not much easier to understand ...

Re:Conformance Checking at MongoDB: Testing That Our Code Ma... by usernamed7 on Monday June 02, 2025 @08:10PM (#44164787)
looks like the article was updated after the version I read.
Re:Conformance Checking at MongoDB: Testing That Our Code Ma... by compton93 on Monday June 02, 2025 @06:52PM (#44164131)
I consulted on a project that was using MongoDB even though it was obvious from the concept that an RDBMS would be better, however I went in with an open mind and gave MongoDB a red hot crack. It straight up ignored indexes with no explainable reason why. We had a support contract and they just gave us the run around.
Re:Conformance Checking at MongoDB: Testing That Our Code Ma... by usernamed7 on Monday June 02, 2025 @08:09PM (#44164782)
yeah i've had similar experience but never had indexes get ignored! 100% not surprised though.
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-...

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.
Re:Conformance Checking at MongoDB: Testing That Our Code Ma... by random3 on Monday June 02, 2025 @07:00PM (#44164207)
slop in, slop out

funny - I opened this with big raised eyebrows, then saw the first line of the first comment and commented, then saw the last line and laughed.

for downvoters - do your homework

- https://news.ycombinator.com/item?id=27909041

- https://news.ycombinator.com/item?id=23270429

- https://www.youtube.com/watch?v=b2F-DItXtZs

- https://www.reddit.com/r/node/comments/i0l97y/why_does_mongo...