Or for the more Category Theory inclined, thinking about the subtyping relation as the morphisms and the type constructors acting as covariant and contravariant functors acting on them. At least that's how my numbnut brain thinks about it. I'm happy for an even more nitpicky explanation. Do your worst "Well, actually!" fediverse. 😅
Reasoning about #rust lifetimes in terms of subtyping and variance really makes a lot of sense to me. Certainly clarified some of the questions I had. https://doc.rust-lang.org/reference/subtyping.html https://www.youtube.com/watch?v=50hfyCecNag
Time to do some deep diving on the #rust borrow checker.
Taking a look at #scala 3 for the first time in years. Seems like the dust has settled now. Wondering if significant whitespace has become the default now. Most examples in the reference seem to be using it.
Of course it's more nuanced than that, but I don't want to write a blog post here. I figured that no matter how detailed I'll lay out my argument, I will always have to argue against the idea of how people picture me in their heads.
I have been wrestling with the "hacker" label for a while now and decided to take it out of my bio. At this point it started to feel like peacocking, it has lost its meaning to me. To truly understand things, to dig deeper than anyone else and gain true insight. I don't want to be associated with some bad apples that embrace any form of genAI. Not because I want to make my life "harder", but because outsourcing cognitive and creative processes to a probabilistic machine clashes with my values.
Haven't looked at C++ in a while. I remember that like around 20 years ago concepts were initially being floated, and I was super excited for templates getting a bit more "type safety". Apparently they have been added to C++20 https://en.cppreference.com/cpp/language/constraints
Coming across the argument that AI democratizes things has to be the most intellectual lazy statement I've heard in a while. Read a book for dog's sake.
RE: https://circumstances.run/@davidgerard/117589263960665178
I remember an Ethereum talk at a conference I attended years before the whole crypto craze and thought to myself "This has got to be the dumbest shit ever." Turn out it's even worse.
Gonna work on some Chick Corea today. You know, the things you do when you play in an extreme #metal band. https://www.youtube.com/watch?v=ZYUjKWhEZNM #bass #bassguitar #music #practice #jazz
Nevermind the fact that most projects I cared about now dabble in part-time fascism and/or AI brainrot. So yeah, hard to get excited about any of this.
And let's be frank. Every time I post about something in programming I actually find interesting, people could not be less interested, unless I rant about a programming language etc. It has become boring to post about this. I started to feel like a broken record.
Also, are we only supposed to talk about our profession on social media? Didn't get that memo…
It's kind of weird how everyone I've talked to thinks I've become a musician. People who have known me for a longer time all known how much my life revolves around music. Yeah, I hack and do programming, but it seems to be surprising to some people that I'm not a one-trick pony or one-note (pun intended) character 😅
Oh FFS @haskell_foundation. Trigger warning: transphobe content.
https://discourse.haskell.org/t/controversy-surrounding-anduril-industries/10253/69 #haskell
Engage.
I'm getting a headache just thinking about all the technical debt companies are building up right now due to "vibe coding". Especially because some managers are making it mandatory. If you want to put training wheels on your experts you probably shouldn't be in charge. Wondering if there are still jobs out there where I don't have to put up with this insanity, because they are getting increasingly heard to find.
Well, someone had to do this at some point. #Tool #Baking #UndKeineEier https://www.instagram.com/reels/DeuhFJXumQ0/
Irgendwas mit Holz. #bass #bassguitar https://www.youtube.com/shorts/p_ZyQfQM8w0