As far as the game in concerned, the sprites are all just 2D assets. The fact that those assets came from a 3d model during development has no effect on performance. They also do manual post-processing on most of the 2D renders.
Your wording can easily be read as them shipping 3d models and rendering them as 2d at runtime. It's a weird way to say the game is made up of 2d assets.
At that point, companies could just provide an API and let users bring their own user agent, be it AI or traditional.
The problem is that history has shown that companies really do not want to do that. They will happily pay to maintain an inferior interface and go out of their way to disrupt third party clients.
Because there is an infinite loop that makes the epilogue unreachable, so it is safe for the compiler to remove it!
Sure, that optimization interacts badly with the optimization that removes the infinite loop. But half the point of UB is to avoid needing to deal with such interactions, because they are defined out of existence.
Yea, this is definitely a place where the positive future outlooks have to state why.
The cost for text generation will trend toward zero.
The amount of models that will be able to generate text will keep expanding making what text is generated or not will become more difficult.
The way actual humans write will change because of influence by AI mushing up what is human and what is not human further increasing the impossibility of determining what is AI and what is not.
Freedom of speech laws in the US will shoot down any broad legal requirements to mark text as AI generated or not.
The consumer financial incentives to go to the 'better' and more expensive products are questionable at best. People consuming a lot of shitty shit because it's cheap is a pretty standard human behavior. It doesn't mean good products won't exist. It means good products will have to do a shit load of work to stand above and beyond the slop, and with systems like the US, these better products are apt to be bought by VC to exploit as much money out of the product by turning it into slop and getting rid of the human assets behind it.
Also..
You only notice 'slop', not necessarily things that are written by AI (or lazy humans).
The premise of dark matter is that it is something with gravity that does not otherwise interact with any of our detectors (e.g. "normal" matter); or that any such interactions are weak enough that it is plausible we have not noticed.
By itself, that does not exclude the possibility of dark matter having other interactions which do not interfere with our detectors.
But it does bound it: if dark matter has self-interactions then the apparent distribution would be different. Regular matter forms stars and galaxies and all the structures we see because it can self-interact.
Since where we see dark matter mass shadows we don't see structure formation, what self interaction it may have must be very, very limited.
That doesn't rule out "dark matter having other interactions which do not interfere with our detectors" Dark sector theories which include other dark particles or new particle interactions are not controversial amongst cosmologists in this space. For example there's a whole area of study around "dark photons" which would mix with our photons and interact with dark matter.
I guess so. If you could sort of measure the dark matter distribution, there might be a structure under it, but strictly speaking isn’t it limited to saying it’s not at least likely to emit light but does have mass.
It's very hard to explain the gravitational halo around the galaxies if your dark matter can interact with itself. If it interacted like normal matter, it would have a distribution similar to the gases, and not spread way into intergalactic space.
You don't need to prove the hardware correct to prove that the software is free from timing side-channels. You just need a model of the hardware that captures timing information.
Sure a hardware or model bug would render your proof non-applicable, but that is already the case for the existing proofs.
The bigger problem is simply that hardware designers do not care about timing side channels. Even if you did accurately model the timing behavior of a modern processor, you would just discover that trying to write software free from timing side channels is a practical impossibility.
> And then you'd need assurance that the Verilog is faithfully transcribed in the silicon, which is a can of worms in itself.
You would also need to prove that our model of physics accurately describes how that silicon would behave, and the the environment around the silicon is within the physical parameters you modeled...
Interesting, but not unheard of. Think of attacks like Row Hammer. No revolutionary physics needed. But chip designers cannot fully apply quantum field theory to an entire CPU, so they necessarily use simplified a simplified physics model. The resulting chips then need to be empirically verified to correct places where that simplified model diverges to much from the messy reality, which means that the chip design is only as good as the empirical testing done to it.
Add to that the potential for unknown and mis-moddeled manufacturing defects, and manipulated electrical voltages and signals, random particle interactions, and there is a lot of room for known physics to break a verilog level proof of correctness.
It is not sufficient to work against current AI. It needs to also work against AI that has been trained by a competent team aware of your mitigation. Or worse, a competent developer with no particular AI skills.
Otherwise, you are relying on obscurity, and will lose as soon as you become interesting enough to matter.
You will also break non-AI machine processing use cases. That isn't just accessibility, it is things like search.
It doesn't matter what they charge if the patient doesn't pay it; which is what often happens with uninsured people showing up at the ER.
> Any excess money at the end of the year should be moved to the pool for the next year, not as a bonus on CEOs' 100m+ salary
Under the ACA, excess money in the pool must be rebated to policy holders. In practice, this worked for a few years, but eventually insurance companies ended up increasing cost in order to increase the absolute amount they were allowed to keep. Maybe this is still good (more claims approved), but it is counter productive to the goal of reducing healthcare costs.
It often happens with insured people showing up at the ER as well. Many patients don't pay their bills, either because they can't afford it or are just deadbeats. As overall healthcare costs have increased, insurers and employers have shifted more costs to plan members through higher deductibles / co-pays / co-insurance. So hospitals end up with a lot more bad debt, and this in turn causes further price inflation.
Carriers and providers don't make this easy, either.
I had a recent doctor's visit, with very good healthcare coverage, that was an in-network facility but an out-of-network provider. Coverage would have kicked in if I had a referral from my PCP, but my PCP recently retired and I was advocating for my own health for a small dermatological issue. They said it was cosmetic, my old PCP said it was not. I got a stack of 10 bills over many months all stating different things -- everything from $0 EOB to over $2k in uncovered expenses. No one would take ownership of sorting out what I was on the hook for. No one I talked to was empowered to actually solve it. It wasn't an affordability problem over $2k (but would be for my elderly grandparents on fixed income). Even asking "If I give you $2k does that resolve the debt?" was answered with "we won't know until we apply the payment" type non-answers.
Burn the whole stack down -or- earn enough you can operate on cash for the tier of care you want. Nothing inbetween seems to be working.
https://factorio.com/blog/post/fff-146
reply