14 episodes

Code Podcast is about ideas that shape the way we build software. It's like Planet Money for developers.

Each episode we interview people with different views on a single topic. We break down complex ideas to present why and how they are used to build modern software.

Code Podcast Code Podcast

    • Technology

Code Podcast is about ideas that shape the way we build software. It's like Planet Money for developers.

Each episode we interview people with different views on a single topic. We break down complex ideas to present why and how they are used to build modern software.

    Bonus Episode: Richard Bartlett on Decentralised Organising

    Bonus Episode: Richard Bartlett on Decentralised Organising

    Show notes: https://codepodcast.com/posts/2018-09-17-richard-bartlett-on-decentralised-organising/

    This is the interview we did with Richard, founder of Enspiral, Loomio and The Hum. We got introduced after our episode on peer-to-peer tech was out. We thought it would great to talk about decentralisation in the social context, and that's what Rich has a lot of experience in.

    We talk about benefits and challenges of working in an organisation where responsibility, risk and reward are distributed across members. This is not a technical discussion, this is a conversation about how can a group of anarchists work together towards common goal.

    • 52 min
    Bonus Episode: Mathias Buus on BitTorrent and Dat

    Bonus Episode: Mathias Buus on BitTorrent and Dat

    Show notes: https://codepodcast.com/posts/2018-08-30-mathias-buus-bittorrent-dat-protocol/

    Mathias is the lead developer of Dat protocol. He also works on Torrent-stream (BitTorrent implementation in Javascript), Beaker Browser, Node.js and other projects.

    We talk about BitTorrent, Dat, Git and the future of decentralized software.

    • 55 min
    Bonus Episode: Steve Klabnik on Concurrency and Rust

    Bonus Episode: Steve Klabnik on Concurrency and Rust

    Show notes: https://codepodcast.com/posts/2018-07-19-steve-klabnik-rust-concurrency/
    Support us on Patreon: https://www.patreon.com/codepodcast

    This is the unabridged interview with Steve Klabnik that we originally did for the episode on concurrency in Jan 2016. Steve together with Carol Nichols just released a new book "The Rust Programming Language", so we decided to revisit the early stuff :)

    Music by @Mid_Air

    • 40 min
    8: P2P People to People

    8: P2P People to People

    Show notes: http://codepodcast.com/posts/2018-07-05-p2p-people-to-people/
    Patreon: http://codepodcast.com/patreon

    Slack servers are down and work stops. Facebook sells users' personal data to third-parties with no negative consequences to the company. Turkey successfully blocks citizens' access to Wikipedia. Those are all results of peoples' decisions of course, but there's also something else at play. Our mainstream technology stack makes execution on all of those decisions ridiculously easy.

    The Internet didn't quite deliver on its original promise and today we're talking with people who are fixing it.

    ---

    00:07 Introducing the topic
    01:57 Limitations of centralized systems
    04:57 Introducing Jon-Kyle
    05:57 Introducing Zenna
    08:23 Introducing Mathias
    11:20 BitTorrent and scale
    14:19 Multiple versions of truths, version control systems (Jon-Kyle)
    19:16 Introducing Christian
    20:08 Git internal structure
    22:03 Benefits of Git architecture
    27:03 Why is Git not dicentralized
    32:23 How Dat started, tech description of the protocol (back to Mathias)
    45:28 Dat usecases (Mathias and Jon-Kyle)
    51:42 Future of Dat (Mathias)
    53:54 Introducing Mikey
    55:07 History of Scuttlebutt
    56:22 How Scuttlebutt works
    65:30 Usecases for Scuttlebutt
    69:29 Vision for the decentralized future (Zenna)
    71:39 Final thoughts on the topic, summary, thanks

    • 1 hr 16 min
    7: $300M worth of bugs

    7: $300M worth of bugs

    Link to the website: https://codepodcast.com/posts/2018-03-12-episode-7-300m-worth-of-bugs/

    Imagine – your company's code and data are exposed. How long will it take for malicious hackers to find vulnerabilities? To steal users' personal information?

    For developers that build on Ethereum that situation is not a distant possibility, it's an everyday reality. All the code, the state and the calls to their programs are publicly accessible and live forever on the blockchain. Add to it the fact that their code will manipulate money. Getting rid of *all* the bugs and holes becomes crucial.

    In this episode we'll talk about software that finds bugs in other software. Specifically ways of verifying Ethereum smart contracts.

    The story begins in the summer of 2017 when someone is able to steal $30M worth of ether.

    ---

    Episode was produced by [Andrey Salomatin](https://flpvsk.com).

    ## Support the podcast

    If you get value from the podcast, please consider supporting us on https://codepodcast.com/patreon

    Alternatively, you can also send us eth to this address: 0x730075d42c3BC0EA38c23A6D0D9611E9d78C5Af0

    ## Guests

    * [Santiago Palladino](https://twitter.com/smpalladino)
    * [Matt Condon](https://twitter.com/mattgcondon)
    * [Yoichi Hirai](https://twitter.com/pirapira)


    ### Links

    * [Ethereum](https://ethereum.org/)

    * [Ethereum Development
    Tutorial](https://github.com/ethereum/wiki/wiki/Ethereum-Development-Tutorial)

    * [Parity](https://www.parity.io/)

    * EVM-compatible languages
    * [Solidity](https://github.com/ethereum/solidity)
    * [Serpent](https://github.com/ethereum/serpent)
    * [Vyper](https://github.com/ethereum/vyper)
    * [Bamboo](https://github.com/pirapira/bamboo)

    * Wiki: ["Abstract
    interpretation"](https://en.wikipedia.org/wiki/Abstract_interpretation)

    * Symbolic execution
    * Article ["Introducing Mythril: A framework for bug hunting on the Ethereum blockchain"](https://hackernoon.com/introducing-mythril-a-framework-for-bug-hunting-on-the-ethereum-blockchain-9dc5588f82f6)
    * [Manticore](https://github.com/trailofbits/manticore)

    * Wiki: ["Formal Verification"](https://en.wikipedia.org/wiki/Formal_verification)

    * [The Hydra Project](https://thehydra.io/)



    ### Links: Santiago

    * [OpenZeppelin website](https://openzeppelin.org/)
    * [OpenZeppelin Slack](https://slack.openzeppelin.org/)
    * [ZepellinOS](https://zeppelinos.org/)
    * Article ["The Parity Wallet Hack
    Explained"](https://blog.zeppelin.solutions/on-the-parity-wallet-multisig-hack-405a8c12e8f7)


    ### Links: Matt

    * [XLNT website](https://xlnt.co/)
    * Article ["Getting Up to Speed on Ethereum"](https://medium.com/@mattcondon/getting-up-to-speed-on-ethereum-63ed28821bbe)
    * Article ["Announcing the Steak
    Network"](https://medium.com/truebit/announcing-the-steak-network-c3d44290d53d)


    ### Links: Yoichi
    * Gist ["Formal Verification of Ethereum
    Contracts"](https://github.com/pirapira/ethereum-formal-verification-overview)
    * [Bamboo](https://github.com/pirapira/bamboo)
    * [A Lem formalization of EVM and some Isabelle/HOL proofs](https://github.com/pirapira/eth-isabelle)
    * Video ["Formal verification of EVM bytecodes"](https://www.youtube.com/watch?v=Mzh4fyoaBJ0)
    * Video ["Formal Verification of Smart Contracts"](https://www.youtube.com/watch?v=cCUGMAnCh7o)


    ### Music

    [Mid-Air!](https://soundcloud.com/mid_air)

    • 45 min
    Announcement: Patreon Launch

    Announcement: Patreon Launch

    Exciting news!

    1. Code Podcast will be back with a new episode next week.
    2. We have launched a Patreon campaign to help us release episodes regularly. Check it out and contribute here: https://codepodcast.com/patreon

    • 1 min

Customer Reviews

Twopoint718 ,

Like "This American Life" but for software

I've really been enjoying this podcast. The episodes are well done; I went through the first four in a day!

The format is polished and has a unique feel among tech podcasts. Each episode is a deep dive on a topic, consisting of a series of interwoven segments. It alternates between examples and a guest's take on the topic in their own words.

Top Podcasts In Technology

Listeners Also Subscribed To