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*

Vscode even has a terminal built in haha

This is amazing, going to recommend this to my team as a JavaScript replacement on Monday!

I used to use Alpine containers but I’ve since standardize on Debian completely. Proxmox is Debian, my VMs run Debian, my LXCs run Debian, my VPSs run Debian, Raspian on my RPi is Debian, Armbian on my Odroid is Debian, etc, etc.

The benefit of running the same distribution on all my servers no matter where or how they’re hosted can’t be overstated.

Less mental overhead remembering different commands or config paths, same software on everything, etc. It’s been fantastic and Debian has always been rock solid for me.

That’s exactly how I have my setup, and on my client WireGuard configs I have it set to split route so I can connect to my home VPN without disrupting anything else.

That’s awesome to hear! I’ll give them a shot of one of my domains and see how it goes.

How has email deliverability been for you using Proton with a custom domain? I’m trying to move off of Google for everything but I’m still on Gmail for my personal email and a few custom domains. I’d love to move to Proton but have heard of problems with email going to spam or never being delivered but not sure if that only applies to their domains.

I’ve been using Namecheap for years and have been happy with it. Why do you prefer Cloudflare? Is it for easier integration with Cloudflare services? How’s the pricing compared to Namecheap?

Sorry for the interrogation lol

Yep the hack is at the boot loader level, before the OS, so the OS version doesn’t matter. It was only patchable in hardware which is what they did with the second revision. If you have a launch Switch you’re golden.

LGTM

I’m glad they shut it down. An inaccurate tool is worse than no tool, especially if teachers are using it to check student essays and punishing students for false positives…

Even just more generally, people were trusting these detection tools not realizing how inaccurate they were, which causes huge problems both due to false positives and false negatives. Better to remove the useless tools now and work on a better solution, if one is even possible which I’m not sure it is.

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.