> Except, of course, no one has actually been robbed, the culture has not been stolen - it's still there
It's actually not there. See how many websites have now closed doors or ceased to operate because of constantly being hammered and bombarded by robotic scrapers. For others, it made websites that turned a small profit into unsustainable money pits.
Sure, their content might now be ingested into an LLM training set sitting somewhere on proprietary servers. But the site itself (the origin of truth) now does not exist.
So no. It actually isn't there. Resting on this falsehood, the rest of your retort makes not much sense.
I may have expanded the definition of self-storage, apologies, but here's the place I am talking about. There is definitely storage and there are definitely guns and gunsmith shops. Crazy, hey?
"Emitted in inappropriate contexts" is very much one of the shapes I would expect unpleasant surprises to take, yeah. If you're writing code in C, you often need a lot of control over exactly what's happening. You might, for instance, be writing a .so for use with LD_PRELOAD, where it's important that you know everything being called so you can't accidentally recurse. You might be writing code for a sandbox, where you have an allowlist of permitted syscalls.
How can it be saved and synced without credentials? I'm in that overwhelming majority, but I don't grok how I can recover the account when my phone is lost/stolen/damaged. The answer appears to be, use another device that was already logged in?
Nobody can avoid it. You can RL things in a box until the box is mapped perfectly but that doesn't mean you can go forever on out of distribution data. Our number of boxes will increase but model collapse is an open problem.
Astra goes farther than any model before but it cannot go forever.
That's a niche level thing that helps in some scenarios, and generally not as much for C++ which is much more weakly typed than Rust is. Weak typing + static typing is why safety problems in C++ are going to be really difficult to fix without fundamentally changing the language.
I don't know about "crimes against humanity", seems to diminish a bunch of actual crimes against humanity. And Microsoft is one to complain! Talk about a glass house. Just checking the annual report for 2025, the median employee compensation was 200k per year, but the total dividends divided by number of employees was 100k, meaning that each employee gets only about 66% of the value they've generated. Isn't that theft?
If it's truly unreachable then it's not likely to be a problem. If it is reachable and it's emerging from some macros and templates then I would be more inclined want a warning for it.
Yeah, it seems like the sweet-spot for this is real-time and embedded because it should be extremely conservative and consistently fast about memory allocation and de-allocation.
Sad that it's got plug-in stuff as a "non-goal", because I'd love to see this as a scripting engine for gaming (since that's Wouter van Oortmerssen's background). But I imagine a "compiles to C" language would at the very least be functionally impossible to sandbox.
I often tell my dev colleagues to avoid having their PC turned on all the time, be it because of the electricity bill cost, environmental impact or simply to make the longevity of the hardware a little longer. Granted almost everyone just ignores those things even if they're conscious of it, so I'd say you're right
I would encourage you to think more deeply about the assertions you're making here.
I've done a fair amount of work in this space as well, specifically my main toolbox of formal verification tools in the past have been Rocq, Idris, Dafny, and TLA+, and I can say that I've come away with roughly the same set of tradeoffs as what LightMachine describes in his comment.
Current formal verification tools are often very slow precisely because they try to reduce the number of lines of code that are required to write a proof. By making proofs more verbose and more explicit, proofchecking is sped up immensely (my own experiments check out with what LightMachine is saying here; indeed I've seen even greater speedups in the range of 100-1000x).
It makes far more sense to pay a series of one-time costs in LLM tokens that reduces your compilation time from 1 hour to 1 second than to pay the 1 hour compilation cost again and again.
Caching and incremental compilation has a lot of limitations, e.g. for CI. This is the promise that languages like GHC Haskell have promised for a while that always gets blown away by the other side like OCaml where global compilation is just so fast that you don't have to deal with those limitations.
Yikes. That’s some deep entitlement. Unfortunately in the real world there’s this thing called money, and we exchange it for goods and services. The reason information isn’t free is because it costs time to produce it and people need to be fed.
If you believe that a creator doesn’t need to consent and doesn’t deserve credit or compensation for their work, then you’re likely not someone who has many fundamental needs unmet
We added passkey support to devices for convenience, but I feel like it is a big part of what has made them so confusing. The mental model of a hardware security key is _so much_ more familiar and intuitive.
(But you still can’t “copy” a key, which is unfortunate).
We're at a point where the biggest possible contribution to humanity of many PMs in big corps would be to just... drop dead. Feature-freeze rather than furthering the enshittification, as that seems all they're capable of.
I'd wish the world would just become boring again.
> I think if you ask 5 people what dumb (enough) phone meant you'd get seven answers.
Yes, but I think anyone interested in this would know what they don't want: TikTok, Instagram, Reddit, YouTube, or any other app that wants you to spend maximum time in their app.
Unless we're talking about complete purists who basically want a 2003 level phone that only does call/text, there's lots of flexibility.
Someone who wants a less addicting phone but doesn't necessarily require maps is unlikely to not buy because of a maps app. It's not like they'd spend 3 hours a day getting directions.
It's actually not there. See how many websites have now closed doors or ceased to operate because of constantly being hammered and bombarded by robotic scrapers. For others, it made websites that turned a small profit into unsustainable money pits.
Sure, their content might now be ingested into an LLM training set sitting somewhere on proprietary servers. But the site itself (the origin of truth) now does not exist.
So no. It actually isn't there. Resting on this falsehood, the rest of your retort makes not much sense.