HNHacker News
TopNewBestAskShowJobs

suspended_state

126 karma · joined February 25, 2025

submissionscomments
suspended_state··on Bazzite: Operating System for Linux gaming
It is true that it amounts to the same number of words, so why would it look more like a wall of text when the text is narrower? Perhaps it has to do with the number of lines?
suspended_state··on Bazzite: Operating System for Linux gaming
I'm reading it on my computer, and it's perfectly fine; yet, how would it look like on a smartphone?
suspended_state··on OCaml maintainers reject massive AI-generated pull request
Reading through the article, it says:

> Shinwell also consulted AI regarding the copyright, which told him that “I conclude that no code was copied from oxcaml” and gave reasons. Unconvinced, maintainer Gabriel Scherer said “the fact that the tool that produced the code attributes its copyright to a real human is a clear sign that something is an issue.”

This is inaccurate, Mark Shinwell didn't participate to the discussion, and if he somehow consulted AI, it is not mentioned anywhere in the discussion. Actually, the AI analysis was performed by the PR submitter.

The topic of the article has been discussed in another HN submission:

https://news.ycombinator.com/item?id=46039274

suspended_state··on AI has a deep understanding of how this code works
What forces you to publish this work as a PR, or as many PRs? You could have simply kept that for yourself, since you admitted in the PR discussion that you found it useful. Many people seem to think you haven't properly tested it, so that would also be a good way of testing it before publishing it, wouldn't it?
suspended_state··on The current state of the theory that GPL propagates to AI models
I think you need to define what you mean by the term "virality" here, because I don't see how this could be associated with any feature of the GPL, and it's definitely the reason of disagreements in this thread.
suspended_state··on The current state of the theory that GPL propagates to AI models
I think you need to define what you mean by the term "virality" here, because I don't see how this could be associated with any feature of the GPL, and it's definitely the reason of disagreements in this thread.
suspended_state··on GrapheneOS migrates server infrastructure from France
It's possible that at some point in the past they used TLS, but I believe that MTProto(0) is used now for any communication through Telegram.

(0): https://core.telegram.org/mtproto

suspended_state··on GrapheneOS migrates server infrastructure from France
I don't understand the last line in your comment: if Telegram doesn't have good encryption, why would anyone require to have a backdoor installed? Are you implying that the French government isn't able to decrypt a bad encryption scheme? Or that the idea that this government asked for a backdoor is preposterous?
suspended_state··on Unpowered SSDs slowly lose data
But metadata is data too, right? I guess the next question is, would it be possible for parts of the FS metadata to remain untouched for a time long enough for the SSD data corruption process to occur.
suspended_state··on John Carmack on mutable variables
Or they got inspired by how this is done in OCaml, which was the host language for the earliest versions of Rust. Actually, this is a behaviour found in many FP languages. Regarding OCaml, there was even a experimental version of the REPL where one could access the different variables carrying the same name using an ad-hoc syntax.
suspended_state··on Show HN: A Lisp Interpreter for Shell Scripting
> On a separate point but equally important, I don't understand why sh scripts are exempt fom unit tests.

Likely because:

- it's an older culture than unit testing

- people write shell scripts for one shot tasks, or to automate tasks which are system setup/configuration specific

- if a shell script becomes useful enough, it gets rewritten in a more apt language

suspended_state··on Working pipe operator today in pure JavaScript
That's Point-free style programming.

https://en.wikipedia.org/wiki/Tacit_programming

suspended_state··on OpenAI's H1 2025: $4.3B in income, $13.5B in loss
https://chat.mistral.ai/chat/12da2e83-f3f1-4a47-b432-753cac2...

I suspect they chose that name because of the proximity with the word "cloud".

suspended_state··on Type checking is a symptom, not a solution
A few points:

- the explicit interfaces for modules used in hardware design _are_ types. - hardware design requires extensive testing and verification, and formal verification (using types) is a valuable step in hardware design.

I think the author conflates the use of types with structural complexity - at least at the introduction of his article, hence the term "symptom" used to qualify type checking in the title (actually _lengthy_ type checking, this is implied, but without context the title of the article becomes clickbait-y).

Indeed, by the end, the author admits that types are useful, without conceding that the initial idea was an error of judgment.

suspended_state··on VC-backed company just killed my EU trademark for a small OSS project
> The point of a trademark is to protect consumers from being fooled or misled. If there are no consumers, then there's nobody to protect.

The other company doesn't have consumer either with this name, so why should the trademark be revoked? And if it had, shouldn't it be guilty of trademark infringement?

suspended_state··on GPT-5 has a hidden system prompt
I think the definitive point is that it should be documented. Security through obscurity all by itself isn't security.
suspended_state··on VC-backed company just killed my EU trademark for a small OSS project
So, for a product to be trademarked, it requires some form of success, IIRC. If you make and try to sell a product in good faith, but nobody wants to buy it, you have no case for a trademark. That's weird.

I could see the reason if there's no evidence of (constructive) work being done (so a clear indication of someone holding on the trademark, ie. squatting, IIRC).

Now, if I had a forward looking business spirit, I could perhaps conceive the idea on combining a hobby of mine with trademark squatting to masquerade it, so perhaps this isn't so strange after all.

suspended_state··on VC-backed company just killed my EU trademark for a small OSS project
While I think there's very little chance for the author to overturn this decision, and thus agree with you that he should just move on, you should have a look at the amount of features this small project offers. I don't think this could be considered "trademark squatting", there's a real effort put in that project, and for many years.

