A Good Lemma Is Worth a Thousand Theorems (2007) - Hacker News

Posted by susam 1 day ago

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

22 points | 3 comments

whateveracct 1 hour ago|

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

LPisGood 1 hour ago|

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

pfdietz 1 hour ago|

(2007)