Article URL: https://www.mongodb.com/blog/post/engineering/conformance-checking-at-mongodb-testing-our-code-matches-our-tla-specs
Comments URL: https://news.ycombinator.com/item?id=44163496
Points: 29
# Comments: 6
Created
3d
|
Jun 3, 2025, 12:20:06 AM
Login to add comment
Other posts in this group
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

Article URL: https://techcrunch.com/2025/06/05/anthr

Article URL: https://github.com/wey-gu/py-pglite
Comments URL: https://news.ycombin

Article URL: https://github.com/dagger/container-use
Comments URL: https://news
Article URL: https://itp.cdn.icann.org/en/files/con