It obviously gives us guarantees in terms of what the source will do and what the compiled code should need.
These do not provide memory safety, so memory bugs would not be solved by these. They will find unexpected behavioural issues, though.
The precondition and postcondition statements are not cunningly-disguised assert statements because they're not asserted at runtime. They're enforced at static check and/or compile time.
The policy hints mean that if the kernel is doing something you're not expecting, you find this when testing the code. Equally, though, it means that users cannot cause the software to venture into realms unknown through many of the usual attack vectors because those will require permissions that aren't there.
because you don't have any idea where it got its "facts" from.
With a link you can (roughly) judge the credibility of the source. I.e., did the "facts" come from published research or some nobody on social media. Or some known propaganda outlet.
Sounds like a good strategy for a studio that expects their big movie to be a box office flop.
Why isn't there a second independent AI that examines the main AI's output, and decides if it should be censored or not. If it thinks so, the answer is not delivered.
Since the second one is only looking at the first AI's output it seems like it would be difficult or impossible to fool it, especially if it's window is very short (like only the current message).
I assume there is some reason this does not work. Any explanations?
and most of that was put in place by Democrats.
They also invented salmonella and body odor.
Fortunately God decided it was necessary to intervene and created his own political party to protect us from drag queens and people who take that "liberty and justice for all" kind of crap seriously.
This would be a good time to point out that every political argument has two sides and two points of view.
You mean, like, a good one and a bad one?
Anyone want to buy a $100,000,000,000 data center at fire-sale prices?
I am thinking about the following concept. Take doxygen comments and extend them as follows.
1. Permit identification of pre-conditions for functions (what has to be true when the function is called)
2. Permit identification of post-conditions for functions (what is intended to be true when the function exits)
3. Permit identification of hints about what kernel operations are being used by that function
I'm anticipating the first time I see the word roboticide in the news.
All the hunters and fisherman who voted for this are going to blame Hillary/Obama/Binden.
And B.Clinton, Carter, Johnson, J.F.Kennedy, Truman, Roosevelt...
Those are visible harassment campaigns (and visible on purpose to scare others). He was wondering about ones people don't know about, secret and/or unreported harassment campaigns.
I got Google Play Music for my family back when that was a thing. It was the same price as Spotify, had the same catalog, and included any music on Youtube as well. The fact that it included ad free Youtube was just a bonus. These days that has morphed into Youtube Premium, and I still pay for it. I am mostly there for the music, but the ad free Youtube is not terrible.
The interesting thing is that it is pretty clear that most people just watch the ads. Youtube had $60 billion in yearly revenue last year. More than Disney, NBCUniversal, Paramount, and Warner Brothers combined. Roughly $20 billion of that is credited to Youtube Premium which is bigger than any of its Hollywood competitors.
There's a reason that Peacock is being included with Youtube Premium and not the other way around. Youtube is worth something. Peacock, not so much.
Things have changed dramatically since the heyday when everyone had a cable subscription. I used to work for SlingTV (and then Dish), and I had a front row seat as the whole industry imploded. Every year the television networks and movie studios would sit down and renegotiate their contracts. Despite the fact that viewership was always down at least 10% year over year they always wanted price increases. If the cable providers pushed back (as Dish often did) they would lose access to channels, invariably during football season when it mattered most.
You see, as technology started allowing people to purchase their entertainment piecemeal it soon became clear what parts they were willing to pay for, and which parts they weren't willing to pay for. Hollywood thought that people paid for cable subscriptions to watch their scripted television. It turns out that, for most people anyway, the part of television that they were willing to pay for was live sports.
That's why Disney won't sell you ESPN unless you bundle it with everything else that they sell, and that's also why Disney is suing SlingTV for reselling access on a daily basis. SlingTV's "sports pass" allows you to pay for just the games that you want at a ridiculous price. Disney should be stoked, but instead it has sued because it wants to force sports fans to continue to pay for their other channels.
Almost no one is watching traditional scripted television these days. The few hits that the networks do have tends to be reality TV stuff like "Dancing with the Stars," where the audience can watch people compete in real time. Youtube (not YoutubeTV) has at least half again as many viewers as their next highest competitor (Netflix), at any time during the day, on traditional 10 foot devices (your living room TV). That's not counting people watching Youtube on their phones or their computers. Youtube is killing scripted content on living room televisions, during prime time. During the day its an order of magnitude worse.
Take a look at nielsen.com and take a look for yourself. It's absolutely grim. Look at the shows that are doing relatively well, they are all either sports or sports commentary. That's literally the only reason that anyone watches anything besides YouTube and Netflix.
Apple spent over $20 billion building up a content catalog. At their height they were spending nearly $5 billion a year making shows. They made some great shows and got rave reviews. Amazon spends $1 billion a year for the rights to Thursday night football. That is arguably the worst football game of the week. However, Prime generally gets as many viewers for a single game as Apple has total subscribers, including all of the free subscriptions that Apple gives away. It's not just Apple that is shifting away from scripted television either. Take a look at any of the streaming sites (including Netflix) and you will see that all of their recent moves have been to try and compete for the sports market. That's definitely what YouTube is doing by bundling Peacock.
Hollywood is currently circling the drain. Everyone is up for sale right now. No one is watching scripted television. They certainly aren't paying for it.
If the aborigine drafted an IQ test, all of Western civilization would presumably flunk it. -- Stanley Garn
