3,458 karma · joined March 18, 2021
By all means use whatever works for you, I’m not even going to try to make an argument on ethics (and honestly I’m not even sure where I stand, given the behavior of American AI companies).
But I just cringe every time I see people acting like any of this is done in good faith.
Open source coming out of China is a state-sponsored criminal enterprise, built only for the benefit of the Chinese regime, one of the worst to exist in human history.
But now many of us have been trained to detect slop from miles away so it just comes across as cheap.
I often feel the same way when I glance at a project’s documentation and it’s long and full of markdown styles and emojis: “the author didn’t think about the users at all, they just wanted to get this over with quickly, so now I have to be super suspicious of everything I read here and it might end up being a huge waste of my time”. A few years ago I’d probably think “wow, emojis!”
Spawn 10 on the same problem and have them debate to reach a consensus, you’ll get Fable-like results but 100x faster.
I’m not getting into the ethics/comedy aspect of it, but let’s not pretend this isn’t the case. Plenty of evidence, the motive is obvious, and the numbers are in plain sight (valuations, salaries, etc).
As long as this continues I think closed source will continue being a few steps ahead, but the steps will probably get smaller over time.
Having said that, this is already priced in, the market predicts this gap will be large enough for the US companies to profit from (astronomically).
Most of these reusable, automated workflows sound really cool in theory, but in practice either they require a lot of customization (not really reusable) or a lot of babysitting (not really automated).
AI has improved my productivity significantly, I'm not a hater, but we also have to be honest about its (current) limitations. The whole "software factory" thing is just a pipe dream people sell to execs / investors / online courses.
You assume these Chinese companies need to make a profit. Nothing is really private in China, nothing that truly grants power, anyway.
CCP can just write off these loses as defense budget, which they basically are.
I bet that, all things considered, training 10 new Chinese frontier models costs _significantly_ less than a single modern fighter jet.
I don’t see that changing, to be honest, but it’s interesting that this never even occurred to me. It seems so obvious in hindsight. Quite the blindspot.
Something about the SO incentive system created the most hostile platform imaginable.
This is overselling it. In all implementations of this that I’ve seen, a more correct phrasing is “won’t stop until it pinky-promises it achieved your goal”.
It usually relies on something like a hook that refuses to let the agent stop unless it includes a “promise sentinel”, which is basically the model having to include “I swear I’m done” in the response (usually as a Markdown comment so the user doesn’t see it). If that sentinel isn’t in the response, the hook rejects the completion and hands it back to the agent (sometimes it also restates the goal to keep it focused). It’s useful for sure, but it fails many times for obvious reasons.
More robust implementations use the hook to spawn another agent that verifies the goal is achieved, but that too isn’t prefect and sometimes performs worse.
Of course if you have a problem that can be deterministically verified, you could have the hook run this verification instead, but this is usually not the case (and even when it is, agents will often cheat the verification e.g. by deleting a test file).
I think it’s the disconnect. Each persona is an expert in their own field but is completely oblivious to other critical areas.
The founder knows how to raise money but doesn’t really understand the customers. The engineer knows the tech but doesn’t really understand what it takes to keep the business afloat. The salesperson knows what customers want but doesn’t really understand what’s possible to make. The investor knows the numbers but doesn’t really understand how poorly the business is run.
I suspect if you look at successful startups you’ll often see a very small (1-3) group of founders who are very close, each can do more than one thing really well, and their combined expertise means that together they have very few blindspots.
But then what if we end up with ASI that can comprehend and make it useful for us?
Even if I write down every single thing it did wrong and how I’d do it, and even if I turn those into rules, it will know how to follow these specific rules, but for some reason it can’t seem to generalize beyond that. And the real list of rules seem truly infinite.
(If the argument is that subsidizing books helps the poor, I’m all for it, a nonprofit or a charity would be a much better framework)
This is the public sector M.O, instead of admitting something is obsolete they grab more scope and funding.
My local post office now sells iPhones. And why shouldn’t they? Nobody stopped them when they just sold SIM cards, and then cases and chargers. It’s like a law of nature.
Yeah for sure and that’s great and all but I think what they were really asking is how they’ll feed their kids
And that's really my issue, for example when you define "has no trailing whitespace", you are basically writing a piece of the implementation. Cover all behaviors, and you have basically re-implemented the function, no?
In other words, if I have the full formal spec of f(), isn't that the same thing as having f()?
I guess doing things twice can help catch errors, but I fail to see what’s so special about formal specs if they can suffer from the exact same bugs as the tests/implementation.
I guess the root of the problem is if you want to formally prove that a program does something, you have to be very specific (heh) about what that something is, at which point you are basically just writing tests/implementation all over again.
I have been looking into this on and off for years now, and I keep feeling like I’m missing something, but I don’t know what it is.
Can anyone enlighten me?
You would be surprised what normies are willing to delegate to AI.