From d7d85624669f526fe854c2496e686d49b89b3aa9 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Fri, 2 Oct 2026 15:19:50 +0200 Subject: [PATCH] Haskell Interlude #87: Ed Kmett --- podcast/87/index.markdown | 16 ++++++ podcast/87/links.html | 111 ++++++++++++++++++++++++++++++++++++++ podcast/87/links.markdown | 49 +++++++++++++++++ 3 files changed, 176 insertions(+) create mode 100644 podcast/87/index.markdown create mode 100644 podcast/87/links.html create mode 100644 podcast/87/links.markdown diff --git a/podcast/87/index.markdown b/podcast/87/index.markdown new file mode 100644 index 00000000..1966db1e --- /dev/null +++ b/podcast/87/index.markdown @@ -0,0 +1,16 @@ +--- +title: Edward Kmett +episode: 87 +buzzsproutId: 19899290 +recorded: 2026-04-01 +published: 2026-10-02 +--- + +For the new Haskell Interlude, we sat down with Edward Kmett. Ed is +the Founder and Chief Scientist of Positron AI. More importantly, he's +a legend in the Haskell community for authoring many, many popular +Haskell packages, first and foremost lens - and generally turning up +the abstraction level to 11. We talk about design principles for +Haskell libraries, category theory, cache-oblivious algorithms and his +current work involving Haskell, C++, and FPGAs. Ed talks fast, so +strap in! diff --git a/podcast/87/links.html b/podcast/87/links.html new file mode 100644 index 00000000..2d35b38d --- /dev/null +++ b/podcast/87/links.html @@ -0,0 +1,111 @@ + + + + + + +links.html + + + + + + + + + + diff --git a/podcast/87/links.markdown b/podcast/87/links.markdown new file mode 100644 index 00000000..78a56c92 --- /dev/null +++ b/podcast/87/links.markdown @@ -0,0 +1,49 @@ +- [Ed's blog: Comonad Reader](http://comonad.com/reader/) +- [Google Web Toolkit](https://www.gwtproject.org/) +- [Dave Herman](https://dherman.dev/) +- [Standard ML](https://smlfamily.github.io/) +- [Node.js](https://nodejs.org/) +- [Raku (Perl 6)](https://raku.org/) +- [Pugs](https://en.wikipedia.org/wiki/Pugs_(compiler)) +- [Audrey Tang](https://en.wikipedia.org/wiki/Audrey_Tang) +- [category-extras Haskell package](https://hackage.haskell.org/package/category-extras) +- [comonads Haskell package](https://hackage.haskell.org/package/comonad) +- [Conal Elliott](https://conal.net/) +- [Book: Categories for the Working Mathematician](https://link.springer.com/book/10.1007/978-1-4757-4721-8) +- [Mark Jones](https://web.cecs.pdx.edu/~mpj/) +- [Paper: A system of constructor classes](https://web.cecs.pdx.edu/~mpj/pubs/fpca93.html) +- [Blog post: Monad Transformers from Comonads](https://comonad.com/reader/2011/monad-transformers-from-comonads/) +- [mtl Haskell package](https://hackage.haskell.org/package/mtl) +- [The Lens Library](https://lens.github.io/) +- [scalaz: Principled Programming in Scala](https://github.com/scalaz/scalaz) +- [Book: Functional Programming in Scala](https://www.manning.com/books/functional-programming-in-scala) +- [Commercial Users of Functional Programming](http://cufp.org/) +- [Ermine programming language](https://ermine-language.github.io/) +- [multiplate Haskell package](https://hackage.haskell.org/package/multiplate) +- [uniplate Haskell package](https://hackage.haskell.org/package/uniplate) +- [lens-family Haskell package](https://hackage.haskell.org/package/lens-family) +- [Movie: Ready Player One](https://www.imdb.com/title/tt1677720/) +- [linear Haskell package](https://hackage.haskell.org/package/linear) +- [Blog post: mirrored lenses](https://comonad.com/reader/2012/mirrored-lenses/) +- [lens Haskell package](https://hackage.haskell.org/package/lens) +- [microlens Haskell package](https://hackage.haskell.org/package/microlens) +- [optics Haskell package](https://hackage.haskell.org/package/optics) +- [Blog series: Cache-Oblivious Data Structures](https://comonad.com/reader/series/oblivious/) +- [Book: Purely Functional Data Structures](https://www.cambridge.org/core/books/purely-functional-data-structures/0409255DA1B48FA731859AC72E34D494) +- [Positron AI](https://www.positron.ai/) +- [SIMD](https://en.wikipedia.org/wiki/Single_instruction,_multiple_data) +- [SIMD support in ghc](https://www.cs.drexel.edu/~gbm26/projects/ghc-simd/) +- [ad Haskell package](https://hackage.haskell.org/package/ad) +- [paper: Lazy multivariate higher-order forward-mode AD](https://dl.acm.org/doi/10.1145/1190216.1190242) +- [Dan Piponi](https://blog.sigfpe.com/) +- [Pytorch](https://pytorch.org/) +- [Integer Linear Programming](https://en.wikipedia.org/wiki/Integer_programming) +- [Matt Pharr](https://pharr.org/matt/) +- [AVX-512](https://en.wikipedia.org/wiki/AVX-512) +- [Coda language](https://github.com/gingrspacecadet/coda) +- [Backpack](https://wiki.haskell.org/Backpack) +- [Edward Z. Yang](https://ezyang.com/) +- [Scott Kilpatrick](https://people.mpi-sws.org/~skilpat/) +- [Proposal: Make Semigroup as a superclass of Monoid](https://mail.haskell.org/pipermail/libraries/2015-March/025381.html) +- [Functor-Applicative-Monad Proposal](https://wiki.haskell.org/Functor-Applicative-Monad_Proposal) +- [Blog post: Procrustrean Mathematics](https://www.schoolofhaskell.com/user/edwardk/editorial/procrustean-mathematics)