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



Login to add comment

Other posts in this group

Show HN: Lambduck, a Functional Programming Brainfuck

What if Brainfuck was less like C and more like Scheme?

The interpreter implemetation is pretty bad. It's not very fast, it's not very good, and it's probably not very correct. But maybe there's

Jun 6, 2025, 2:30:06 AM | Hacker news