💻 🐴Ngnghm Retweeted Alacris
Dijkstra claimed all software should be proven correct. We at Alacris say all Blockchain DApp should be, and anyone can do it—using DSLs, layered proofs along a tower of semantics, and a Blockchain-Agnostic Model of Consensus-as-Courthttps://twitter.com/alacrisos/status/1124375935178936338 …
💻 🐴Ngnghm added,
9:06 AM - 4 May 2019
0 replies
0 retweets
5 likes
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!