"Butlerian jihad" comes from a science fiction novel from 1965 (Dune, by Frank Herbert). They didn't know about current political correctness 60 years ago.
The comparable word is "crusade". If it's OK to use the word crusade, it's OK to use the word jihad.
(My opinion is that neither should be used, but a majority of Americans disagree with me).
To be pedantic, crusade means "holy war" and jihad means "to struggle", so jihad should be more acceptable than crusade, but in English, jihad essentially only has the holy war meaning.
> A politician’s home was shot at 13 times over a data center vote.
> A shooting at the home of an Indianapolis city councillor is bringing new attention to a fight that's been building in communities across the country: the growing backlash against new AI-focused data centers.
But I agree: Mercurial was definitely friendlier for people who didn't have time time to go through the technicalities of git. To use git smoothly you pretty much need to learn how it works internally.
(1) The general philosophical postulate, that society is better when there is a high level of freedom in the exchange of ideas and critique of other's ideas.
(2) One aspect of the above is that government should not censor speech. Like the 1st amendment in USA.
But if most public discourse takes place on forums owned by companies, and the companies start to practice high levels of censorship, then we might formally satisfy (2) but still won't get the cultural benefits of (1).
> California's demand commonly goes from 18GW to 30GW in the same day.
That extreme intra-day variation is also partially caused by California's cheap solar power: Cheaper prices draw demand to those hours.
In other locations, (some) people (partially) adjust their consumption patters to follow the cheap wind energy hours, and this leads to different consumption patters. Less intra-day variation but but inter-day variation.
If California's prices were wind-dominated (typically a little more wind at nightime), or nuclear or burning dominated (stable), it would not cause such large variation in the intra-day consumption pattern.
This electricity price figure is readable, but 10 years old, so today the variation in California must be larger than it shows:
> California's Battery Array Is as Powerful as 12 Nuclear Power Plants
From this graph we see that in the evening when solar power goes out, for next 3 hours (7 pm to 10 pm) California's battery array is as powerful as 12 nuclear reactors. Then the batteries are drained empty, and the rest of the night California survives by importing electricity from other states. And partially by running hydro power only during the nights, keeping it at zero during the day.
The net storage graph clearly shows they aren't drained empty after 3 hours. They keep their remaining charge for the more expensive morning peak rather than compete with cheap imports overnight (there's a graph showing the cost over the time range too).
Good point, and good financial strategy. But the morning discharge seems to be about 5%–7% of the evening discharge, so I assume the batteries near empty.
You don't need category theory to describe the Result type. But the people who first introduced it to programming languages, were thing about category theory.
At least the Rust compiler (TFA's project is written in Rust) tries to configure LLVM specifically to avoid these discrepancies, and to treat all basic floating-point operations exactly as written with round-to-nearest behavior [0]. It does not have any of the -ffast-math options that the author('s LLM) is panicking about.
The main caveat is that on x86 targets without SSE2, LLVM is deeply wired to use the x87 instructions without attempting to emulate the IEEE overflow/underflow behavior [1]. So perhaps it could be possible to exhibit a discrepancy, but only by compiling for i586 and an ancient target-cpu. It's very doubtful that this was the cause of the original client vs. server issue in TFA's introduction.
https://www.youtube.com/watch?v=KuG_CeEZV6w
reply