News for hackers. Stuff that matters.

A comment on Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs. Parent comment

Re:Conformance Checking at MongoDB: Testing That Our Code Ma... by senderista on Tuesday June 03, 2025 @01:21PM (#44172359)
Basically it requires you to write the query plan yourself, which IMO is not a bad idea for an OLTP system.
[ Parent | on HN ]

There are no comments on this comment yet.