Code Podcast 7: $300M worth of bugs

Code Podcast 7: $300M worth of bugs

Deep dive into formal verification of ethereum contacts
0 reviews
Visit website
Do you use Code Podcast 7: $300M worth of bugs?

Recent launches

Code Podcast 8: P2P People to People

Slack servers are down and work stops. Facebook sells users’ personal data to third-parties with no negative consequences to the company. Turkey successfully blocks citizens’ access to Wikipedia. Our mainstream technology makes all of these ridiculously easy.

The Internet didn’t deliver on its promise. We’re talking with people who are fixing it.

Code Podcast 7: $300M worth of bugs