Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs

Re:Conformance Checking at MongoDB: Testing That Our Code Ma... by threeseed on Monday June 02, 2025 @08:38PM (#44164980)

MongoDB as a company is growing 20% y/y and 2B in revenue.

So very far from being a legacy product.

I still use it for new projects because (a) Atlas is genuinely a solid offering with a great price point for startups and (b) schema-less datastores have become more of a necessity as our control of data has decreased e.g. SaaS companies dictate their schema and we need to accomodate.

[ Parent | on HN ]

Re:Conformance Checking at MongoDB: Testing That Our Code Ma... by anonymousDan on Tuesday June 03, 2025 @01:33AM (#44166666)

Interesting, can you elaborate on what you mean by (b) with an example?

[ Parent | on HN ]

Re:Conformance Checking at MongoDB: Testing That Our Code Ma... by MoreQARespect on Tuesday June 03, 2025 @06:35AM (#44168423)

They're really good at sales and marketing, especially aimed at beginners.

I'm still puzzled why people use it given that it's a database and there's nothing technical it ever did better than any of its competitors. The best that can be said for it is that it works about as well in some circumstances as competing databases do.

[ Parent | on HN ]

Re:Conformance Checking at MongoDB: Testing That Our Code Ma... by Aldipower on Tuesday June 03, 2025 @07:19AM (#44168739)

What you're writing sounds like marketing to me. Really bad one...

[ Parent | on HN ]