ムー

どなたかムーザルちゃんねるにAmazonギフト券1万円を送ってくれましたか？ 果たしてこれは受け取って良いものなのかどうか…。

You might believe you should spend less time thinking about code because of AI. I strongly disagree! We’re watching this play out live where tons of AI generated code becomes a liability. At the end of the day, an engineer needs to be responsible / on call for code that gets shipped to production. If you don’t understand the system you’re trying to debug, you’re probably going to have a bad time. Yes, AI can help with all of this, if you set up the proper systems. You can have agents triage prod logs, look at errors, etc. You can speed up parts of the investigation, but an engineer needs to make the call. There might be serious customer or financial implications from that change. I expect the trend continue for trimming dependencies, vendoring code so you can modify it directly, preferring simpler systems with fewer abstractions, and spending waaaay more time thinking about system design and code maintenance. I’ve said this before, but it’s a great time to get familiar with CS fundamentals and some of the history behind what great software looks like. Many parts will be different in the coming years as AI progresses, but also a lot more than people realize will stay the same.

最近圏を知った人も、そうでない人も。 せっかくなので、ついでにプログラミングにおける圏も見てみてね！ 言葉足らずなところが多々ありますが、λと圏の共鳴が少しでも伝われば嬉しいです。 「だから何なの？」と言われたら困っちゃうけど。 そこに圏があったんだ。

前回の動画から圏論入門して、 今年にHaskellで関数型言語入門、並行で論理哲学論考読んで圏論の知識を結びつける野望が(今朝)できたのでぜひ続いてほしい！！