A Good Lemma Is Worth a Thousand Theorems (2007) (sites.math.rutgers.edu)
20 points by susam 2 days ago
whateveracct an hour ago
coyoneda lemma has been helping me out (in prod - at FAANG even!) for over a decade
LPisGood 44 minutes ago
How has it helped in production software? Are you writing a lot of Haskell?
pfdietz 2 hours ago
(2007)