The Haskell Cast Podcast
The Haskell Cast
http://www.haskellcast.com
Episode 11 - Austin Seipp on Security - episode of The Haskell Cast podcast

Episode 11 - Austin Seipp on Security

51 minutes Posted Mar 6, 2017 at 12:00 am.
0:00
51:34
Download MP3
Show notes

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.