▲A Good Lemma Is Worth a Thousand Theorems (2007)(math.rutgers.edu)
22 points by susam 1 day ago | 2 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 2 hours ago
(2007)