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

Re:Conformance Checking at MongoDB: Testing That Our Code Ma... by guappa on Tuesday June 03, 2025 @08:24AM (#44169216)

mongodb is not open

[ Parent | on HN ]

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

I disagree with that. The Server Side Public License is more open than the AGPL.

In the same sense that the GPL is more open than the MIT license; more viral requirements for openness are generally a good thing. I don't want Amazon and the ilk deploying hosted Mongodb clusters.

[ Parent | on HN ]

Re:Conformance Checking at MongoDB: Testing That Our Code Ma... by guappa on Tuesday June 03, 2025 @08:50AM (#44169440)

People have the most varied creeds and faiths. However the facts are that it doesn't respect freedom 0.

[ Parent | on HN ]

Re:Conformance Checking at MongoDB: Testing That Our Code Ma... by otabdeveloper4 on Wednesday June 04, 2025 @10:12AM (#44180936)

Freedom of what? Freedom of business for cloud providers? I don't give a shit about that.

Open source for me is a hedge against risks. (Especially political and/or legal ones.) Mongodb's current license resolves that issue for me perfectly.

[ Parent | on HN ]

Re:Conformance Checking at MongoDB: Testing That Our Code Ma... by usoBordal on Wednesday June 04, 2025 @03:49PM (#44184769)

Agreed. It seems like something really bad is going on. I hope the Mongodb security team will handle it ASAP.

[ Parent | on HN ]