Episode 11 - Austin Seipp on Security - a podcast by http://www.haskellcast.com

from 2017-03-06T00:00

:: ::

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.

Further episodes of The Haskell Cast

Further podcasts by http://www.haskellcast.com

Website of http://www.haskellcast.com