mbonnet

I break about 1 USB-C plug a week.

That's a you problem. I have never done this, and neither have any of the dozen people I just asked in my office.

Yes. People don't want to go out and buy or borrow physical writing, or lug around a laptop, if they don't have to.

what makes you think you can unilaterally expand a very well-accepted meaning of a term, especially in a discussion that is basically semantics of the term?

it's generally another layer on top of things like unit testing, MC/DC coverage, etc. not all programs use formal verification though.

now I have a moral reason (in addition to clear engineering reasons) to never use Flux!

The potion seller guy wrote Challengers

Golden Dome is tens of billions of dollars for extremely limited small-salvo ballistic missile interception. It will get canceled next administration, and for good reason.

A decent amount of mission-critical software undergoes formal verification, like spacecraft flight software (my area of expertise). SparkADA lives on because of not just its safety, but formal verifiability.

I agree. Art isn't a playing field!

This is why you should have several of them checking against the same rulesets and cross-check them to reduce chasing of false positives.

this is pretty much my conclusion. I try very hard to teach my interns the straight and narrow.

That, or any other potentially apocalyptic event

what is the point of this comment?

I would like to know how can someone like me defend against them?

You could take the Galactica approach - de-network everything you can.

How are GLPs bad for the world?

It is absolutely something to be ashamed of, and a moral crime.

in order, is is best to reduce, reuse, THEN recycle.

This is why I enjoyed EVE Online. You had to earn it, and if you lost it, that was that.

I have an old 2020 M1 Macbook Air that is on its last legs because 8GB RAM isn't enough for regular use cases. If this had a 16GB RAM option I'd go for it, but alas.

mfw the rocket company is too irrelevant for name collisions

all men must answer to themselves

Rust is making huge headway in mission-critical embedded.

Canadian banknotes being different physical dimensions from each other makes them distinguishable to the visually impaired too.

The average user is a moron. This is key to all tech and key to why complex shit like Mastodon will never see wide adoption.

The average user does not care about ads being present. Speed is paramount.

FCC (or FAA, can't remember, that's systems engineering's job) mandates that all satellites, including cubesats, be able to deorbit within 5 years of the end of their mission with some confidence rate (90%, iirc).

Almost all cubesats are launched at about a 550km x 550km orbit or lower circular orbit. Cubesats (most satellites, in fact) will deorbit naturally within a few years (almost definitely <= 5Y) at that altitude due to orbit decay, mostly from drag.

Now, some cubesats will have onboard propulsion, which they'll use to extend their mission by burning back into higher orbits, allowing them to still naturally decay at the end of their mission. Indeed, they can even use remaining propellant to speed their orbit's decay.

I've participated in the design or manufacture or launch of dozens of cubesats. The ones with RPis as their flight computers either accept that they'll get messed up by radiation with some regularity throughout their mission (and design other components accordingly, such as timeout watchdog resets), or accept that they'll have a quite limited mission lifetime.

does not seem to demonstrate any effort to accurately represent the human face

you must be being facetious. This is plainly obviously a human face.

If Python packaging problems are solved, why is Python known for having the worst tooling ecosystem of any "modern" language?

this is the kind of statement that will get anyone who works for me PIPd