A Good Lemma Is Worth a Thousand Theorems (2007) (sites.math.rutgers.edu)

22 points by susam 2 days ago

3 comments:

by whateveracct 2 hours ago

coyoneda lemma has been helping me out (in prod - at FAANG even!) for over a decade

by LPisGood 2 hours ago

How has it helped in production software? Are you writing a lot of Haskell?

by pfdietz 3 hours ago

(2007)

Data from: Hacker News, provided by Hacker News (unofficial) API