@bascule It's probably not totally impossible. Actor Theory is a thing, there's a wikipedia entry for it. Formal methods aren't _that_ hard.
I'd love to think there's a way to formally prove or disprove the "pure" form of Celluloid's concurrency model is truly deadlock-free
-
-
-
@jfredett I for one don't understand process calculi -
@bascule Eh, they're not so hard. Not much more complicated than, say -- Haskell's type system.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.