Lars HupelNov 9, 2018
Hillel is literally making the audience gnash their teeth #CodeMesh
Show threadLars HupelNov 9, 2018

The number of states in distributed systems grows fast!

states = (m n)(m n)!/m! ↑n

where n is the number of agents and m is the number of steps

#CodeMesh @[email protected]

Show threadLars Hupel

Code is not Design. It cannot be. It shouldn't be.

#CodeMesh @[email protected]

Nov 9, 2018 at 2:43pmMoa
Show threadLars HupelNov 9, 2018

TLA+ has unfamiliar syntax. Erlangers can empathize with that.

#CodeMesh @[email protected]

Show threadLars HupelNov 9, 2018
A lot of companies are using TLA+ #CodeMesh @[email protected]
Show threadLars HupelNov 9, 2018
OH (from the audience) "Oh no, another thing I'll have to learn"