Good to know, thanks.

I tried all of the examples from her page about αcτµαlly pδrταblε εxεcµταblε. It looks like the page was written in 2020, so I’m assuming the binaries were compiled then, but that shouldn’t matter; I have Go binaries I built in 2021 that still run, and I have no doubt that it I could find an even older binary, they’d run too.

Huh. In was just playing around with some samples from her page, and can’t get them to run on either AMD64 or ARM. What’s worst is that on my AMD machine I have Wine installed, and trying to run it fires up Wine (where it does eventually execute). You’re supposed to also be able to sh it, and if I do that they just fail. On an ARM, they just fail. I was unable to get any of the samples from he page to run.

I haven’t tried compiling my own program, but if the download samples don’t run (for me), it doesn’t give me confidence in the solution.

The first thing Jobs did when he returned to Apple was slash the product line down to just a couple of products. I guess that lesson was forgotten.

What she’s accomplished is, to me, astonishing and an impressive intellectual feat. I believe there’s a pretty big caveat that it only works on x86_64, i.e. not ARM. The latter being fairly popular and not uncommon.

It wouldn’t damage the impressiveness of her achievement to say “most OSes on x86.”

Tell me you drank the Rust Kool-Aid, without telling me you drank it.

Strange New Worlds is “filling in a timeline” that we absolutely know how it works out - even the characters do! It’s part of the plotline - but it’s a decent show. Sure, I have plenty of objections to the episode authors and character details, but after Abrams it’s almost refreshing. I don’t think knowing the future renders making an enjoyable series impossible, do you?

I’ve only used my GL.iNet router with Mullvad, and I assume you’re going through the manual configuration for WireGuard part of the UI? Have you found the scan qr/upload config/manual input config part? From as far as I’ve tried it, it’s like setting up any WireGuard endpoint - you have to give it the same sort of config file you’d give wg-quick, including subnet, hosts, etc - the same place you’d put your pk.

Generate the config file on a different computer and upload it through the UI.

If such tooling was available, why isn’t it being used by the projects for whom it matters

Oh, my dear, sweet, summer child. Welcome to capitalism, and the rule of “good enough.” Static code analysis tools cost money, and take time to run. I’ve yet to work at a company that didn’t have a documented process for entirely bypassing QA in urgent situations; although, when I contracted with the USFS, they were much more reluctant to cut corners - that was under a Democrat president; when Republicans took charge, they cut a lot of things, including software quality controls.

But - as I said - I haven’t touched C in decades, so I can’t refute your claim that such tools don’t exist.

I want Lemmy to have reactions, so I do’t have to clutter the thread just to say: 🤝

Nothing, and certainly not Rust, is “perfectly” memory safe. You get closer with Haskell. At some point, you define what “good enough” is, and it’s up to languages to provide tooling to either meet those standards (and be approved), or don’t.

Granted, it’d be far harder for, say, Ruby to meet those proofs than a language like Rust, but the critical point is to have a defined standard of “good enough” for languages to work towards.

You don’t have to ban C or C++; you just have to prove your programs are memory safe. It’s been decades since I’ve coded in C, but surely Valgrind and ilk are now capable of providing reasonable proof of memory safety. You might have to turn up all the dials and set all-warnings-are-errors, but I’d be surprised if C tooling wasn’t available to provide sufficient proof for a given statically-linked program.

You’re cheating. The answer is always capitalism.

I feel as if this would have worked even better with “Database.”

You know, I have no idea about flashing ability.

I missed the “ethernet only” part, sorry! I just buy Netgear routers, but they’re all unmamaged so relatively dumb.

I love these GL.iNet products (their portable models are fantastic, too). Runs OpenWRT, built in support for Mullvad (both OpenVPN and Wireguard), reasonably priced; fantastic kit.

Yeah, these are what I was imagining when I posted my comment, only I couldn’t find any good looking ones. Thanks for the product names!

Ah thanks! These are the only ZWave I have that does this - I’ll check that!

I have a couple of these Zooz Z-Wave water detectors. They were recognized by zwave2js, and easy to set up and test. My only issue is that I get triggers from them whenever the Z-Wave network changes - like, when I add new devices, I get an alarm from them.

They’re tiny - like the size of an old box of (matchstick) matches. If they were cheaper, If put one under every sink.

And, god, how I love Brent Spiner. Such a gifted actor.