Hey Cardano Gang! In the spirit of decentralization, research, and code reviewing, there’s a dev-snazzy Live AMA coming up on the 7th of May 3 pm ET / 12 pm PT between Certik & Kadena.
We know who Certik are, and Kadena is a haskell based platform focusing on ChainWeb.
There will be general coverage, but it’s well open for a deep dive. You guys are some of the leading researchers out there on DLT and feel that it would be an honour to have ya’ll join!
Then pre-ask any questions! Or even Tweet and Tag #FormalVerficationAMA and it will be addressed during it. Oh and you can definitely ask in between. Looking forward to having brilliant minds join in on the conversation!