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)