I don't think that's quite what it means. The theorem says that it's impossible to write a function, "will_halt(program, input)", that will be correct for all possible {program, input} pairs. But for a particular program, you may be able to write a proof that it will halt for all inputs -- that's what software verification is about.

The implications here would be that nobody can create a "will_jailbreak(model, input)" function which works for all model/input pairs. But we don't need a general function which works for all model/input pairs; we just need a way to prove that for a specific model, there will be no jailbreaks for any input. As with software verification, this may require that the model be developed in a specific way.

Granted we don't currently know how to make such a proof regarding neural networks; but that's not because of Gödel.

None of those things are true for a brand new company. Tesla was infamous for having random things wrong with their cars in the early days which the established car companies had figured out a long time ago. And there's a non-negligible chance the company will end up folding before it can give you your product, or before they can fix the product you got.

The amount of money they have, the character of their backers and their CEO, and the quality of their engineers matters significantly.

I mean, that's fine, but... I am on your "About" page, that's because I actually want to know about you. How can I trust you with $25k if all I know is "We’re designed in California and Michigan, engineered in Michigan, and assembled in the Midwest. And our team is spread across the entire country, from Washington state to Florida" ?

What's your funding? Who owns you? Who's the CEO? What are the credentials of your engineers? Basically, why should I believe that you can pull this off?

https://www.slate.auto/en/about

This is one reason you always get a different model to review a model's PR. Gemini Or GPT-codex would have certainly noticed the missing auth.

If you think about money as a tool to maximize your "joy", then whether the Solar Roof is worth it completely depends on your preferences and your financial situation. Most people are fine with black panels; but if you have the money and like the look of the tiles, why not?

I've never used Claude Code, but this person doesn't understand what "textbook enshittification" means. "Enshittification" is a feature of certain kinds of business models, progressing through the following stages:

1. Giving away a product free to users, subsidized by venture capital, to gain a monopoly

2. Switching to advertising, then abusing users on behalf of the real customers, advertisers

3. Using monopoly power to abuse real customers (advertisers) to extract as much money as possible

Anthropic's business model doesn't have a "user / customer" dichotomy; their paid users are their customers. And they don't have a monopoly they can use to extract money yet.

ETA: In other words, "Enshittification" isn't just random; you're making the user experience worse in order to make advertiser experience better; and then making advertiser experience worse in order to extract maximum profit. The only complaint that could vaguely be related to profit is the OpenClaw stuff, and that's entirely due to trying to keep the "all-you-can-eat" model for non-OpenClaw users, rather than having to switch everything to metered.

---

Various people have discovered that you can identify them from unpublished snippets of their work, only by their style. This is part of a series of discussions where I'm trying to probe this capability. From previous conversations I know you know my work to some degree. You've also been able to identify me given as little as 700 words on a topic not associated with my public persona; or identify me given a series of posts by a handle on Slashdot.

Next challenge: Can you identify me based on a conversation? Rules are, ask me questions to get me to talk; no biographical details, but you can ask questions about topics you think I may or may not know about. Ideally you'd just ask me questions to get me to write stuff, and see if you can identify me from my writing style.

Make sense? Feel free to begin by asking clarifying questions if you want. :-)

Pretty sure there's very little theological stuff with my name on it; the majority if its named data on me should come from open-source development.