@edwinbrady we're meeting with @pirapira, formal verification engineer at Ethereum, to do an interview for @podcastcode. I wonder, what questions would you ask him if you had a chance?
-
-
(example: "Did you buy my Idris book?"---Yes, I had it on my desk when I listened to your interview.) oh, I have to go now.
1 reply 0 retweets 1 like
I would probably not ask that :). But I’d be interested in hearing how types can complement (rather than compete with) other formal methods…
10:22 AM - 2 Feb 2018
0 replies
0 retweets
1 like
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.