Search a title or topic

Over 20 million podcasts, powered by 

Player FM logo
Artwork

Content provided by Christoffer Ekeroth. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Christoffer Ekeroth or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://podcastplayer.com/legal.
Player FM - Podcast App
Go offline with the Player FM app!

#13 Matthías Páll Gissurarson

1:31:45
 
Share
 

Manage episode 516877198 series 3662840
Content provided by Christoffer Ekeroth. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Christoffer Ekeroth or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://podcastplayer.com/legal.

What is the future of Haskell, program generation and AI? I sit down with Matthías Páll Gissurarson and try to figure this out, along with the optimal development setup... and of course, deadlifts!

Topics covered:

Haskell

Typed holes

Using AI for code generation

Lift weights, not just monads

Links:

Starting Strength

Pumping Iron

You come to me at runtime, to tell me the code you are executing does not compile

The Lambda Cube

Ghost in the Haskell

Matthias website

CSI: Haskell

Synthesis and Repair for Functional Programming: A Type- and Test-Driven Approach

The Spectacular paper

PropR: Property-Based Automatic Program Repair

  continue reading

13 episodes

Artwork
iconShare
 
Manage episode 516877198 series 3662840
Content provided by Christoffer Ekeroth. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Christoffer Ekeroth or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://podcastplayer.com/legal.

What is the future of Haskell, program generation and AI? I sit down with Matthías Páll Gissurarson and try to figure this out, along with the optimal development setup... and of course, deadlifts!

Topics covered:

Haskell

Typed holes

Using AI for code generation

Lift weights, not just monads

Links:

Starting Strength

Pumping Iron

You come to me at runtime, to tell me the code you are executing does not compile

The Lambda Cube

Ghost in the Haskell

Matthias website

CSI: Haskell

Synthesis and Repair for Functional Programming: A Type- and Test-Driven Approach

The Spectacular paper

PropR: Property-Based Automatic Program Repair

  continue reading

13 episodes

All episodes

×
 
Loading …

Welcome to Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

 

Copyright 2025 | Privacy Policy | Terms of Service | | Copyright
Listen to this show while you explore
Play