💻 🐴Ngnghm Retweeted Capt'n CryptObvious
I swear that when I started this job I didn't premeditate that I'd be using my thesis work on First-Class Implementations. But introducing First-Class Implementations into the fray was a natural transformation.https://twitter.com/phanaero/status/1118391105446346752 …
💻 🐴Ngnghm 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:53 PM - 16 Apr 2019
0 replies
0 retweets
2 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!