Me when I was a student: Who cares about theory, I want to learn Java and get a job Me today: God I wish I wasn't so stupid back then

@cya3mdirl158

5 жыл бұрын

Bollean.of("TRUE");

@genericperson8238

3 жыл бұрын

Interesting. I'm currently doing graduate school in CS and I'm torn between starting to put in more effort to learn practical stuff for employability reasons and to chase more fun abstract CS concepts. What makes you regret your decision?

@darksniper87

3 жыл бұрын

@@genericperson8238 well I would probably invest my time on a programming language that can support those things instead on a dummy one. Of course you can change any time but it's much harder (everyone wants you to have experience on the language they request)

@hadrianhughes3825

3 жыл бұрын

@@genericperson8238 I totally agree with Calum Tatum. Do what interests you. There's absolutely nothing wrong with focusing on practical skills that will land you a good job, and you'll learn a lot doing that. The route you take now doesn't have to determine your whole career. If eventually you're not able to pursue your interests through work, then at that point you can make a change and look more into the theory/academic side of things. Have fun!

@alvarozambranasejas5320

2 жыл бұрын

Best comment ever, this is true and it applies to many stuffs, in some point we end up revisiting many concepts and fundamentals.

holy shit frank zappa is an amazing teacher

@wojciechwisniewski8984

3 жыл бұрын

he looks more like Ritchie Blackmore

@user-qx8hl7vu7b

2 жыл бұрын

:))

@rogerhom1512

2 жыл бұрын

Indigo Montoya. Each time I watch these videos, I half expect him to say "You killed my father. Prepare to die."

@Love-is-all

2 ай бұрын

This comment is golden lol

45:18 "...maybe our brains are such that we have to see structure everywhere and if we can't find this structure, we just give up. So in this way, category theory is not really about mathematics or physics. Category theory is about our minds - how our brains work". Thank you so much for this moment - it was incredibly poetic and enlightening! The way you describe things reminds me so much of Carlo Rovelli's writing. You bring much-needed joy and passion to the subject and you are a phenomenal teacher.

It is insane how many people have now watched this lecture over the years, brilliant! I hope most of us don't hate math

Math itself is interesting, philosophy is fascinating, but when you combine the two like Bartosz does in this series, you get some mind-blowing stuff!

Thanks for keeping this playlist open. In the last 3 years, I came back to this playlist numerous times to learn about category theory. One of the hardest topic to follow as a part-time thing. But when the teacher is such enthusiastic, I can learn at least something.

It was DEFINITELY the BEST class I've ever seen on the subject! Thank you so much!!!!

This is so great that I just want to cry! As a CS student coming from a philosophy background this is a far too rare experience - so much introspective into various sciences. Here is a virtual thank you hug!

I asked a popular AI chatbot about online courses on lambda calculus and got a recommendation for your lectures. Who would have thought 7 years ago! Dzięki i pozdrawiam!

Watched this last night, woke up the whole family loling at "Object Oriented programming... you get data races for free." That needs to be a meme if it isn't already.

One of the best, most eloquent and captivating lecture(er)s. Thanks very much!

I watched this whole lecture series and loved it! If you're tired of the clever metaphors and are ready to cultivate a deeper understanding of Haskell and functional programming, this is a joyful place to start.

As a grad student in philosophy with interests in model theory and the philosophy of language, this lecture was really amazing. It was entertaining but also deep and insightful. Also, the speaker has clearly studied some philosophy, which is such a nice treat (given my background). I will share this video to the people I care about, because it is so cool! Seriously, this content is amazing.

I would live in my faculty if every teacher started a lesson like this

I think this lectures deserve to get on the UNESCO immaterial heritage list. Last time I saw something this well presented and inspiring I was reading Godel Escher Bach.

The amount of passion and the depth of explanation towards the end had me enthralled. Thank you Bartosz for the content for free.

Bartosz was really traumatised by C++ template programming. I sympathise :P

@demokraken

4 жыл бұрын

it happens, when the language becomes a burden. The reasoning behind C/C++ was to create an instrument for more complex problems, but something went wrong along the way and we got yet another complex problem which is language itself. For some people playing with their instruments is fun and self sufficient , than solving problems, but for majority of us (I hope) problem solving is the goal.

Hi there Bartosz, is it possible to enable community translation for these videos? I'd like to transcribe these lectures for hard-of-hearing people.

@DrBartosz

7 жыл бұрын

Done!

@BestTheGuy

6 жыл бұрын

Man, just wanted to thank you! English is not my native language, and although nowadays I'm generally good in audio, it is always easier to have subtitles under the eyes.

@bobblah78

4 жыл бұрын

Thanks!

@ashwinmathi8042

2 жыл бұрын

You goated for this

@tmanpugh

Жыл бұрын

@@DrBartosz h y

These videos make me feel in a special way. After seeing so many seemingly unrelated things in college, like islands, I came here and can now appreciate the beauty of these ideas that are both profound and simple like never before. Even my mother, who knows nothing about these things, became interested in this topic when I explained it to her and now she is watching your videos. Thank you very much for such a brilliant and motivating presentation. You are a role model for me.

