I was honored to give the opening keynote at High Confidence Software and Systems (HCSS) on what has gone _right_ with the security of blockchain software. https://cps-vo.org/group/hcss_conference/program …
Show this thread
I won't post slides or video yet. I'm looking to deliver it at least once more. It touches on reasons why academic advances have failed to translate for conventional software, weighs the impact of good tooling vs testability, and has plenty of fun laughing at blockchain's expense
-
-
Let me know if this sort of talk would fit into your conference. I'd be happy to deliver it again at some point this summer before writing it up for public consumption.
Show this thread -
I also have to thank
@japesinator, Artem Dinaburg, and Lauren Pearl for helping put together the talk. It was a team effort to synthesize what we’ve learned into keynote like this one.Show this thread
End of conversation
New conversation -
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.