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 computerfan494 on Monday June 02, 2025 @08:55PM (#44165094)
I can assure you that Stripe does not regret the decision.
[ Parent | on HN ]
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 ]