Its funny how before Oracle got in everybody was guessing who'd be swimming most naked when the tide goes out. CoreWeave obviously, but OpenAI likely as well depending on whom you'd ask.
With the contracts that "One Rich Asshole Called Larry Ellison" jumped on its without a doubt Oracle going down second if not first.
He's just gambling because he's old and feeling bold.
There's certainly been some small attacks in the EU+ caused by Russia, and many more attributed to Russia, and of course Ukraine, which is not in the EU and never has been, is bombing Russian cities in retaliation for the massive invasion and continued occupation Russia launched some years ago.
What makes to possible collapse of Oracle worse is that they have an actual business too that is currently getting cannibalized to feed the AI projects. If coreweave fails that is bad but oracle failing will be worse.
But I suspect you're overvaluing the potential savings. Knowing when a float is 0.0 or NaN beforehand is almost entirely impossible, except for the most trivial of cases - like when you first initialize a variable or first enter a loop. Everything after that is very hard or impossible with floats as they are.
Those cases can be const folded at compile time.
Those cases are never a measurable bottleneck.
The closest thing I know of in the realm of the optimization you're curious about is Rust NonZero* variants, but they're used for enum compression afaik.
I’m not sure I agree on the impossible part, I feel like a sufficiently smart interprocedural analysis that also implements range analysis interprocedurally could prove a lot to where it becomes useful.
I guess what I would like to see is SIMD libraries being able to confidently say nobody needs to use intrinsics (or differentiate between relaxed/normal SIMD on the user API level) because the language + high level SIMD APIs are smart enough to choose the right implementation.
IIRC IEEE min/max with proper NaN handling needs 8 instructions on x86 vs 1 on arm64 I find it very sad that we apparently haven’t really solved that yet without forcing the user to use different APIs.
That vminpd+vminpd+vorpd actually does handle signed zero properly! Screws up NaN payloads to the max though. Can be easily extended to canonicalize the NaN with 2 instrs + constant though of course. (which ends up at the same number of instrs as your proper impl (albeit with worse port distribution and latency), but you get to have a canonical NaN!)
Hit upon https://github.com/llvm/llvm-project/issues/217376 while playing around with proper minimumnum, failing to SMT-verify whatever version of LLVM I had; did find a funky working 6-instr (+ constant) version though:
vpandn ymm2, ymm1, ymm0
vpcmpeqd ymm2, ymm2, 0x80000000 # whether ymm0 is -0 and ymm1 is +0 (or other cases that magically don't cause issues)
vcmpltpd ymm3, ymm0, ymm1
vcmpunordpd ymm3, ymm3, ymm1 # regular NaN-is-larger ymm0<ymm1
vpor ymm2, ymm2, ymm3
vpblendvb ymm0, ymm1, ymm0, ymm2
NonZerof32::from_bits(1) multiplied with itself is zero.
Doing range analysis needs the language to support it at compile time, and the dev to specify what range it is.
The only 'stable' thing i can think of is a type for 'greater-eq-one' using only addition and multiplication. Practically every other operation breaks most of the type knowledge up to that point.
Funnily enough, intrinsics have become almost trivial to write, with agentic tooling. I used to be an ISPC advocate but now I'm finding myself gravitate to direct use of intrinsics with bespoke dynamic/runtime dispatching more than ever.
Yes, Highway is pretty nice but also quite elaborate when it comes to dealing with multiple vectorized versions and dispatch. The macros burn my eyes still.
What I don't understand, or what I can only guess at, is the cabal & likely global network of interests that are behind the push for this kind of legislation to exists in the first place.
Some delusional "save the children" anti-privacy extremist doesn't have the political capital or the technical insight to convince the government to create a law to issue secret gag orders.
People with good civil intention don't just propose the idea, or get the momentum, to institutionalize such mechanisms.
So who are the major influencers, and their thoughts, for pushing this?
There is a 2005 political cartoon by Jonik where an Uncle Sam has a box labelled Control of Internet Speech on the table. Corporate media is asking "How would you like this wrapped," with paper labeled either "Anti-Terrorism" or "Protect Kid."
For the last 25 years certain western governments (especially the US and UK/5 eyes) have focused on control over democracy. They've sold it as protections, defense, safety, etc. It's the opposite. Control, power, abuse, and the votes/$$$ to ignore their constituents. This is usually lead by conservative or far right parties who have zero history with abusing power and control (ex McCarthyism in the US).
We live in a world of surveillance. Even if most of that is to market you ads and extract capital it's still degrading and less safe for anyone but the core in group(s).
I don't think you need a huge, wide-ranging conspiracy to end up with a strong anti-privacy movement, even in a state which otherwise tries to defend consumer rights (in varying degrees of competency) for the most part.
I think you can just start with:
1. Campaigning on behalf of a worthy victim, or against a terrible enemy, is a good way to become more socially powerful. Most people are less willing to disagree with you when you do this because it risks introducing motive uncertainty - are you criticising the means because you truly object to the means, or are you criticising the means because you don't support the worthy victim or oppose the terrible enemy? This is a socially disadvantageous position to argue from.
2. Exploited children are worthy victims, and drug traffickers and terrorists are terrible enemies.
3. Therefore, policies that nominally protect children or oppose drug traffickers and terrorists are socially advantageous, and arguing for them is likely to increase your social power.
The means here are disproportionately likely to be done in a concealed way if the underlying policy is not broadly popular, independently of the effects it has on localised politcal arguments. Many people, myself included, don't support every political cause that helps a worthy victim or opposes a terrible enemy.
Social pressure is harder to apply at a distance, so the reality-warping effects of motive uncertainty are less powerful, so it makes sense that it's kept to private pressure groups and lobbying.
You won't be criticizing your boss/mayor/president/local politician/whoever, if you have to do it from an account tied to your own name. Having everyine install a digital ID on their phones (to prove they're old enough to jerk off to pornhub) is the first step, the "real name" policy is the next. The encryption ... well, one of the separate steps inbetween those two.
>So who are the major influencers, and their thoughts, for pushing this?
the governments themselves. left, right, or center, their number one priority is to maintain their power.
it amuses me immeasurably when the useful idiots in the West cheer on the policies of China and Russia. think of the children, think of the terrorists, think of the racists, think of the disinformation, blah blah blah. there are a myriad excuses but only one true goal -- suppression of dissent.
the UK establishment in particular primarily feels threatened by unredacted coverage of the consequences of its immigration policy, which they know gives voters to Reform. not because Reform would reverse that policy -- every "far-right fascist racist nazi" party in Europe had at best slowed the influx, not halted or reversed it -- but simply because someone else would be receiving lobbyists' money, favors, and sinecures after retirement.
I would agree with the argument of Jensen that laws and regulation already exists for liability if he, as the parent company of HuggingFace, were to sue OpenAI for breaking the law.
Who and when better to fight it out and set a precedent then Nvidia and OpenAI right now?
It's not even running an SSH server unless you ask it to install one. It does seem to come with an SSH client by default and can of course generate its own keypair for that.
With the contracts that "One Rich Asshole Called Larry Ellison" jumped on its without a doubt Oracle going down second if not first.
He's just gambling because he's old and feeling bold.
reply