Chapters
Transcript
Episode notes
1 2 3 4 5 6 7 8 9 10 11 12 13 14
Introduction
00:00 • 2min
How'd You Like to Work in the Nordics?
01:53 • 2min
Haskell
03:46 • 2min
The UX in Agda Is a Lot Smoother, Right?
06:09 • 2min
Easy TAs
08:34 • 2min
How to Write a Tree Automata for Haskell Programs
10:21 • 3min
Is Hector a Lazy TA or Haskell Specific?
13:43 • 4min
Haskell Language Server - Is Hector Open Third?
18:08 • 5min
Haskell - An Interesting Space to Be In, Right?
23:28 • 2min
Haskell Programming
25:31 • 2min
Is This a Use Case for Haskell Program Coverage?
27:52 • 3min
QuickSpec
30:55 • 3min
Neural Network Synthesis
33:40 • 2min
A Bigger Large Language Model Can Do It for You
35:52 • 3min