36 ms·
Who is upvoting this? I love category theory and use it to reason about types and programs, but what even is this article. OP's glossary entry on "Kernel Catego
by ebingdom 5y ago
Who is upvoting this? I love category theory and use it to reason about types and programs, but what even is this article. OP's glossary entry on "Kernel Category" makes me feel that they are just making up nonsense.
I would like to discuss the problem of how so many programmers are turned off by category theory despite the fact that they could benefit from learning it, but I don't know that this article really provides the prompt for such a discussion.
- kragen 5y agoIt's a wonderful note about the difficulty of explaining things to people. It has nothing to do with category theory, so the title is bad, but unfortunately HN's policy doesn't permit providing a better title.
- Aicy 5y agoI don't think it's wonderful since it does not explain itself well at all. Quite ironic really. Personally I always aspire to think like Richard Feynman - if I can't explain something in plain English to a novice then I don't understand it well enough myself.
- kragen 5y agoI learned an enormous amount from Norm, but Feynman is definitely easier to read. However, most undergraduates who went through Feynman's physics classes found them extremely difficult. So maybe Feynman didn't quite succeed in that ambition either.