The #hashgraph launch event was impressive. Beyond the annoying hype, the optimal consensus algorithm. In practice, >1e5 tps with final consensus in ~3s. And already plenty of applications, community, institutional partners. Bonus: Common Lisp and Coq.
-
-
The swirlds SDK contains a jar of ABCL 1.4 plus a bunch of compiled CL code (unhappily, being phased out I'm told). Leemon Baird insisted on formal methods and their using "C o q" (spelled out, not pronounced) in his presentation.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.