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.
-
Show this thread
-
Replying to @Ngnghm
Can you point me to how they are using CL & Coq, a quick google search didn't turn up anything useful.
2 replies 0 retweets 1 like
Replying to @sbelak
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.
0 replies
1 retweet
1 like
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.
Read my blog!