Code Podcast 7: $300M worth of bugs
Deep dive into formal verification of ethereum contacts
0 followers
Deep dive into formal verification of ethereum contacts
0 followers
Code Podcast 7: $300M worth of bugs Reviews
getviktor.comAn AI coworker that actually does the work
Reviews