A Good Lemma Is Worth a Thousand Theorems (2007)

(sites.math.rutgers.edu)

22 points | by susam 2 days ago ago

3 comments

  • whateveracct 2 hours ago

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

    [-]
    • LPisGood an hour ago

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

  • pfdietz 2 hours ago

    (2007)