Forgot your password?
typodupeerror

Comment Re:Healthcare? No. Welfare? No. Social Services? N (Score 1) 83

Iran war is 101% justified in my eyes.

It started roughly 1979 and has continued at various levels of violence since then...Iran has killed a lot of US service members and civilians directly and by proxy with all the terrorists groups they support.

They were getting close to building nuclear weapons....they showed us they now have missile tech that can reach Europe and are working for further reach.

its still plainly simple....those in charge STILL want nukes....they could end this conflict in about 10 minutes if they agreed no more nuke development, to give up the refined uranium they presently have, etc.....at which point all violence would immediately end, and economic abundance would open to them immediately too.....the populace could start living up to western standards almost immediately.

But no, the mullahs want nukes no matter what the cost to the people....

Comment Re: And just like that (Score 5, Informative) 98

Nothing new, US has been and is the biggest CO2 polluter. Over 2/3 of the accumulated anthropogenic greenhouse gases have been emitted by the US.

That's not even remotely true. Right now, though, the U.S. stands at only around 12% of annual GHG emissions. And even if you use cumulative numbers since the 1700s (most of which is not still in the atmosphere), the U.S. still only produced something like 20% of cumulative CO2 emissions.

The current largest CO2 emitter is China, and by a very large margin, coming in at about 35% of all world CO2 emissions, or almost three times the next worst (the United States).

Per capita, of course, the U.S. is worse than China, though not be a lot. But by that metric, the U.S. goes from being the second worst all the way down to the #16 slot. Per capita, the top ten biggest CO2 emitters are all either in the Middle East or are islands or other tiny territories. Even if you ignore the tiny countries, the U.S. *barely* makes the top 10, behind Australia, Russia, Canada, and six countries in the Middle East.

Comment Re:That's just it they're not (Score 2) 44

I don't understand those voters. And they're a pretty sizable block. They approve of absolutely nothing Trump is doing but then they approve of trump as president. It's one of the most bizarre phenomenons I've ever seen.

I assume these are the ones who don't really care what Trump does, as long as he "drains the swamp", "tears down the establishment", and "sticks it to the libs". They don't like his changes, but they like that something is changing, because something has to change, and this is something, so this has to change.

Comment Re:First rule of QA (Score 1) 75

Unfortunately most QA groups at Apple don't have real "stop release" power over the products. Program managers and upper management set the schedules and those dates must be hit for release no matter actual quality

That's certainly true for the OS, because the OS releases are tied to hardware releases. But features do sometimes get pulled. Apple Maps is a feature. So IMO, that's not a great argument for Apple Maps shipping in the state that it did.

Frankly, I'm of the opinion that the internal divide between iOS engineering (Forstall's fiefdom) and OS X engineering (everybody else) was probably a big part of why Maps didn't work as well as it should have initially (less internal testing). Forstall's departure tore down a lot of those walls, and IMO the company is better off for that change.

Comment Re:How many more MtCO2e cumulatively do we add? (Score 1) 210

electricity rates are very high in my area. Natural gas is much cheaper

show us the math for your area please

for my area a heat pump produces 7-10k btu per every 1kwh of electricity (about 9c) versus a therm of NG costing around $1.20 and delivering around 90k btu. this is before any of the transport and base fees

its not that i am saying youre a liar but we cant just take such strong statements as fact anymore, too many liars out there and the layman wouldnt even know how to compare both these things

Here, it's $2.87 per therm, 41 cents per kWh once you hit a certain usage threshold, and most households are above that threshold already. So adding a heat pump (e.g. to replace a gas water heater) means that new usage would be billed at that higher per-kWh rate.

Plugging those numbers into Maine's calculator, it says electric is cheaper. So that has I guess improved since I last did the math a year or two ago. Tankless natural gas is still cheaper than heat pumps with tanks, though. No idea about tankless electric, but the power consumption makes them infeasible unless you already have 200A service, and maybe even then.

Comment Re:simple question (Score 2) 210

using the current environment with it's limitations to try getting something better running.

The process of bootstrapping never eliminates lower level system. Kernel does not delete BIOS and if it happen to corrupt it, it is serious issue that requires urgent fixing.

With compilers, it does, or at least it can.

When you build GCC for the first time on a new architecture, it builds a limited miniature version of GCC using the system compiler, and uses that to compile the actual version of GCC, so that it is always compiled with itself, not with the system compiler, both to minimize the risk of system compiler bugs causing bugs in GCC and to minimize the risk of someone using a malicious compiler to create a modified GCC that introduces security bugs in code compiled with GCC or whatever.

After that, you can at least ostensibly delete the system compiler, because you'll never need it anymore to build future versions of GCC or anything that GCC can compile.

Comment Re:If it's one thing this country has taught me (Score 1) 100

Republicans hold a majority in all 3 branches of government. What legislation have they enacted to help children? I’ll make it even easier. What legislation has been enacted to help anyone?

To a very limited extent, their tax breaks, ignoring that they help the wealthy far more than the poor. But that's about the only thing, and even that is helping the poor at the expense of their kids having a country with deeper debt that they will eventually have to pay, or at the expense of the government not having the money to do various things, likely some of which help the poor (or at the very least are designed to help the poor).

Comment Re:Let's eat Grandma, shoots, and leaves. (Score 1) 159

it isn't great but it is also consistent with how ICE vehicles are advertised.

Sorry, let me clarify what I was trying to say there.

