A Liveness Example in TLA+ (surfingcomplexity.blog)
77 points by skeptrune 5 days ago | 11 comments
27177 points by skeptrune 5 days ago | 11 comments
27193 points by felixc a day ago | 54 comments
272783 points by Keavon 6 days ago | 127 comments
273188 points by refset 7 days ago | 49 comments
274128 points by jmward01 4 days ago | 72 comments
275767 points by MrVandemar 7 days ago | 131 comments
27640 points by ingve 8 days ago | 15 comments
27712 points by SmashingDocs 2 days ago | 0 comments
278128 points by isaacfrond 7 days ago | 40 comments
279129 points by Smaug123 6 days ago | 61 comments
280223 points by nikodunk 8 days ago | 248 comments
28129 points by mpweiher 2 days ago | 3 comments
28216 points by tusslewake 3 days ago | 0 comments
28375 points by fanf2 2 days ago | 17 comments
28437 points by pncnmnp 8 days ago | 5 comments
28576 points by fewgrehrehre 6 days ago | 70 comments
286106 points by davikr a day ago | 16 comments
287390 points by begoon 3 days ago | 228 comments
288640 points by whatever3 7 days ago | 191 comments
28915 points by gurjeet 3 days ago | 4 comments
290120 points by tcfhgj 3 days ago | 161 comments
291225 points by Terretta 7 days ago | 272 comments
2925 points by adunk 2 days ago | 0 comments
293216 points by veggieroll 6 days ago | 99 comments
294376 points by shchegrikovich 8 days ago | 154 comments
295164 points by undercut 6 days ago | 40 comments
29641 points by reverseCh 2 days ago | 52 comments
297174 points by thunderbong 5 days ago | 210 comments
298142 points by Tomte 7 days ago | 34 comments
299286 points by Twirrim 4 days ago | 347 comments
300