The original repo is about using a subset of a language to compare language implementations. I can see the point in that. But language benchmarks like this are incredibly useless and very easy to get wrong anyway. For example it you actually cared about performance for the bounce example you would never write it like this in C. Bouncing 100 balls in a loop 50 times with 4 ifs just tests the branch predictor. There is nothing to learn from this in practice.
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.
«The term micron and the symbol μ were officially accepted for use in isolation to denote the micrometre in 1879, but officially revoked by the International System of Units (SI) in 1967.»
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.
I'd be more interested in the results, relative to the languages from the main repository.
The original repo is about using a subset of a language to compare language implementations. I can see the point in that. But language benchmarks like this are incredibly useless and very easy to get wrong anyway. For example it you actually cared about performance for the bounce example you would never write it like this in C. Bouncing 100 balls in a loop 50 times with 4 ifs just tests the branch predictor. There is nothing to learn from this in practice.
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.
There are some results in the repository, e.g. one I published recently: https://github.com/rochus-keller/Are-we-fast-yet/blob/main/L...
Or here: https://github.com/rochus-keller/Oberon/blob/master/testcase...
The main repository only recently added a C++ implementation, but it was significantly slower than mine when I check last time (see https://github.com/smarr/are-we-fast-yet/issues/80).
I mostly use the benchmarks to check how my compilers do compared to the big ones, or how the technologies I'm interested in evolve.
I'd like to hear more about the Oberon languages and compilers used.
See e.g. https://github.com/rochus-keller/Oberon or https://github.com/rochus-keller/Are-we-fast-yet/blob/main/O....
Micron seems like a bad naming choice...maybe it predates the manufacturer?
«The term micron and the symbol μ were officially accepted for use in isolation to denote the micrometre in 1879, but officially revoked by the International System of Units (SI) in 1967.»
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.
Wouldn't be surprising if the computer/RAM company had registered the trademark in some countries for the field of software.
They surely have better things to do than worry about what I call my programming language.
If they have a trademark they don't defend, they can lose it.
The word "micron" is a common unit of measurement (μm). The trademark Micron™ only applies to microelectronic hardware, I suppose.
I hope you are correct, but probably continuing the discussion usefully would require doing a trademark search.
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.
I think we can skip this discussion.
Okay.
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.
https://simmonsattorney.com/generic-trademarks/
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.
MicrOberon
[dead]