Speaking at #IOHKSummit2019 tomorrow to present ongoing work on @AlacrisOS, our blockCHain-Agnostic Operating System: using Domain-Specific Languages, Automatic Cascading Formal Verification, and as our as our Blockchain-Agnostic Model, Consensus-as-Court.https://www.reddit.com/r/cardano/comments/bdweej/we_are_looking_forward_to_meeting_you_all_at_the/ …
0 replies
0 retweets
6 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.