Invite: Formal Verification Discussion with Certik & Kadena May 7 Discord

[herimtude-flow]

Hey Altcoinstalks 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!

You can RSVP here LINK:http://No link shortners - please include original link/FVkadenaAMA
Or directly join their LINK:https://discord.io/kadena
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!

[aiviaa485]

Certik and Kadena are cryptocurrency-based companies?

If so, then why do you write in the SF Altcoins section?
I think this thread must be moved by the Moderator to the SF Announcement.

[herimtude-flow]

Certik and Kadena are cryptocurrency-based companies?

If so, then why do you write in the SF Altcoins section?
I think this thread must be moved by the Moderator to the SF Announcement.

Apologies, I thought that this post would also bring about discussions on formal verification methods on altcoins in general. Also, Certik doesn't have a Token itself, they audit code and use formal verification to assess the code. Kadena is Blockchain based. The AMA will be conducted online via Discord in a live voice channel, nowhere actually phsical! Anyways, feel free to move this thread to a more appropriate board!

[dragononcrypto]

Certik and Kadena are cryptocurrency-based companies?

If so, then why do you write in the SF Altcoins section?
I think this thread must be moved by the Moderator to the SF Announcement.

Apologies, I thought that this post would also bring about discussions on formal verification methods on altcoins in general. Also, Certik doesn't have a Token itself, they audit code and use formal verification to assess the code. Kadena is Blockchain based. The AMA will be conducted online via Discord in a live voice channel, nowhere actually phsical! Anyways, feel free to move this thread to a more appropriate board!

I'm confused, you say Certik isn't a token but I see it listed as an ICO. Kadena, while being blockchain-based, I see is raising $15 million for it's ICO.
Anyway I'm moving it to ICOs / Token Offerings board, as while this is probably an interesting AMA on blockchain technology, there is still ICO subtext x2.