7 ms·
Category Theory for the Working Hacker [video]
- pmoriarty 10y agoLtU discussion: http://lambda-the-ultimate.org/node/5366 http://lambda-the-ultimate.org/node/5366
- deleted 10y ago[deleted]
- khrm 10y agohttps://www.youtube.com/watch?v=I8LbkfSSR58&list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_ https://www.youtube.com/watch?v=I8LbkfSSR58&list=PLbgaMIhjbm... I love this series
- rv11 10y agoI read his blog, never new he had some videos. https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ https://bartoszmilewski.com/2014/10/28/category-theory-for-p... interesting enough.
- Tammy5 10y agoI don't know about hacking but when my ex was cheating on me, a friend of mine referred me to Mr Robert I thought it wasn't real but he later proved me wrong by helping me to spy on my ex-husband and got me all the necessary evidence I needed. He helped me to hack and spy on his emails, mobile , all his social media and his bank accounts, Robert did all this remotely without touching his devices. You can contact him with mastershield55@gmail.com if you are in the same shoe as I was..
- hellofunk 10y ago> a friend of mine referred me to Mr Robert I think you mean Mr Robot?
- Koshkin 10y agoTo be honest, Category Theory is the last thing a software developer ("working hacker") should worry about learning. It is indeed a fun subject, it has grown into a large branch of algebra, it has connections with functional programming (lambda calculus) etc. But if one wants to be a good programmer, there is so much of really useful and important (and difficult) stuff to learn before you can even come to appreciate what, if anything, knowing Category Theory can do to improve your software engineering skills, that I would dare to characterize it just as an obscure subject that in all likelihood is not worth spending your time on.
- Nydhal 10y agoI'm curious, what should come before as a far as a mathematical subject ? Graph theory ? Number theory ?
- Koshkin 10y agoThe purely mathematical subjects that are deemed important for programmers are parts of the so-called Discrete Mathematics. The Wikipedia article on it lists what is included. It is a vast collection of topics, but discerning what would be more important (or interesting) for you should not be hard.
- tnecniv 10y agoDepends on what you do. I work in robotics, so probability and linear algebra are the two most indispensable subjects I know. Graph theory might be a little more generally applicable. At the end of the day, you don't need a lot of math to write CRUD apps. The more math you know, though, the more approaches you'll have to formulate and solve problems.
- SomeStupidPoint 10y agoA lot of graph theory is implemented as linear algebra, using things like adjacency matrices.
- Jaxan 10y ago
- usgroup 10y agoIntellectual masturbation much?
- javitury 10y agoIs the diagram at 30:05 right? It says: (A+C)x(B+C)=(A+B)xC However I can't stop thinking it should be: (AxC)+(BxC)=(A+B)xC
- hoprocker 10y agoThat's how I learned it in grade school, yup.
- gravypod 10y agoWhy don't things like Category Theory and Set theory update their terminology to align with more modern words of describing these? Why is a "function" and "arrow"? A "function" implies an operation that is part of a larger system of organized operations. An "arrow" implies stone age technology. One is infinity more descriptive in my opinion. Is there a reason for this?
- tobbe2064 10y agoThe word function has a sort of precis mening in math as a rule mapping each NUMBER in some domain to some NUMBER in a codomaon. The word arrow however can refer to any directed relation including less than or divides or what not, as long as they are composable and associative
- tobbe2064 10y agoFurther math is sort of a stone age technology
- jonsterling 10y agowtf are you on about? That is not how math works.
- deleted 10y ago[deleted]
- tobbe2064 10y agoI apologise for my drunken and incorrect silliness. Aside from that, would you please enlighten as to what you meant by "that's not how math works"?
- jonsterling 10y agoSorry for my harsh comment; here's what I'm thinking of... In math, you are dealing with many different kinds of object, not just numbers. In fact, one of the big realizations that led to modern mathematics is that not all mathematical objects can even be coded as numbers! Your remark about "arrow" being more general than function is correct; but functions do not map only between sets of numbers, but between arbitrary sets, some of which contain elements that are not numbers, or even encodable as such.
- nickpsecurity 10y agoA nice presentation I found to introduce software engineers to category theory and its areas of application: http://www.cs.toronto.edu/~sme/presentations/cat101.pdf http://www.cs.toronto.edu/~sme/presentations/cat101.pdf I don't know category theory so I can't vet it. My skimming of it did show it was interesting, though.
- emblem21 10y agoThis is fantastically timed and very well explained. Our company is working deeply with Category Theory right now as we believe programming in the future will find itself focused primarily on the task of orchestrating AI to code.
- adamnemecek 10y agoWhat company is that?
- emblem21 10y agohttp://www.emblem21.com http://www.emblem21.com
- Yxven 10y agoAs a working programmer that is curious about category theory, I feel like this misses the mark completely. I watched this yesterday, and this is what I remember: 1) I will tell you why category theory is relevant to you, the working programmer. 2) Here are the 2 most important data structures that you don't use in your day job. 3) Look at how they relate in this mathy not applicable way. 4) Conclusion: lambda calculus is awesome. What I would like to see is: 1) I will tell you why category theory is relevant to you, the working programmer. 2) Here is a realistic but simplified problem and a solution written in python that is obviously the wrong approach to solving the problem. With category theory, we know this is the wrong approach because the math is wrong (and don't go into the math). 3) Here is another example that seems like a decent approach to solving the problem. With category theory, we know this is the wrong approach because the math is wrong (and don't go into the math). Doing it our way has these benefits... 4) Conclusion: learn category theory to become a better programmer. If you can't do that, find some other way to illustrate the concrete benefits of learning category theory. If there aren't any concrete benefits, it's like telling baseball players they should learn physics to have a better understanding of baseball.