Is Category theory applying in functional programming a scam: kzbin.info/www/bejne/hJvbY5iabbd6n9U
@alabhyajindal22 күн бұрын
Amazing, great talk!
@rfylАй бұрын
I have tutored math for many years. When I would tutor -- especially "story" problems, but even just general math -- I always tried to say "Here's the problem; here's how you can break it down into smaller problem, smaller subproblems, etc. When I finally learned programming I realized that I had been teaching Top-Down. I LOVE that concept, and now I always tutor that way EXPLICITLY and mentioning that phrase. Needless to say, I therefore absolutely love your video, too! And all the more so because I'm very interested in Category Theory. So I started to study Haskell ... and was a little disappointed that the only category used in Haskell is the Category of Haskell Types (if I understand correctly). Oh, well! Anyway, I'm overjoyed that I stumbled onto your video ... and I look forward to watching many more! Really great work!
@rfylАй бұрын
You are one of a very small number of teachers I've seen who have the great ability to make people laugh with you about just how great the concepts are which you are teaching.
@kourosh2343 ай бұрын
Vi gör framsteg genom insikt, inte åsikt. We advance by insight, not opinion. Bra sagt. Well said.
@VernaVonRueden4 ай бұрын
Promo-SM ✋
@ecco2565 ай бұрын
Great talk. When he chooses Void vs Unit when explaining exponentials, are there not 0 inhabitants of Void? So he should have chosen Unit instead?
@Edward-xh8zu5 ай бұрын
Holochain = web3
@djgreyjoy14957 ай бұрын
Most math books don't even type-check 🤣
@GoodTechConf8 ай бұрын
The questions was very informative and the argumentation of Erik was weak at least;.. I miss the time he was into RX. Now he seems more driven by $$ around LLM than CS stuff. He just moved where the money is that's all. I mean common, as one question was asked: why would you use a natural language with all its fuzzyness to specify a programm to a machine ? This thing will never scale to the complexity we are in our daily jobs... yet another utopia to remove developpers from the equation. It remembers me the L4G delirium in the 80s. Where are they now ?
@janegwaww8 ай бұрын
17:45
@johnlockegg70958 ай бұрын
If we can use LLMs to generate high-level code, why don't we use LLM to generate machine code directly?
@menombakglobalis8 ай бұрын
this good for support depopulation program,, lol,, 😅
@magnusglantz34138 ай бұрын
Awesome session, the discussions afterwards ruled :)
@amos52818 ай бұрын
These guys are awesome 😎👍
@dfurmans9 ай бұрын
Brilliant!!
@marna_li10 ай бұрын
So sad I missed this! I was out on errands when I got a notification. Isn't there any newsletter with upcoming events anymore?
@pstpst750410 ай бұрын
Loved this. Even though it is an old video.
@fzwerver10 ай бұрын
Nice talk, just one little comment. MTBF means mean time between failures, not before. That would be MTTF, mean time to failure.
@jchandra7410 ай бұрын
His choice of t-shirt is still the same :) I've seen him using similar t-shirt when he was still in Microsoft ^_^
@tr1ckst3r10 ай бұрын
I'm a simple man. I see Erik Meijer I immediately click and watch.
@user-ig9jh6ff3m10 ай бұрын
14:10 TDD 30:19 Project Management
@michaelmammoth101010 ай бұрын
Scrum is garbage. It's uselessness is compounded by the fact that most businesses demand the predictability of waterfall (deadlines, etc) with the flexibility that scrum promises (but seldom delivers). Scrum really fails when architecture or planning is needed (I know...sprint 0...yadda...yadda).
@bangonkali11 ай бұрын
Congratulations 👏👏👏
@jorgeromero468011 ай бұрын
the weird thing is he was saying the same thing three years ago, so i assume for three years now he is moving the legacy code to the cloud lol
@shanselman11 ай бұрын
no, it's just an interesting talk. I did this work in 2020
@jorgeromero468011 ай бұрын
@@shanselman Thank you for clarifying, Scott! It's an honor to interact with you. My earlier comment was made in jest. Your talk is truly enlightening, shedding light on the philosophy of cloud migration and the nuances of reducing infrastructure costs. Keep up the great work!
@chillydill470311 ай бұрын
What a great talk by Scott!
@seinfan9 Жыл бұрын
The fact that this guy thinks it's okay to wear something like that in an office environment tells me he's a sociopath.
@AjithkumarSekar Жыл бұрын
8:51 Link to the talk mentioned by the speaker - kzbin.info/www/bejne/iYe8lpqanZd2mKc
@siyamakhabibipoor8131 Жыл бұрын
Thanks, This is very useful for who hasn't been working with react-query or unfamiliar its, I expected more, of course I have been working react-query 4 years, I am Iranian and proud an Iranian lady :).
@stuartbrock7586 Жыл бұрын
Minute 28 you hit the nail on the head, but don't understand the source of the rituals. Management is always looking for methodology and status reports because they have to provide measurements. So they are always grasping for the latest silver bullet.
@ferhanfikret8990 Жыл бұрын
Great video!
@Endomorphism Жыл бұрын
39:11 fundamentalist functional programmers
@Theonegov Жыл бұрын
The most horrible things that can be intentionally done by humans to other human beings. They enjoy destroying as much life and humanity as technically and humanly possible. Truly the sickest fcks on the planet Earth. Most victims are Mind controlled and are unaware - others are mercilessly tortured to force suicide and / or cause death. These attacks include voice communications from the attackers transmitted to the brains of victims.
@calofiremil7863 Жыл бұрын
C++ and tdd in the same sentence. Hell!!
@jaiderariza1292 Жыл бұрын
This is a good talk, and it is not too far from today's ChatGPT as "Programming 2.0"
@marcusrehn6915 Жыл бұрын
The first thing that comes to my mind is Scrum Certifications
@firstname-fh1sc Жыл бұрын
I think you have not quite understood mathematics and that an equation that involves infinity can still have a real result. To stay in the methaphor, what is the limit of complexity tends to infinity ? The solution must be God ;)
@wrwinter Жыл бұрын
still think about this talk 8 years later, phenomenal
@tellemanndergaertner Жыл бұрын
I‘m 3 minutes in and I still don‘t get any of the references, this sounds like a totally made up speech to me 😂
@Moshie71 Жыл бұрын
Great presentation 🎉
@KristofferYiFredriksson11 ай бұрын
Thank you, glad you enjoyed it.
@sujoyinnovates Жыл бұрын
You mooroons did not plan the video content in advance. Seems like you are teaching yourselves
@ChrisAthanas Жыл бұрын
So few dev teams know this Even fewer tech companies So many cargo cult processes
@nekoone Жыл бұрын
Nice talk!
@user-uh6hh2xc6s Жыл бұрын
Could you provide us the slides? Thanks so much.
@mfallq Жыл бұрын
Tack för intressant video och talks! Som Hampus L. skriver i chatten så är Factfullness av Hans Rosling verkligen något att tipsa om kring detta topic!
@RonnyBubke Жыл бұрын
This talk seems to me a kind of Bullshit-Bingo. That't the real problem. kzbin.info/www/bejne/e4uTZphterKCgq8
@ashokamahabala Жыл бұрын
Third-world countries... Huh :(
@RonaldSVM Жыл бұрын
Not judging...but it would be genuinely funny to lock James and Uncle Bob into a room and watch them discuss TDD :D
@ogourment Жыл бұрын
kzbin.info/www/bejne/gaWrgnqpaN95d68
@mickbailey6386 Жыл бұрын
🌺 "Promo sm"
@Tony-dp1rl Жыл бұрын
This mirrors my experience of TDD over the past decades. It simply does not work as well as other forms of testing. If I was starting a project/team from scratch right now, I would employ a dedicated SDET for high level System and Integration test automation, and tell developers not to waste their time on a single Unit Test - spend more time with your kids instead.
@RonnyBubke Жыл бұрын
Maybe you understood it the wrong way. Unit tests are not to verifying a class method and mocking all dependencies of it. If you do it this way you do it wrong. kzbin.info/www/bejne/e4uTZphterKCgq8
@edgeeffect Жыл бұрын
I know this is blasphemy... but I can't help it.... It might be because I'm dyslexic or something but all those parentheses just "do my head in"... I'm so grateful to JavaScript for teaching me all about LISP but with a syntax that I can comprehend. ..... sorry.