That content (and the Author foremost) is like a gift from heaven. It's great we can access it for free in the Internet. Thank you very much and warm greetings from not so well "categorised" Poland ;-)

Great high-level intro with a deep, almost philosophical understanding. As a 'programming engineer' I really appreciate Your elegant mathematically-oriented point of view.

I saw this video in KZread and jumped in my chair! Your blog posts about Category Theory and Haskell got me through a semester of introductory Category Theory course. Thank you so much for such excellent resource and high quality delivery!

A captivating introduction: big thanks to Bartosz. I was interested in this subject for quite a while but was hesitant to approach it. Now I'm hooked.

I can't express how much greatful I am for this lecture. It is not only explains the meaning of Cathegory Theory but touches the very root of philosophy. The question on relations of epistemology and onthology is the essential one. That's why there was a very long dispute on reality of universals.

The amount of philosophy, math, physics, etc. covered is breathtaking yet composed together in an understandable and engaging whole. Bravo!

That was captivating. That feeling where you're realising that the universe is truly an incredible place.

I went from being frustrated by nested trait bound error in Rust to this channel. Internet is such an amazing place. I watched some other videos but I'm not quite sure its benefit before. Your video pointed them out clearly, thank you. This category theory thingy sounds really interesting but I figure I'd need a couple thousand hours before getting good at it.

An absolutely beautiful first class. Great structure (ha!) and build up. Got me pumped for the rest of the series!

I love the making-fun-of-mathematicians part (around 30 minute), it's so friendly :D Great mix of programming, maths and philosophy in this video, thank you!

Bro that conclusion was EPIC!

Thanks so much. This is a very rare type of lecture, that connects so many dots. Truly mind blowing.

You are amazing! I could listen to you for hours. Can't wait to watch the rest.

Great talk. Do more :) I'm no cat theory expert but your thoughts mirror mine, it's a method for describing patterns, in itself not fundamentally explanatory of any particular field. In that sense it's the most abstract of math yet sort of the least powerful. For example you need to have worked out number theory and logic before finding relationships modelled using categories, I don't think there's much real power in hoping to do it the other way around. However finding relationships between different fields is itself very illuminating in its own right. However, always easy to see patterns when you've first observed and then described particular fields. It's what our brains do best. So you're probably right, it's a tool to help us think and simplify, as much as anything. It's well known our brains love to categorise everything. Often useful, occasionally counterproductive as the nature of reality is not necessarily the one we've evolved to cope with at the classical level.

Loved the way you connected all the beautiful pieces together! Thanks so much for making this and sharing with everyone!

Amazing lecture, I like the order in it. Everything sounds reasonable, so it's easily accepted and adopted.

That's the most amazing tutoring I've watched for the motivation of category theory and maths

After this very first motivation lecture I've decided to watch all lectures and learn this amazing theory in deep.Especially after 37:50 the result you got was amazing. Bartosz you are a great talker and you should be an amazing teacher. Amazing stuff, thank you man.

damn. that was a good intro!

@colbynwadman7045

7 жыл бұрын

for real!

That was great. I've been watching videos on monads and this was recommended by youtube and I am hooked. Category Theory sounded so dry but he makes it sound rich with possibility. I am looking forward to rethinking my design approach to enterprise business products and VR game development and this sounds very promising.

Bartosz Milewski, THANK YOU! This is absolutely amazing!

Introductions are my favorite part of math books, it is the only chapter I always can digest however hard the rest of the book is.

I’ve been waiting patiently for Structuralism and Mathematics to collide and unify. What an exciting time!

Awesome. Thank you Bartosz for incredible work

It seems that you are way more excited while you're teaching than when you posed for your profile photo. I really thought you were going to be boring. Thank you!

This is one is the best talk about Math and Programming that I have ever watched. Thanks a lot for sharing this awesome knowledge! 😍

Excellent work! Than you for sharing your knowledge with us. I have been self-learning Functional programming and I can honestly say that learning category theory (from You) surely helped.

I just want to express my gratitude for uploading this material for free. I have enjoyed the whole course as a child :)

Bartosz you saved my life with this lecture. Thank you so much :D

up there with there best talks I have listened . Well articulated . Great Job Thanks You.

Such an articulated mind ! Thank you

That was masterfully done. A beautiful standalone lecture.

Wow. Such a great talk. Thank you! Can't wait for the next parts.

Brilliant! Excellent introduction, thanks indeed

I bought a printed copy of your book, and it's really excellent. Thank you for these resources!

At 19:53 functor is on his mind and almost out of his mouth. But he decides to hide this abstraction for now. Making his introduction a functor. Great teaching! Thank you, I'll watch it all!

really awesome intro. unexpected philosophical twist towards the end, but i enjoyed the insight!

Came here to better understand Scala, left with a completely different view of ontology. Awesome, I love what this field has exposed me to

