Clojure π-Calculus

[Clojang @clojang]

More #Clojure/#Erlang goodness: new versions of the OTP node agent and high-level API have been released: https://t.co/q8QaKVC2UF #lfe #elixir #jvm

[Clojang @clojang]

Brushing off the dust! New post announcing some new releases for Erlang/Java and Erlang/Clojure interop #lfe #elixir

* https://t.co/Un1RxGCeeq

[Clojure π-Calculus @clozhang]

Publications by Professore Davide Sangiorgi: https://t.co/oUw17H829E #picalculus https://t.co/Ud4BrKnTyo

[Clojure π-Calculus @clozhang]

Publications by Professor Matthew Hennessy: https://t.co/19Mtyn2L7o #picalculus

[Clojure π-Calculus @clozhang]

https://t.co/A5Xg9RLRf4 #redis #crdt

[Clojure π-Calculus @clozhang]

https://t.co/eWRZpUX0BN

[Clojure π-Calculus @clozhang]

https://t.co/3RSZUvNXAA

[Heather Miller @heathercmiller]

Proud of this! Video for my #PWLConf talk on distributed programming languages is up! ❤️
https://t.co/pDkYKv3Yyi

[Chris Ford @ctford]

Great historicised talk by @heathercmiller - intellectual history is not a CRDT, order and provenance matter. https://t.co/p6ipEIZF89

[Zachary Larson @zacharylarson]

@papers_we_love https://t.co/L2V4vYmSz3 Higher category models of the #PiCalculus #distributed #concurrent #CategoricalSemantics

[Clojure π-Calculus @clozhang]

Milner, Elements of Interaction - https://t.co/r4YwoBphgC Turing Award Lecture, 1993 #picalculus

[Clojang @clojang]

@clozhang Especially since @clozhang is not going to be tied in any way to the legacy of Erlang's implementation of the π-Calculus.

[Clojang @clojang]

@clozhang 😢 but also 😃 -- this is exciting! And it makes sense to put the Clojure-only stuff in its own place.

[Clojure π-Calculus @clozhang]

The new github org and all the new resources are briefly covered in the latest post on the new blog: https://t.co/hvd7UFeyxG

[Clojure π-Calculus @clozhang]

The old @clojang org has been split; the new one is Clojure-only (no Erlang/LFE/JInterface stuff): https://t.co/F7iXQOXs6k

[Clojure π-Calculus @clozhang]

Mail list has been created: https://t.co/2PEs9t08ZG

[Clojure π-Calculus @clozhang]

The slack channel is up: https://t.co/71vmehRROe

[Clojure π-Calculus @clozhang]

We've got a new logo 😁:

[Clojure π-Calculus @clozhang]

New github org: https://t.co/TTalILjPy2 & new logo : https://t.co/Y8sLaOVxsx