5/18/2026 at 2:50:34 AM
coyoneda lemma has been helping me out (in prod - at FAANG even!) for over a decadeby whateveracct
5/18/2026 at 3:02:29 AM
How has it helped in production software? Are you writing a lot of Haskell?by LPisGood
5/16/2026 at 5:56:41 AM
A Good Lemma Is Worth a Thousand Theorems (2007)
https://sites.math.rutgers.edu/~zeilberg/Opinion82.htmlby susam