21:21 practical motivation of learning category theory in terms of programming 37:23 abstract approach used in most of academic subjects 46:04 meaning of category theory

Thanks for a wonderful presentation!

just loved how concepts were broken down to the point of elementary particles. And how the whole universe is unified and follows the same principles which are yet to be discovered as a whole. It’s truely amazing. Thankyou for your lectures :)

This is an awesome talk; just what I was looking for! Thanks!

One of the best lectures come across for category theory.

Thanks Bartosz Milewski! I don't even realize 45 minutes had passed, this is amazing.

The Platonic stuff really started melting my brain Great

in love with the lecturer. this lecturer has fallen from heaven on me. freaking AMAZING lecture!! the philosophy of math philosophy, the universe physics and programming. this is damn good!!! moving on to next lecture this is a good opportunity for a good beer!!

Great Introduction. Friendly and yet very insightful.

Very brilliant. I'm impressed. Thanks for sharing this.

What a great intro! Cheers dude, can't wait to watch the rest

Excellent first lecture Bartosz! I enjoyed it very much

Incredible work! Thank you!

Been reading your blog for years, loving these lectures. Almost as good as Andrei's lectures ;)

Awesome video!!! Thank you so much for sharing! Really looking forward to the next 20'ish videos! :)

Regarding evolution of abstract thinking, I think also craftmanship aswell as artistry developed many kinds of abstract cognitive procedures aswell.

What a fantastic lecture series! Thanks for inspiring me to make my channel!

@livig4639

9 ай бұрын

I came here because of you, thanks :)

@HectaSpyrit

5 ай бұрын

Oh here you are! I found your video on category theory and this lectures playlist completely independently, what a coincidence.

wow! this is an awesome intro. I will continue with all the next videos. Thank you so much.

In this video, many kind of things appeared: programming, computer, math, physics, science, but he summarized them. Because they relate together.

Great video! Thanks so much!!!

Finally I understand what CT is about and why it is what it is. I watched a lot of videos but none would give me the picture.

I think these views about non-composability in nature would fit very well with qbism. Well presented interesting take, and one I completely agree with!

WOW. Excellent introduction.

Thank's for your course! I will wait a next lecture.

for polyglots out here: "Idris is a general purpose pure functional programming language with dependent types. Dependent types allow types to be predicated on values, meaning that some aspects of a program’s behaviour can be specified precisely in the type. It is compiled, with eager evaluation. Its features are influenced by Haskell and ML [...]" - www.idris-lang.org/

The internet is an amazing place, allowing you to watch great lectures like this one for free!

36:03 it’s the words that allow us to correlate and compress understanding.

I started with the Monad lecture, because that's what everyone talks about. But I liked it so much, I'm going back and watching them all from the start. It feels a little bit like playing with Legos. :)

He's like Snape's chill, French brother

@AxiomTutor

5 жыл бұрын

His name and accent sound Polish to me.

Amazing content, and it's just the introduction. Can't thank you enough :)

This course is amazing. Second time rewatching by now.

Really interesting! Thank for sharing!

11:37. ReactJS uses Redux and provides immutability through reducers which allows for time travel over the UI state with no data races. You simply push the new data into the stack and notify the listeners.

Oh god, I can literally listen to you all day. All the stuff and topics you talked of, all of that was soooooooo interesting. Being a software dev, who reads physics & evolutionary theories/ideas just for enjoyment, I am able to relate to the 'philosophical' things you said in the videos. Sometimes I wish to be a drop in the ocean(the knowledge: maths and science), and flow with it endlessly. Thanks for making this... Really great teacher...

Thank you for making this careful explanation available for free.

I am a programmer in C/C++/Java/Python as well as software architect. I heard about Category Theory in context of Scala. I have heard about Haskell which is like the holy grail of functional programming with code shortened to mere pseudocode. I have never played with Haskell but played around in Scala (Not an expert).

The purpose of a programming language is to teach us what ideas are inconvenient to express within it.

Really wonderful talk. I was curious about this novel that is sinking and sinking more and more into platonism, by Neal Stephenson. I think it's ____Anathem____, in case you are wondering too. Great talk. For a little, he was just about to talk about Wittgenstein, and Dummett, a bit of incompleteness here, a bit of liar paradox there. The talk about the progression from asm, to procedural, then the big OO wave and now FP is also excellent. Something similar in my own life too. Can't wait for this Category Theory or "deep" truth "above" ... :)

Thank you Bartosz for an absolutely fantastic lecture referencing diverse branches of science, mathematics and philosophy and drawing them together in such an inspirational and thought-provoking way. Incidentally, I put Dark Side of the Moon on loop in the background, dropped acid and at 22:09 God told me he was a monad in the category of endofunctors, if that helps.

this make clear understanding concurrency, i didn't expect gonna learn in this course.

Wow, this was excellent!

@bartosz: thank you for these lectures; they are an invaluable resource

Awesome intro, reminds me very much of the ideas of David Bohm.