This is very frustrating. As if they couldn't afford to continue it. And at the same time they keep making the system more and more closed, so that you can't even run applications without Apple's permission. I don't understand why people still buy such products.
Ok, then try to run a pre-compiled macOS M1 compatible application on your new Sequoia system, such as https://github.com/rochus-keller/oberonsystem3/ or https://github.com/rochus-keller/leancreator/. Requires quite some tricks so that at least some applications run without Apple's benedictions, but the tricks don't work for all such applications; and as it looks, they will also remove the last remaining work-arounds in future.
> "Go to Privacy & Security and click "Open anyway"
Thanks. Unfortunately this works no longer on sequoia; you first have to run "spctl --global-disable" in a terminal and then - within a few seconds - got to Privacy & Security and select the new option in the popup menu (which was not available before). See also https://news.ycombinator.com/item?id=41184553. That's what I meant with "tricks". And even though there were apps which still didn't work. But fortunately I have still a Mac with an older OS version which I'm not going to upgrade.
Very simple. Some of the applications work with the "console/allow all" trick (which is a tedious procedure, but hey, I'm just a dumb customer), others still don't work but crash and give strange errors that some stuff could not be accessed. But none works immediately. On systems older than Sequoia, everything works as expected (I just have to start them via the context Open menu, which is ok).
This article indeed exhibits multiple strong indicators of AI-generated content, particularly from early ChatGPT-era models. The text was published in January 2023, just two months after ChatGPT's public launch. But Pascal (and especially its successors) is still a great language.
> "It's not just the destination, but the journey for getting there."
You can still enjoy the journey, but still profit of AI; I think AI is extremely useful to discuss concepts; e.g. recently I did extensive research about different versions of L4 microkernels to finally implement my own; it's a completely different world now, where I can ask a seemingly "omniscient" expert everithing from general concepts to the minute details; also services like deepwiki are extremely useful. The best "technical discussion partner ever" from my perspective is Claude Sonnet 4.5 with the "thinking" option.
> "And because it got the easy parts right, I feel compelled to give it another chance.."
I agree that the generated code is often incomplete or pretty strange, but recently I was able to generate some quite complex algorithms from a paper to C++ and Go using Gpt-5 and was very surprised that it not only immediately compiled, but also worked. With Claude Sonnet or Opus debugging and fixing took usually as long as writing from scratch. There are always things that just have to be implemented but I'm glad that I don't have to myself, which enables me to focus on the things I mostly care of, or even dare to do projects which would take much too long if I had to write everything myself.
Respectfully disagree. This is a compiler engineering tool backed by peer-reviewed research (DLS'16, 112+ citations) and used in 30+ academic publications across PLDI, OOPSLA, and ECOOP. It requires understanding controlled experimental methodology and compiler optimization theory to interpret correctly. Perhaps that context clarifies its purpose. The goal is to assess compiler effectiveness for a common set of core language abstractions (objects, closures, arrays), not to represent application-level performance or claim that production C code would be written this way. Your "branch predictor" criticism actually validates the benchmark's design: if different language implementations handle the same branching patterns with dramatically different performance, that reveals genuine differences in compiler designs.
It's the abbreviation of Micro Oberon, therefore a quite obvious naming choice; there is no real risk of confusion with commercial offers under this name; it's also a common name in science.
They also have a Micron trademark for software, as they sell some software packages. So it's really just a question of whether or not they notice and decide to go after you.
No. This is a common misconception. I know, you asked an LLM and it said you were very right and it cited a bunch of legal cases which prove you correct. You didn't check any of those citations, because they looked right, because it's an LLM and generating plausible nonsense is exactly what it's good at.
Or worse, you just relied on a vague memory that other people said the reason they have to do something reprehensible was because it's legally required, and even though you've heard that bullshit from a dozen US politicians in the last week and know it's bullshit you thought they must be correct.
No, I've been interested in "intellectual property" restrictions since last millennium, so I've been familiar with the outlines of US trademark law for a while. You evidently are not. Aside from the reductions in scope resulting from laches and equitable estoppel, demonstrating a clear record of enforcement efforts is crucial to preventing genericization, which can befall even the most inherently distinctive marks such as "heroin".
Nowadays it can indeed be difficult to avoid getting taken in by LLM bullshit even if you don't ask an LLM yourself, but it is still possible.
You are correct about the US in relation to trademarks. The situation there is rather complex, with it being possible for people to just add TM to their texts and ask other people to do the same and it is considered legally binding. They can take the extra step of registering and then they add (R) to their texts and that gets them an even stronger legal case.
Because of the case law nature of the US legal system and the informality of TM, if other people start using the term in other ways (for example using "xerox" as a verb meaning "copy") and you don't show an effort to curb that then you can lose your trademark.
In other countries things are different. Brazil, for example, uses a Latin legal system which is more formal. So the only thing that matters is whether you have registered the trademark with INPI (National Institute for Intellectual Property) or not. Which is why Gradiente owned the iPhone trademark in Brazil even though they were not using it anymore (it was from a product from around 2000) and if you asked anybody on the streets in Brazil they would associate the name with Apple.
It's all the usual suspects: Laches, Estoppel, and Genericisation. The first two lets deal with quickly: Laches only applies if you want to chase people for things they did too long ago, so, don't do that. Laches does not magically forbid suing them for things they are literally still doing, even if they've been doing them a long time, the prohibition is on unfair retrospective action.
Which gets us to estoppel. Estoppel requires explicit consent and isn't transferable. You won't get estopped from a trademark suit because the person who was misusing the mark thought they'd get away with it, that's completely contrary to how estoppel is used. If you give permission to someone to use your mark, then you're estopped from suing, but I didn't say "Give everybody permission" I merely said there's no need to sue or threaten to do so.
Genericisation is more interesting because in some sense it's true, your mark might become generic. This is generally a huge success (you don't become a household name if nobody has ever heard of your product...) but it's also extremely unlikely and both escape mention in this sort of piece. Indeed some marks listed aren't "generic" in the sense we meant here. If your mark is "genericised" as penalty for your country starting a global war, that's not going to be fixed by suing more people.
As you'd expect, the attorney assures you that you should pay them to help, even though they list absolutely no way in which they'd actually be able to help. How would you create a "clear record of enforcement"? Are you supposed to ensure that the correct number of people somehow infringe so that you can go after them? How many would be too many, or too few? How will courts measure?
The answer is it's nonsense. "Enforce it or lose it" claims are caused by the fact that lawyers would like you to give them money, - most of them will stop short of outright lying to get your money, but misleading is very much fair game when you're not even a paying customer yet.
Genericisation occurs when ~everybody uses your word to mean a thing. Are you going to sue everybody? Is an attorney going to help you, somehow, do that, some sort of reverse-class-action? No. They'll gladly take your money in exchange for the advice that in fact you shouldn't try to sue everybody.
In passing: The word heroin isn't "Inherently distinctive". It's barely distinct enough (remember this is a German manufacturer, so think German) to have made a reasonable trademark for Bayer's "non-addictive" morphine. Which is striking actually: Hey, who here has heard a story about a supposedly "non-addictive" opioid medicine sold by a huge pharmaceutical company who knew they were lying ?
The LLM stuff is because this wouldn't even be the second time I've had a thread where someone insists LLM told them about all these cases which proved me wrong. Previously in one HN thread they were so convinced they just pasted the made up case names wholesale.
Mostly I agree, and I'm sorry I went off on you like that. Cases like ConAgra v. Singleton take acquiescence further than simple laches. But acquiescence certainly didn't lose ConAgra their trademark in that case; it just allowed Singleton to keep using it as well, but only for some of his products.
"Heroin" is "inherently distinctive" in that it's a totally made-up word; it isn't a purely "generic" term like "Windows" or even a "descriptive" term like "Whole Foods". Even in German. The drug isn't literally extracted from heroes, it doesn't contain heroes, nothing like that. The reference here is to the spectrum of https://en.wikipedia.org/wiki/Trademark_distinctiveness. Even if most of the caselaw cited there is anachronistic in this case, many of the principles already existed at the time.
I see what you're saying on the distinctiveness though I think you're too generous to Bayer, this feels like how "Nutrisse" hair products are clearly intended to give customers the (false and indeed illegal if claimed) impression they're good for your hair. "Nutrisse" isn't a word but we do both see what the intent is right?
The Singleton thing is also a name problem, I think the court's sympathy ran out when there's re-use of branding material and evidence of actual confusion which is ultimately what these laws are trying to prevent.
Indeed, e.g. Apple Lisa OS and the first Mac OS. But the present one so far is only around 100 lines; the author calls it a "bootloader". Here is a list of more complete systems: https://wiki.freepascal.org/Operating_Systems_written_in_FPC.
reply