Advertising battery capacity or gas tank capacity in miles is an entirely reasonable metric for a car, because a car is the complete package. You'll have some variation depending on how fast you drive, how much you use regenerative braking, how much you have to use the heater, headwinds versus tailwinds, hills, whether you're towing (where applicable), etc., but there are standards for how to calculate MPG in a reproducible way, and as long as everyone follows those standards, you can use the MPG numbers to compare one car against another and have some confidence that the more efficient car will be more efficient for you.

And because the tank and/or battery capacity is also a known quantity, you can multiply the number of gallons times the EPA MPG rating (or equivalent numbers from your choice of country) and get a number of miles that you can also use to compare the expected range of two vehicles. And while you might get more or less range than the rated number, if one car has a higher stated range, chances are it will have a higher actual range for you (unless the numbers are very close).

Range in miles is an entirely unreasonable metric for a battery, because a battery is not a complete package, and a battery in one vehicle could last an order of magnitude longer than the same battery in a different vehicle (e.g. Prius versus Tesla semi). Without normalizing the range numbers to a specific vehicle, comparing two battery packs using miles as a metric tells you approximately nothing other than that the stated numbers are different numbers. It's a nonsensical comparison.

And even if you do normalize it to a specific car, it would be an arbitrary normalization that doesn't reflect the real world, making the numbers far less useful than just giving kWh or gallons, which everyone who owns an EV or an ICE car can pretty much instantly understand relative to their own vehicles' capabilities.

Comment Re:Ah, right back at yah (Score 1) 90

Most of the deaths are explainable.

  • Amy Catherine Eskridge died by suicide in 2022. The cause of death was a single gunshot to the head. Her activities leading up to her death are suggestive of mental health struggles, though they're used by some people as evidence of a conspiracy leading to her death.
  • Michael David Hicks died in June 2023, age 59. He worked at JPL on comet and asteroid missions. No cause of death was released.
  • Frank Maiwald died in July 2024, age 61. He worked at JPL on planetary missions. No cause of death was released.
  • Anthony Chavez has been missing since May 2025. He was 78 when he disappeared. He left his wallet, keys, and cigarettes on a table at home, a common action right before a suicide.
  • Melissa Casias has been missing since June 2025. She was an administrative worker at Los Alamos and held no security clearance. She was last seen walking down a street. She had left her keys, wallet, purse, and both work and personal phones at home after telling colleagues that she was going to work from home. Shoes similar to those she was wearing were recently found in a nearby forest. This also lines up with a possible suicide.
  • Monica Reza has been missing since June 2025. She worked at JPL in California, and went missing during a hiking trip. Her hiking companion said she was there one minute and gone the next. A fall is a much more likely event than an abduction.
  • Steven Garcia has been missing since August 2025. He worked at the Kansas City National Security Campus in Albuquerque. He was last seen walking away from his phone carrying a gun and had left behind his wallet, phone, and keys. As with others above, this is a common behavior of suicidal people.
  • Nuno Lureiro was killed on his doorstep by the Brown University shooter in December 2025. Motive hasn't been established, but the shooter left a recording that he had planned both shootings for years.
  • Jason Thomas went missing in December 2025 for three months before his body was found in March 2026. He was last seen walking along railroad tracks, another frequent precursor for suicides. A cause of death doesn't seem to have been released so far, but law enforcement said that they don't suspect foul play.
  • Retired Air Force Maj. Gen. Neil McCasland has been missing since February 2026. He was last seen on a neighborhood surveillance camera with hiking boots and a .38 revolver. He had left behind his wallet, phone, and wearable devices. Many suicides start the same way.
  • Carl Johann Grillmair was killed at his home in February 2026. He was a prominent astronomer and astrophysicist. A suspect has been arrested and has been charged in his murder, which may have happened after an argument.

One suicide (Eskridge), one likely suicide (McCasland), four possible suicides (Chavez, Casias, Garcia, and Thomas), two murders (Lureiro and Grillmair), two other deaths (Hicks and Maiwald), and one missing (Reza). Neither of the murders are linked. Reza may have simply fallen while hiking and been severely injured or killed. The two other deaths were both in the age range where sudden deaths start to become unfortunately common.

Comment Re:Make iCloud optional or enable Airdrop b/w devi (Score 1) 65

Precisely! While on that subject, my M1 MacBook Air only intermittently recognizes my 1TB Sandisk SSD. Otoh, it has no issues recognizing a USB thumb drive inserted in the same thunderbolt port. As a result, I have to copy the photo folders from my iPhone into my Windows laptop, and from there move it to the SSD

Try a different USB-C cable. Either that or you have one of the dodgy models of Sandisk SSD that's about to die. Maybe a good time to buy a new one.

Comment Re:We need humility, not arrogance (Score 1) 164

Formal verification mathematically proves code implements a specification. It does not catch bugs that are specified.
There are entire classes of bugs (logic bugs) that LLMs can find that formal verification literally doesn't even try to.

So you prompt the LLM to "find all the bugs".

Even if the LLM can find every last bug (which in turn assumes that this type of problem isn't NP-hard or has some issue that Godel would point out), just defining to the LLM exactly what a "bug" is seems to be pretty much the same thing as those formal specifications that you just convincingly dismissed as inadequate.

I don't think that there's anything magical about LLMs that would let them get around fundamental mathematical roadblocks.

Slashdot Top Deals

The trouble with a lot of self-made men is that they worship their creator.

Working...