Conformance checking at MongoDB: Testing that our code matches our TLA+ specs (mongodb.com)
109 points by todsacerdoti 6 days ago | 63 comments
271109 points by todsacerdoti 6 days ago | 63 comments
271189 points by harvie 2 days ago | 30 comments
272168 points by neocanable 5 days ago | 94 comments
2735 points by wjb3 20 hours ago | 2 comments
27431 points by mraniki 2 days ago | 3 comments
27592 points by blobcode 8 days ago | 19 comments
276183 points by sohkamyung 8 days ago | 32 comments
277245 points by Brajeshwar 4 days ago | 162 comments
27817 points by cratermoon 3 days ago | 9 comments
27927 points by geox 2 days ago | 19 comments
28024 points by karlperera 2 days ago | 11 comments
2815 points by clairegiordano 21 hours ago | 0 comments
28260 points by Jtsummers 6 days ago | 20 comments
283196 points by Kaibeezy 8 days ago | 379 comments
2849 points by bradwoodsio 2 days ago | 1 comment
285252 points by GouacheApp 8 days ago | 162 comments
28633 points by thunderbong 2 days ago | 30 comments
287165 points by 1659447091 11 days ago | 87 comments
28851 points by keepamovin a day ago | 66 comments
289157 points by wucke13 10 days ago | 51 comments
29054 points by JumpCrisscross 8 days ago | 111 comments
2915 points by stock1218 2 days ago | 0 comments
292407 points by hoakiet98 10 days ago | 81 comments
293144 points by azhenley 10 days ago | 74 comments
29416 points by eaglepeak 3 days ago | 7 comments
29557 points by LAsteNERD 3 days ago | 42 comments
29667 points by luisb 5 days ago | 43 comments
297178 points by rjpower9000 8 days ago | 76 comments
298403 points by srijansriv 6 days ago | 99 comments
29931 points by r4um 4 days ago | 0 comments
300