
Episode 14 - Richard Eisenberg on Dependent Types in Haskell
Jun 14, 2017 - 65:59
Radio and PodcastLive Radio & Podcasts
Austin Seipp joins us to discuss Haskell security and infrastructure. We talk about how Haskell security differs from C (and where it doesn’t) and some coming changes to Cabal security. Then we discuss Cryptol: a Haskell...
Episode 11 - Austin Seipp on Security is an episode from The Haskell Cast by The Haskell Cast. Austin Seipp joins us to discuss Haskell security and infrastructure. We talk about how Haskell security differs from C (and where it doesn’t) an...
This episode belongs to The Haskell Cast.
Use the player on this page to stream the episode online.
Published Mar 6, 2017, 51:34 long, audio available.
Austin Seipp joins us to discuss Haskell security and infrastructure. We talk about how Haskell security differs from C (and where it doesn’t) and some coming changes to Cabal security. Then we discuss Cryptol: a Haskell-inspired language for implementing cryptographic algorithms in a way that more closely resembles their mathematical specification. Finally, we talk a bit about his work in maintaining the haskell.org infrastructure and his time as a GHC release manager. Along the way, Austin shares about his pet projects, including hardware projects using CλaSH.
You can listen to Episode 11 - Austin Seipp on Security online on Radio and Podcast. Open the player on this page to stream the available audio.
Episode 11 - Austin Seipp on Security is an episode from The Haskell Cast by The Haskell Cast.
This episode is 51:34 long.
This episode was published on Mar 6, 2017.
Yes. Use the heart button on the episode page to add it to your favorite episodes list.
Yes. This page shows related episodes from The Haskell Cast when more episodes are available from the podcast feed.
You can listen to Episode 11 - Austin Seipp on Security on this page when the episode audio is available from the podcast feed.
Episode 11 - Austin Seipp on Security is from The Haskell Cast by The Haskell Cast.
Published Mar 6, 2017 and 51:34 long