Viewing profile — gf000

Works, sometimes. But they can fail spectacularly and unexpectedly even on very basic questions/instructions, like so simple that a hand-coded word-matching style logic could get t…

That's a good way to put it, but still my experience is that worse code bases are non-linearly harder to maintain and improve in the future, software tends to break down without a …

It barely works even today, like Siri is laughably bad.

It's not true - agents will visibly struggle more with worse code bases. If anything, certain kind of maintainability matters more in this era, than before, because it is so much c…

Neither does my amygdala reshape itself and move closer to my frontal lobe, nor do my cells change their DNAs (minus damage). Just because "the substrate" has some fixed parts does…

> irrelevant to us because we're not What an unnecessarily dismissive "argument". I'm certainly not a CPU, nor a painting, nor a bird, yet plenty of people find these topics and ma…

I didn't have good experience with Hermes. Vellum.ai was better, but unfortunately it had a bug where opencode go providers failed to work for a time, so I instead starting writing…

But unsafe Rust is still considerably safer than C (not sure about how it stands up to Zig, though)

Semi-related - I think that controllers would be a very nice single input device for many kinds of workloads, especially if you can occasionally just dictate text. It's kind of sad…

Sure, but if one wants to play tester, don't complain when you eventually find a bug.

Without dbus, X would also have plenty of its features fall flat, it's the de facto IPC mechanism of Linux desktop for better or worse, so it's like "my car won't start if I don't …

One caveat is that many existing search engines are actively worse than what they had before. Exact keyword matching had its use, but now they do some kind of vector search but wit…

Also, like where else would the indices live? They are in memory to make going to definition, source, analysis etc fast. It's not even using java objects for these, so a feature-eq…

Given that it was formalized correctly, which is far from trivial in many cases (Of course LLMs can help there, get it right etc, just a caveat that people have to keep in mind)

Formal verification proves if your specified theorem is correct. You can state any number of properties, in one extreme you just have basic types. The interesting, 'hard-to-wrap on…

Not the parent commenter, but most of it is surprisingly simple. You basically start with a "chat app" where you have a list of messages, send the whole conversation to an LLM and …

Well, another way to put it is that the western markets managed to keep it out via propaganda and other soft influences on people.

Yeah, I love how people assume large powers have to do something. They are at most expected to do certain reasonable stuff (most of the time, a war is not beneficial to anyone so t…

How can you steal something that won't materially be less from that? IP laws are cancer, and are definitely not in humanity's interest.

As opposed to finding some shady website with the same info?

Come on, nukes are not feasible to goddamn governments. The hard part is not "the science" behind it, the hard part is spinning stuff at such a high rpm that a tiny vibration will …

> the couple multi-trillioners will have all the wealth of the world, and it will all crumble down You mistyped it.

Then I buy a very expensive GPU rack and timeshare it with a couple of friends.

I agree, I personally really dislike discord - I do get that it works better for certain group sizes, but still. Given that most of the clients are open-source, I wonder why signal…

Well, I'm fairly sure that Telegram has substantially more users, so not getting spam is more likely due to that only.