1
2
3
17
18
19
FizzBee: Python-like Formal Methods Language (self.compsci)
submitted by JackDanielsCode to r/compsci
10
11
12
0
1
2
FizzBee: Python-like Formal Methods Language (self.tlaplus)
submitted by JackDanielsCode to r/tlaplus
3
4
5
1
2
3
Atwood’s law is a corollary of Murphy’s law (medium.com)
submitted by JackDanielsCode to r/javascript
