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.
Kishore Bhatia talks with Kieren James-Lubin about Blockchains. Topics include Blockchains, Cryptocurrency, Bitcoin, Ethereum, Smart Contract development with Solidity, ICO’s and Tokens.
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.
Note that the this page shows only the 50 most recent episodes. If you want to see older episodes, you
need to select the appropriate months from the archives.
Donate
Donate some money so we can buy additional audio equipment and
improve our sound quality.
Syndication
Spread the Word
Help us advertise for SE Radio by putting
logos on your website or posters into your
office.
Get materials here!
SE
Radio is (and will continue to be) an
independent and non-commercial endeavor.
Nonetheless, we want to say 'thank you'
to the following organizations who help
us to publicize the SE Radio podcast.
