A monad is just a monoid in the category of endofunctors, what’s the problem?

FWIW due to Lemmy’s size, I think it’s actually more common to scroll Local or All rather than Subscriptions, so you’re probably getting votes from lots of random people rather than subscribers to this community specifically.

Heads up with modern git you can now just use git clone --recursive and it will clone all sub modules automatically.

https://html-lang.org/

I mean, technically it’s the other 2 out of 10 that are wrong…🙃

HTML, the programming language, is a practical, turing-complete[1], stack-based programming language based on HTML, the markup language. It uses elements defined in HTML, the markup language, in order to do computations.

Have you heard about our lord and savior Rust? 🙏

Godot is written in C++ not Rust…

Unfortunately all of those dark patterns actually do work statistically speaking, that’s why they’re so prevalent. It really sucks because it means they’ll never stop.

Reading this comment and then looking up and seeing that your username ends with PDP11 was *chef’s kiss*

I had a game idea that requires the use of various C++ libraries and is 2D, did some quick comparisons after some searching, and Godot seemed like a perfect fit. I just compile the libraries in with Godot, write a bunch of the internal logic directly into the engine and script it using GDScript, and it’s been great for my needs so far. The licensing is the cherry on top, but definitely had an influence in my decision making as well.

This is patently false… iOS has a whole content blocking system and a plethora of ad blocking extensions available. And no it’s not just DNS blocking, it removes the elements just like on a desktop browser. And yes in regular old Safari, not Brave.

Heads up Lemmy has a save function which can save both posts and comments

This hasn’t been true for years…

“You can learn how to develop apps for Apple platforms for free without enrolling. With just an Apple ID, you can access Xcode, software downloads, documentation, sample code, forums, and Feedback Assistant, as well as test your apps on devices.”

https://developer.apple.com/support/compare-memberships/

Not to mention you can already side load apps using a free account as well, you just have to refresh the signing once a week. Presumably “real” side loading will remove that restriction and make the process simpler.

Sounds like they’re not doing their work during the week and letting it pile up, then doing it on the weekend and somehow that gets them promoted? I don’t really get it.

No worries! I thought maybe RHEL had like their own NPM repo or something (I think NixOS has python packages, so that kind of thing isn’t unheard of), but then that didn’t really make sense so I wanted to make sure I was understanding.

Yeah the ssh-agent was something I didn’t know I wanted until they added it. Now it’s so nice not having to generate new ssh keys and update all my severs and VMs every time I set up a new machine, and if/when I need to rotate keys, I only have to update one.

From social media presumably

What does RHEL have to do about NPM package dependencies in software projects? A server or a developer’s desktop machine using RHEL would still be pulling the same packages from NPM as another other distro…unless I’m missing something?

I’m honestly amazed that the no emoji culture on Reddit persisted even after it became super mainstream. But agreed, I actually like emoji for adding emotion/intent indicators to text. I use them all the time in personal conversations and work Slack, but never ever on Reddit for whatever reason haha.

Dude same. Normal autocomplete is short and has a low mental overhead but high payoff in time saving from tying. I lasted about 20 min testing copilot before canceling my trial. It slowed me down so much because as you said it generates such large snippets and you have to scan each one to see if it’s useful. Also the constantly flickering of big code blocks changing was super distracting.

I’ve used GPT4 directly for code stuff before and it’s been useful for certain use cases but I find Copilot to be worse than useless in that it not only didn’t really help me it slowed me down and distracted me so much it was a detriment to my coding process.

Maybe Copilot X will change that since it’s basically embedded GPT4 I think, but regular Copilot? Totally worthless IMO

How do you feel about the self driving car use-case? Say for example a self driving car has a 0.5% risk of an accident, and thus human harm, in it’s usage lifetime, but a human driver has a 5% risk of an accident (making numbers up for the sake of argument but let’s say the self driving car has a 0.1% chance of harm or greater but it’s still much lower than a human). Would you still be against the tech and ven though if we disallowed it there would statistically be more harm caused?