upvote
A Good Lemma Is Worth a Thousand Theorems (2007)

(sites.math.rutgers.edu)

22 points

by susam1 days ago |
3 comments
upvoteby whateveracct1 hours ago|
next
[-]
coyoneda lemma has been helping me out (in prod - at FAANG even!) for over a decade
reply
upvoteby LPisGood1 hours ago|
parent|
[-]
How has it helped in production software? Are you writing a lot of Haskell?
reply
upvoteby pfdietz2 hours ago|
prev|
[-]
(2007)
reply