DiscoverFunctional FuturesAcross the Kmettverse with Edward Kmett
Across the Kmettverse with Edward Kmett

Across the Kmettverse with Edward Kmett

Update: 2022-08-18
Share

Description

In this month’s episode of Functional Futures, our guest is Edward Kmett – Head of Software Engineering at Groq and the author of many widely-used Haskell libraries.  In the episode, we talk about his life story – how he got from being broke and in debt to learning category theory and authoring numerous Haskell libraries. We also talk about programming languages and projects beyond Haskell that make Edward excited right now.  

Get FP merch that doesn't suck. 👇

https://shop.serokell.io/



Follow on social media:

https://twitter.com/kmett

https://twitter.com/serokell



Some items we talked about:  

https://hackage.haskell.org/package/lens

https://topos.institute/

https://intelligence.org/

https://groq.com/

https://github.com/leanprover/lean4

http://www.ats-lang.org/

https://github.com/ekmett/coda

https://github.com/ekmett/cadenza

https://github.com/enso-org/enso



Talks we mention:  

Stop Treading Water – https://www.youtube.com/watch?v=Z8KcCU-p8QA

Type Classes vs. the World – https://www.youtube.com/watch?v=hIZxTQP1ifo&t=521s

Learn more about us: https://serokell.io/

Comments 
00:00
00:00
x

0.5x

0.8x

1.0x

1.25x

1.5x

2.0x

3.0x

Sleep Timer

Off

End of Episode

5 Minutes

10 Minutes

15 Minutes

30 Minutes

45 Minutes

60 Minutes

120 Minutes

Across the Kmettverse with Edward Kmett

Across the Kmettverse with Edward Kmett

Serokell