NHacker Next
  • new
  • past
  • show
  • ask
  • show
  • jobs
  • submit
▲A Good Lemma Is Worth a Thousand Theorems (2007) (sites.math.rutgers.edu)
22 points by susam 2 days ago | 3 comments
whateveracct 1 hours ago [-]
coyoneda lemma has been helping me out (in prod - at FAANG even!) for over a decade
LPisGood 1 hours ago [-]
How has it helped in production software? Are you writing a lot of Haskell?
pfdietz 2 hours ago [-]
(2007)
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
Rendered at 04:18:52 GMT+0000 (Coordinated Universal Time) with Vercel.