Perhaps I have the wrong idea of what it means to do trademark squatting, or did I misunderstand your point?

suspended_state··on Japan's largest paper, Yomiuri Shimbun, sues Perplexity for copyright violations
Disclaimer: I am not a lawyer, this is just my interpretation of the situation from the comments above.

I don't have an answer to your question, which seems more general and doesn't correspond to the situation described by the article anyway: here the corporations have the right to use copyrighted materials to train their model, in the same way that you are allowed to learn from the same materials. You might even learn it by heart if you want to, but copyright laws forbid you from reproducing it, and in this instance the Japanese law tries to follow the same principle for AI models.

How should the corporations implement their training to prevent their models to reproduce the material verbatim is their problem, not the copyright holder's, in exactly the same fashion if you learn an article by heart, it's on you to make sure you won't recite it to the public.

suspended_state··on The Framework Desktop is a beast
You should do what better fit your usecase.

I don't know how large is framework's market, nor how deep their pockets are, which condition their ability to produce 2 different models.

It's clear that a modular design is preferable, hopefully once a standard emerges they will use it in their next devices. Perhaps framework will help in that process, but I don't know if they can afford to put up with the initial costs, particularly in a market they don't have a strong foothold yet.

suspended_state··on The Framework Desktop is a beast
> They soldered on the RAM. Which makes it a very strange entry for a brand marketing itself as the DIY dream

This was also my first thought when discovering this new model, but I think it was a pragmatic design decision.

The questions you should ask yourself are:

- which upgradable memory module format could be used with the same speed and bandwidth as the soldered in solution,

- if this solution exists, how much would it cost

- what's the maximum supported amount of ram for this CPU

suspended_state··on Ask HN: How can ChatGPT serve 700M users when I can't run one GPT-4 locally?
Look for positron.ai talks about their tech, they discuss their approach to scaling LLM workloads with their dedicated hardware. It may not be what is done by OpenAI or other vendors, but you'll get an idea of the underlying problems.
suspended_state··on Window Activation
The page states:

> Unpredictable window focus behavior that can interrupt workflows

Which isn't exactly the same issue, so indeed it doesn't need to control focus.

suspended_state··on Hierarchical Reasoning Model
> Experiments below assume an 8-GPU setup.

Careful with those numbers.

suspended_state··on I'm switching to Python and actually liking it
I stand corrected, the exception case is definitely an oddity, both as being an outlier and as a strange behaviour wrt Python's semantics. Or is it a strange behaviour?

In the case of an if like in your example, no provision is made about the existence of x. It could have been defined earlier, and this line would simply update its value.

Your example:

   if True:
       x = 5
   print(x)  # 5

Same with x defined prior:

   x = 1
   if False:
       x = 5
   print(x)  # 1
What about this one?

   if False:
       x = 5
   print(x)  # ???


On the other hand, the notation "<exception value> as <name>" looks like it introduces a new name; what if that name already existed before? Should it just replace the content of the variable? Why the "as" keyword then? Why not something like "except <name> = <exception value>" or the walrus operator?

While investigating this question, I tried the following:

    x = 3
    try:
        raise Exception()
    except Exception as x:
        pass
    print(x)  # <- what should that print?
suspended_state··on I'm switching to Python and actually liking it
Well, after writing my comment, I realized that a python interpreter could define the variable and set it to None between the guarded block and the except block, and implicitly assign it to the raised exception right before evaluating the except block, when the exception as been raised. So technically, it would be possible to define the variable e in GP example and have it scoped to "whatever is after the guarded block", just like what is done with for blocks.

Is there any chance this would cause trouble though? Furthermore, what would be the need of having this variable accessible after the except block? In the case of a for block, it could be interesting to know at which point the for block was "passed".

So, maybe "None" answers your question?

suspended_state··on I'm switching to Python and actually liking it
> Oddly enough

It's not that odd, since it's the only situation where you cannot keep it bounded, unless you enjoy having variables that may or may not be defined (Heisenberg variable?), depending on whether the exception has been raised or not?

Compare with the if statement, where the variable in the expression being tested will necessarily be defined.

suspended_state··on Bad Actors Are Grooming LLMs to Produce Falsehoods
That might be a lack of understanding from my part. I had the impression from your comment that you were implying that there was (and is) hope in internet development (ie. many people hold a positive opinion about it), but there cannot be any hope in LLMs (ie. nobody can build a positive opinion about it, because presumably some hard fact prevents it).

As for what I said, I was just mimicking the comment of GP, which I'll quote here:

> The internet actually enabled us to do new things. AI is nothing of that sort. It just generates mediocre statistically-plausible text.

suspended_state··on Bad Actors Are Grooming LLMs to Produce Falsehoods
Perhaps enough time for you to build a good understanding of what it is capable of, and how it is evolving over time?
suspended_state··on Faking a JPEG
I think that web scraping is usually understood as the act of extracting information of a website for ulterior self-centered motives. However, it is clear that this ulterior motive cannot be assessed by a website owner. Only the observable behaviour of a data collecting process can be categorized as morally good or bad. While the bad behaving people are usually also the ones with morally wrong motives, one doesn't entail the other. I chose to qualify the bad behaving ones as scrapers, and the good behaving ones as crawlers.

That being said, the author is perhaps concerned by the growing amount of collecting process, which carries a toll on his server, and thus chose to simply penalize them all.

← PreviousPage 2 of 3Next →