This is not a critque of the work, but I have now been often encountering category theory in many of the research topics I'm working on, and even as somebody who majored in math, I sort of feel like it doesn't add much. I know ML frameworks intimately, and you really don't need category theory to describe them. But this is maybe (probably) a failure of mine, because I have not yet groked what category theory is really bringing to the table.
It's nice to see that.
Well, that's a name I preferred not to see on HN. Hamze Ghalebi is one of the people who insisted Iran must have nuclear bombs. He has defended IR(GC) government many occasions (including during & after protests and slaughter of people by govt).<p>I only saw his comments occasionally from time to time on Twitter before his account was apparently suspended, and they were, how shall I say, made you want to wash your eyes with bleach.<p>[I don't inow the policy on expressing such comments here on HN, my apologies if it goes against it, let me know if I should not]
Maybe expand ML to Machine Learning to avoid confusing with the programming language