You're right that this is a generational thing, but the expectation for your kids to move out like this is also relatively recent: historically it was a lot more common for your children to continue to live with you, or if not, to live very nearby. Arguably one of the biggest reasons for the modern birthrate dropping is that lack of local family ties to help with childcare.
(And yeah, for college this just isn't practical: college accommodation is temporary, tiny, and students have practically no money. Taking all your stuff with you to college is a lot of effort for very little gain).
Tests are guaranteeing that the product doesn't fail under the test conditions. Formal verification is guaranteeing the product doesn't deviate from the formal spec under a given set of assumptions. Both of them are useful but depend on how well the thing being checked actually correlates with what you care about.
Interesting definition of guarantee....what about the people who run millions of them? Well Microsoft: "AS IS." Apple: "WITH ALL FAULTS" Adobe: "no guarantee of error-free operation."
Apparently their lawyers never got the memo that the tests already guaranteed the software...
Well yeah, why would they offer an legal guarantee if they don't have to? They could have a watertight proof that their software works perfectly in all situations (lol) but the lawyers still would prefer to disclaim as much liability as possible.
And even if they did, all the test guarantee is that the tests pass, of course the main limit is that they don't actually test even a small fraction of what the customers actually want to do.
the vast majority of such annotations are checked though. There's generally three kinds of annotations in formal proof systems: assertions about inputs that cannot be checked by the system, statements of propositions that want to be checked, and proofs that those propositions follow from the assertions. The proofs are checked by the system, so writing them is mainly just tedious and difficult, not really a source of error. What needs to be verified carefully is that the assertions are true, and that the propositions actually correlate with what people actually want out of the system. The mark of how effective a formal verification system is is in how strong of a proposition can be proven from how small a set of assertions. (well, and then how difficult it is to write the proofs).
A paper plane does have some important similarities to a full-sized aircraft, though. I don't think 'biological brains are really complex' makes it obvious that an LLM is conscious or not.
That's pretty much the definition that the term started with (arguably it was a bit more general in some sense: just along the lines of 'politically aware and engaged'). It seems to have morphed, but I find that when it's used pejoratively there's not one fixed definition beyond 'I don't like it'.
> That's pretty much the definition that the term started with
No, it started as being aware of issues black Americans were facing. Then it got co-opted and contorted by the far left in America into all sorts of crazy issues.
It got co-opted and contorted by the right in America. The right intentionally pretended that "woke" was an umbrella term for "all sorts of crazy issues" that it never was. The more "crazy issues" that they could add onto the pile the better, in order to make the word useless to the left. If anyone on the left continued to use "woke" intending its original meaning, those listening would associate their own thoughts about the extra unrelated issues, muddying the speaker's message.
It's good that the left has got to the point where they're disavowing woke[0], although they're only doing it to not plummet further into the depths of unpopularity, but to say it was never co-opted by the radical left in the first place is so breathtakingly untrue even they haven't done that.
I think a lot of the actual issues they're encountering are that the underlying POSIX APIs have a lot of sharp edges which the older versions of the tools have had enough time to work around, while the newer ones are generally running into the same rakes that have been there for decades. It takes a fair amount of time for those to be found and dealt with (though it also takes use, so it's a bit chicken-and-egg).
(And yeah, for college this just isn't practical: college accommodation is temporary, tiny, and students have practically no money. Taking all your stuff with you to college is a lot of effort for very little gain).
reply