Recent Episodes

SE-Radio Episode 298: Moshe Vardi on P versus NP

Filed in Episodes by on July 25, 2017 1 Comment
SE-Radio Episode 298: Moshe Vardi on P versus NP

Felienne talks with Moshe Vardi about P versus NP. Why is this problem so central to computer science? Are we close to solving it?  Is it necessary to solve it? Progress toward computing hard problems efficiently with SAT solvers.  How SAT solvers work,; applications of SAT like formal verification.   Related Links TU Eindhoven P […]

Continue Reading »

Welcome New Host Kishore Bhatia

Filed in Episodes by on July 18, 2017 0 Comments
Welcome New Host Kishore Bhatia

We’re pleased to welcome Kishore Bhatia to SE Radio. Kishore is a developer at heart and currently works on solving enterprise business problems at scale using blockchains. He leads the engineering team at BlockApps with new product development, infrastructure, platform engineering, and operations. With 16+ years in software development (C/C++ on UNIX, Java/Web, distributed systems and DevOps […]

Continue Reading »

SE-Radio Episode 297: Kieren James-Lubin on Blockchain

Filed in Episodes by on July 18, 2017 0 Comments
SE-Radio Episode 297: Kieren James-Lubin on Blockchain

Kishore Bhatia talks with Kieren James-Lubin about Blockchains. Topics include Blockchains, Cryptocurrency, Bitcoin, Distributed Ledger, Decentralized Apps, Ethereum, Smart Contract development with Solidity, ICO’s and Tokens.   Related Links   IEEE search for blockchains Blockchain TED Talk Ethereum Solidity Smart Contracts Truffle for testing Smart Contracts Guest Twitter: https://twitter.com/kjameslubin Guest Email: kieren@blockapps.net

Continue Reading »

SE-Radio Episode 296: Type Driven Development with Edwin Brady

Filed in Episodes by on July 11, 2017 0 Comments
SE-Radio Episode 296: Type Driven Development with Edwin Brady

Edwin Brady speaks to Matthew Farwell about Type Driven Development and the Idris Programming language. The show covers: what a type is; static vs dynamic types in programming languages; dependent types; the Idris programming language; why Idris was created. Type safe printf modelling state in Idris modelling protocols in Idris modelling concurrency in Idris type driven development and how it changes the development process. Related […]

Continue Reading »

SE-Radio Episode 295: Michael Feathers on Legacy Code

Filed in Episodes by on June 27, 2017 0 Comments
SE-Radio Episode 295: Michael Feathers on Legacy Code

Felienne talks with Michael Feathers about Legacy Code. When is something legacy? Is working on legacy different from working on greenfield code? Do developers need different skills and techniques? Testing legacy code. How to test a legacy system? When do we have enough tests to feel safe to start coding? Techniques to make legacy systems […]

Continue Reading »