I assume you're running that test suite using a 3rd party 8051 emulator to avoid the potential for common-mode errors in both your compiler and emulator resulting in false confidence the compiler's correctness?

> two simulators used for testing, sim51 (a plain 8051) and minitel_sim

Narrator: No, he was not.

"it runs on my device" is my criteria of success here

Would I be wrong to assume that you are building end-user applications?

If people use AI for libraries, OSs, and mission critical software, the apparent productivity gains would have to be weighed against the reliability and performance hits that bubble up to the things that are built on them and rely on them.

In my experience - a robust testing harness will get you the safety you need. And most software you describe has such testing.

I think the Bun port is a great example where testing enabled a very successful implementation. (Both the original tests themselves and runtime comparisons to the previous implementation.)

Testing is an extremely inadequate measure of reliability and robustness.

You understand that robust testing can, should, and often does test directly for reliability and robustness, right?

Yes of course, but you also understand that as Dijkstra said "tests cannot show the absence of bugs."

Tests can show you problems, if you can find them, but they cannot show that there are no problems. Property based testing or fuzzing gets your more coverage, and is a good step, but it is still nothing compared to proving things or understanding how something is built and that it is solid. Testing works towards checking for reliability and robustness, but often it's only 10% (?) of the job.

Well, yes, I understand that testing does not create a provably correct solution. But I'd love to hear the source of your "extremely inadequate" or your "10%" claims. I mean - there is a reason why it's used extensively in software engineering - right? Or don't you see value in that, either?

I'm curious - is there any data on the Bun port error rate? I think that would be very indicative of how successful or not the testing is.

In the long term, it'll be at least be the year 2030. Let's not get ahead of ourselves.

In the long term.

Fair enough - it will take some time before the science comes back.

But I feel the need to point out - the goalposts for "does AI work" shift daily.

See e.g. https://en.wikipedia.org/wiki/Clutch_(sports)

Strong disagree. Leaded solder is still a ton easier to rework thanks to its lower eutectic melting point.

Most equipment connects the shield of all ethernet ports to chassis ground, so you're back to zero isolation if you use shielded cables.

Because most people do not get to choose what software they use for working?

Can we stay on topic? We are in the subject of making UIs keyboard drivable.

> phone interviews within 75 to 105 days of starting antidepressant therapy.

Different thing entirely from long-term effects.

Do you have anything which shows long-term effects are 50-70%?

This doesn't allow reusing initialization work via CoW mappings (like GP was asking about).

This is an artifact of doing as the platform is documented to work. You can do what the man page says, or you can do the opposite. The whole article is about how forking on macOS is troublesome.

Yes: https://news.ycombinator.com/item?id=40441650 "TSMC EUV machines equipped with remote self-destruct in case of invasion"

Seems like a risky move - they found just fein invasion, let them nerf their entire economy and then just go home.

And it's so often wrong that you better be doing sanity checks if you use it for anything.

Is it often flat-out wrong where you live?

My most-common frustration with it is when products I want to compare don't have the same quantity-denominator. (Either a different unit, or sometimes a different dimension like weight versus volume.)

I've many times seen it wrong but more often the same item will have some tags expressed on cost per ounce, others per lb, etc. To discourage comparison. But I dont think people are paying much attention to those numbers anyway. Math has become a scary topic for them altogether.