Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs
#HackerNews #ConformanceChecking #MongoDB #TLAplus #Testing #Code #Engineering
Client Info
Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst