On this page
kadena
Explore " kadena" with insightful episodes like "Around the Air Force — Dec. 18 (long)", "Around the Air Force - April 16 (long)", "Kadena Helps Power Misawa", "Air Force Report: Valuable Lessons" and "Air Force Report: Nepal Relief" from podcasts like ""Around the Air Force", "Around the Air Force", "Crisis Response", "Air Force Report" and "Air Force Report"" and more!
Episodes (16)
Around the Air Force - April 16 (long)
Kadena Helps Power Misawa
Air Force Report: Valuable Lessons
Air Force Report: Nepal Relief
Pacific Newsbreak for August 21, 2015
Pacific Newsbreak for October 25th 2016
Pacific Newsbreak for November 7, 2016
Pacific Newsbreak For August 24, 2017
Pacific Newsbreak March 6, 2018
Air Force Radio News 30 March 2023
Crypto & NFTs
In aflevering 5 neemt Randy Daal van het bedrijf Kadena, ons mee in de wondere wereld van Crypto en NFTs. Iedereen heeft er weleens van gehoord, maar wat zijn block chains en miners nou eigenlijk, waar kun je crypto en NFTs voor gebruiken en wat zijn de risico’s? Dit en veel meer bespreken Koen en Jette samen met Randy in deze aflevering.
(WARNING: dit is geen financieel advies 😉)
Info [capi]cast
www.capicast.nl
Info [code]capi
www.codecapi.nl
Info Kadena
https://kadena.io/
Socials
LinkedIn
Instagram
TikTok
The Bold Type: Spread Them Legs
Hashing It Out #43 - Kadena - Stuart Popejoy and Emily Pillmore
We are excited to have the Kadena team back on with an update. The erudite Stuart Popejoy and brilliant Emily Pillmore speak more on Pact, the smart contract language with built-in formal verification used in the Kadena Chainweb. We learn more about formal verification: what it means, how it works, and a bit of its limitations. They also give us an update on Chainweb itself and talk us through some of the challenges since we last spoke... AND their innovated solutions to those challenges!
show links:
- http://kadena.io
- https://kadena.io/en/resources/
- https://twitter.com/kadena_io
- https://twitter.com/sirlensalot
- https://twitter.com/emi1ypi
- EVM is fundamentally unsafe
- Turing Complete vs Turing Incomplete
Sponsorship:
We'd like to again thank [Trail of Bits] for supporting us. Go integrate high quality security into your smart contract codebase with Crytic! Stay safe out there.
Logos Press Engine includes Logos Podcast and Hashing It Out. Hashing it Out dives into the mechanisms and hardware of the technology that aid in making sovereign communities.
Hashing It Out #43 - Kadena - Stuart Popejoy and Emily Pillmore
We are excited to have the Kadena team back on with an update. The erudite Stuart Popejoy and brilliant Emily Pillmore speak more on Pact, the smart contract language with built-in formal verification used in the Kadena Chainweb. We learn more about formal verification: what it means, how it works, and a bit of its limitations. They also give us an update on Chainweb itself and talk us through some of the challenges since we last spoke... AND their innovated solutions to those challenges!
show links:
- http://kadena.io
- https://kadena.io/en/resources/
- https://twitter.com/kadena_io
- https://twitter.com/sirlensalot
- https://twitter.com/emi1ypi
- EVM is fundamentally unsafe
- Turing Complete vs Turing Incomplete
Sponsorship:
We'd like to again thank [Trail of Bits] for supporting us. Go integrate high quality security into your smart contract codebase with Crytic! Stay safe out there.
Logos Press Engine includes Logos Podcast and Hashing It Out. Hashing it Out dives into the mechanisms and hardware of the technology that aid in making sovereign communities.