Capt'n CryptObvious Retweeted Capt'n CryptObvious
Language Abstraction for [V]erifiable Blockchain Decentralized Applications. https://youtu.be/0Bn2NQP2i7A?t=25260 …
The Alacris LA[V]BDA talk at #IOHKSummit2019 was well-received! Until an edited version comes out, you can watch the 2nd day feed at the 7:01:00 mark.https://twitter.com/phanaero/status/1118391105446346752 …
Capt'n CryptObvious added,
Capt'n CryptObvious @phanaero
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/ …
10:16 AM - 20 Apr 2019
0 replies
1 retweet
0 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.