11–20 of 383 posts
Not sure I understand the last sentence: > The fundamental challenge in AI for the next 20 years is avoiding extinction.
I think he's referring to AI safety. https://lesswrong.com/posts/uMQ3cqWDPHhjtiesc/agi-ruin-a-lis...
This is a bunch of "I believe" and "I think" with no sources by a random internet person.
The creator of Redis.
This is a bunch of "I believe" and "I think" with no sources by a random internet person.
This is a bunch of "I believe" and "I think" with no sources by a random internet person.
So nice to see people who think about this seriously converge on this. Yes. Creating something smarter than you was always going to be a sketchy prospect.
All of the folks insisting it just couldn't happen or ... well, there have just been so many objections. The goalposts have walked from one side of the field to the other, and then left the stadium, went on a trip to Europe, got lost in a beautiful little village in Norway, and decided to move there.
All this time though, the prospect of instantiating a something smarter than you (and yes, it will be smarter than you even if it's at human level because of electronic speeds...) This whole idea is just cursed and we should not do the thing.
Around the world people ask an LLM and get a response.
Just grouping and analysing these questions and solving them once centrally and then making the solution available again is huge.
Linearly solving the most asked questions and then the next one then the next will make, whatever system is behind it, smarter every day.
Seems they also want some AI money[0]. Guess, I'll keep using Valkey. [0] https://redis.io/redis-for-ai/
I'm not sure antirez is involved in any business decision making process at Redis Ltd.
He may not be part of "they".
> There are certain tasks, like improving a given program for speed, for instance, where in theory the model can continue to make progress with a very clear reward signal for a very long time. This makes me think: I wonder if Goodhart's law[1] may apply here. I wonder if, for instance, optimizing for speed may produce code that is faster but harder to understand and extend. Should we care or would it be ok for AI to…
Superoptimizers have been around since 1987: https://en.wikipedia.org/wiki/Superoptimization
They generate fast code that is not meant to be understood or extended.