[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...