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 hobs on Tuesday June 03, 2025 @01:57PM (#44172748)
Interesting, a lot of ex stripe eng I talk to say the opposite, but that they made it work.
[ Parent | on HN ]

There are no comments on this comment yet.