If the service provider goes under, the govt wasted their money.
Reviewers are also usually biased towards reviewing products that are good and/or interesting, and while that's also true of consumers, you'd expect reviewers to be more informed.
What you're describing is a language that can effectively take a high-level design doc (limited to a formal language representing a pseudo-English-subset) and compile to almost arbitrarily complex, formally verifiable…
> If 90% of new games get tagged as AI no matter how non-slop they are You presume in favor of the existence of non-slop.
> There as good games that use AI [citation needed] There theoretically could be - and I don't have an issue with an otherwise competent dev/artist making use of AI tools - but I know no examples of good games that also…
YT's business model is monetizing creators' output. Producing a video that gets a million views and generates a bunch of ad revenue is the fee.
> I used to think that compilers should use more verification technology, but people start screaming about compile times. "Just" make verification faster. ;)
I assume they're referring to some amplification of that latency that makes it easily observable. e.g. multiple round trips on a user interaction
That's a false dichotomy. An AI assistant doesn't have to be unrestricted and monolithic.
From the perspective of the humans who first harnessed fire, it could have been a humanity-ending threat for all they knew. Certainly for the atomic bomb, they briefly entertained the possibility it would literally…
That's loaded with ambiguous qualifiers. Anybody could say that about pretty much any revolutionary technology. Unless you have a convincing argument for how there's literally only one way for it to go right, it's an…
There have always been Adobe alternatives and many are more than 50% functional.
I'm pretty sure the "proprietary" part is the gatekeeping.
Depends on your definition of doom. If doom is ending up with grey goo / paperclip maximizers, or SkyNet, then I don't think doing mathematics is evidence of that direction. Partly because LLMs are quite apparently dumb…
I doubt that agents can make a product as polished as Slack. The status quo would indicate that's not the case as the prediction that SaaS would die has not panned out at all.
I left another comment with the minimal example, but intuitively: - proposers descend from their 1st choice, while recipients ascend according to their offers; the outcome can't be recipient-biased, because recipients…
(A,X),(B,Y) as the proposals is fine for the point being made. The issue is if we reverse which group is the proposer, we still end up with the same matching, because (A,X) strictly prefer each other. The minimal…
> There is no reliable way for a dating app to only serve users non-committal matches for example While that certainly sounds difficult, it sounds feasible for e.g. Facebook. > The thought experiment I usually pose is…
Not sure if you're trying to be humorous but RSI is when a system improves itself. It's explicit in two out of the three words...
Sure, I acknowledge an open ecosystem is at least not something Apple advertises nor what any reasonable consumer believes Apple to be advertising. My point is that "users installing anything they like" is, or ought to…
> It's very shocking to see this turn of the editorial approach for a company that did change the full industry. Is it? Regardless of how revolutionary a company was, they don't get a free pass on criticism. I had a…
HCI started as a field before the idea of "personal" computers was realized. Now most humans on earth have a computer in their pocket, often with constant access to a global network and infinite addictive feeds of…
None of that explains why the owner of an Apple device can't install alternative app stores, nor the bundling of their own app store.
If it's about the latency / flow disruption, spending a few hours once could easily be worth it if the result is actually good enough to skip googling/retries.
Even ignoring speed per GP, the Hutter Prize's metric includes the size of the decompressor. LLMs would be disqualified for being larger than 1GB.
If the service provider goes under, the govt wasted their money.
Reviewers are also usually biased towards reviewing products that are good and/or interesting, and while that's also true of consumers, you'd expect reviewers to be more informed.
What you're describing is a language that can effectively take a high-level design doc (limited to a formal language representing a pseudo-English-subset) and compile to almost arbitrarily complex, formally verifiable…
> If 90% of new games get tagged as AI no matter how non-slop they are You presume in favor of the existence of non-slop.
> There as good games that use AI [citation needed] There theoretically could be - and I don't have an issue with an otherwise competent dev/artist making use of AI tools - but I know no examples of good games that also…
YT's business model is monetizing creators' output. Producing a video that gets a million views and generates a bunch of ad revenue is the fee.
> I used to think that compilers should use more verification technology, but people start screaming about compile times. "Just" make verification faster. ;)
I assume they're referring to some amplification of that latency that makes it easily observable. e.g. multiple round trips on a user interaction
That's a false dichotomy. An AI assistant doesn't have to be unrestricted and monolithic.
From the perspective of the humans who first harnessed fire, it could have been a humanity-ending threat for all they knew. Certainly for the atomic bomb, they briefly entertained the possibility it would literally…
That's loaded with ambiguous qualifiers. Anybody could say that about pretty much any revolutionary technology. Unless you have a convincing argument for how there's literally only one way for it to go right, it's an…
There have always been Adobe alternatives and many are more than 50% functional.
I'm pretty sure the "proprietary" part is the gatekeeping.
Depends on your definition of doom. If doom is ending up with grey goo / paperclip maximizers, or SkyNet, then I don't think doing mathematics is evidence of that direction. Partly because LLMs are quite apparently dumb…
I doubt that agents can make a product as polished as Slack. The status quo would indicate that's not the case as the prediction that SaaS would die has not panned out at all.
I left another comment with the minimal example, but intuitively: - proposers descend from their 1st choice, while recipients ascend according to their offers; the outcome can't be recipient-biased, because recipients…
(A,X),(B,Y) as the proposals is fine for the point being made. The issue is if we reverse which group is the proposer, we still end up with the same matching, because (A,X) strictly prefer each other. The minimal…
> There is no reliable way for a dating app to only serve users non-committal matches for example While that certainly sounds difficult, it sounds feasible for e.g. Facebook. > The thought experiment I usually pose is…
Not sure if you're trying to be humorous but RSI is when a system improves itself. It's explicit in two out of the three words...
Sure, I acknowledge an open ecosystem is at least not something Apple advertises nor what any reasonable consumer believes Apple to be advertising. My point is that "users installing anything they like" is, or ought to…
> It's very shocking to see this turn of the editorial approach for a company that did change the full industry. Is it? Regardless of how revolutionary a company was, they don't get a free pass on criticism. I had a…
HCI started as a field before the idea of "personal" computers was realized. Now most humans on earth have a computer in their pocket, often with constant access to a global network and infinite addictive feeds of…
None of that explains why the owner of an Apple device can't install alternative app stores, nor the bundling of their own app store.
If it's about the latency / flow disruption, spending a few hours once could easily be worth it if the result is actually good enough to skip googling/retries.
Even ignoring speed per GP, the Hutter Prize's metric includes the size of the decompressor. LLMs would be disqualified for being larger than 1GB.