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

Re:Conformance Checking at MongoDB: Testing That Our Code Ma... by Thaxll on Monday June 02, 2025 @09:04PM (#44165152)

Only here you read that MongoDB is a legacy product.

Fortnite runs on MongoDB, it's one of the largest game on the planet.

15 years ago Postgres did not have proper replication, shocking right?

[ Parent | on HN ]

Re:Conformance Checking at MongoDB: Testing That Our Code Ma... by viraptor on Monday June 02, 2025 @09:21PM (#44165275)

It didn't have replication integrated. Slony replication existed for 20 years, same as pgpool.

[ Parent | on HN ]

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

I doubt they use mongodb for the actual real time game. Probably just for the user accounts, items, skins and that sort of stuff. It could literally be done by anything else.

[ Parent | on HN ]

Re:Conformance Checking at MongoDB: Testing That Our Code Ma... by mxey on Tuesday June 03, 2025 @09:10AM (#44169657)

Did MongoDB have _proper_ replication 15 years ago?

[ Parent | on HN ]