amelius

20 ms·

421.
by amelius 2mo ago
I don't understand what you're trying to say here. If I sell a car that doesn't start half of the time, I can just say "well people pay more for cars that always work, you chose to spend less so you got what you deserved
422.
by amelius 2mo ago
I think an occasional rod drop might be used as a test for the system, so there's no real need to prevent them.
423.
by amelius 2mo ago
If normal warranty rules applied to software, then software companies would be out of business very quickly. Maybe with formal verification the laws around that can change?
424.
by amelius 2mo ago
And you can put the specification in the manual of the software so the user knows what they're dealing with.
425.
by amelius 2mo ago
To make it easier to push "alternative truths". I think the plan might be to reinstate science in some form after they have grabbed full control of the country.
426.
by amelius 2mo ago
Flexibility.
427.
by amelius 2mo ago
AI changing words for watermarking purposes.
428.
by amelius 2mo ago
This is a nice one to play with: https://www.falstad.com/rendezvous/
429.
by amelius 2mo ago
ASUS manager: "now memory is scarce, does it even make sense to produce more motherboards"? ASUS employee: "maybe not, but I hear that electric bikes are hot"
430.
by amelius 2mo ago
Do you know any company that went back from local AI to centralized AI?
431.
by amelius 2mo ago
I'm talking about the web interface.
432.
by amelius 2mo ago
Of course, but that doesn't mean formal verification isn't a huge step forward.
433.
by amelius 2mo ago
But do the same SWE fundamentals apply if the one doing the programming is many times smarter than us?
434.
by amelius 2mo ago
Having not been formally verified, almost all software today feels cheap. Maybe an AI can change that at some point.
435.
by amelius 2mo ago
It's on a different page. Just show me a progress bar of 1 or 2 pixels wide in or around the prompt input box.
436.
by amelius 2mo ago
Sounds like Apple.
437.
by amelius 2mo ago
It's so sad that this is necessary. Why can't Anthropic get the UX of metering right?
438.
by amelius 2mo ago
> It shrinks visceral fat, it's been shown to clear liver fat The brain is 60% fat, so I'm not running to the pharmacy yet.
439.
by amelius 2mo ago
It's hardly "leadership" when you can yell at your serfs all you want and get away with it.
440.
by amelius 2mo ago
> It's doing all that it can. The problem is in the word "can". What if its actions are completely determined by the rules of physics? I.e., it cannot do anything other than one thing, whether it applies thinking or not.
441.
by amelius 2mo ago
Semaglutide reduces appetite. Who could have known that eating less will have positive effects? Maybe we should try consuming less in general and see what the effects are. Is there a semaglutide for my shopping habits? Maybe ban ads?
442.
by amelius 2mo ago
Sounds like another attempt to frame AI in a way that makes them feel better about themselves. The simpler explanation is that a working memory is a requirement for intelligence, and a larger working memory will make you more intelligent. H
443.
by amelius 2mo ago
Now I'm wondering what this rock I'm holding is thinking.
444.
by amelius 2mo ago
Well, they could try to prove the correctness of that LLM-based kernel code. If it passes, then they could use it, no?
445.
by amelius 2mo ago
I mean, if we're going to ignore physical attacks then yeah an airplane can be as safe as a computer I suppose.
446.
by amelius 2mo ago
Now try to draw a donut.
447.
by amelius 2mo ago
And the people running the AI companies have no ego. Right.
448.
by amelius 2mo ago
I want to see an IEEE spectrum article on what it takes to build a modern LTO tape drive.
449.
by amelius 2mo ago
But what if the device contained an explosive?
450.
by amelius 2mo ago
VNC works fine.

More ›