We’re starting in 1 hour! Formal verification can get technical fast, so we brought the right people to unpack it. Joining us: @RaoulSaffron and Everett from @rv_inc @Fricoben from @veritylab @bennylada from @vyperlang @zoep_42 and @clonker3141 from @argotorg @vilhelm_sjoberg from @CertiK Come listen in ↓ nitter.net/i/spaces/1YGNrbXQkQyGw…