Hacker Newsnew | past | comments | ask | show | jobs | submit | shakna's commentslogin

Always good to see progress towards people getting to own their own hardware.

> MIT for all original code. The kernel excerpt (kernel/mem.c) retains its GPL-2.0 license and copyright notices.

One small tweak needed here.

GPL 2.0? Has this bit:

> You must cause any work that you distribute or publish, that in whole or in part contains or is derived from the Program or any part thereof, to be licensed as a whole at no charge to all third parties under the terms of this License.

"under the terms of [this License]."

It is viral. Copying the code, and distributing it, as done here, means that GPL 2.0 is meant to apply to everything. The only carveout, is if your code didn't depend on the kernel excerpt at all. But... It does.

> If you wish to incorporate parts of the Program into other free programs whose distribution conditions are different, write to the author to ask for permission.


There are many permissively-licensed source files in the Linux kernel. You are mistaken if you believe those files cannot be distributed independently and included in other permissively-licensed or closed works. The viral part applies when distributing the combined work, so the vendor can't say "some files are MIT so tough luck"; all sources must be made available for the binary you receive if any source is GPL-licensed.

In this particular case it is not viral. All MIT-licensed code can be "licensed as a whole at no charge to all third parties under" GPL 2. The point of the MIT license is that it can be freely relicensed.

You actually have more rights with that file than with the others; the GPL doesn't restrict non-GPL'd code distributed with it, it requires that that code be licensed in a way that allows it to be distributed under GPL 2. For example, I myself can take this code and redistribute the entire thing under GPL 2 without an exception for ./kernel/mem.c (as long as I include any acknowledgement required by MIT, such as a copy of the MIT license and a copyright notice.)

You're overcomplicating things and (maybe accidentally) spreading FUD. MIT was specifically designed to be compatible with anything from copyleft to proprietary.


MIT is relicensed as GPL, under the GPL 2.0. By including it as part of the whole, the whole becomes GPL.

And... It is surprising to me, that anyone can think otherwise, 2 decades on from D-Link [0].

> The GPL grants anyone who enters into such contract with the licensor the right to copy, distribute and modify the software, on the condition that the software is again distributed under the very conditions of the GPL

Which is something you start to say, and then say it isn't the case.

The whole just becomes GPL v2. That's the virality.

[0] https://web.archive.org/web/20130426055334/http://www.jbb.de...


Is your Brotli library built from older than the February commit? (The last tagged release is before then.)

If so, might be vulnerable.

Don't have Brotli enabled? Not vulnerable to this.


You have an automated pipeline, that includes decompilation. I highly doubt the courts will see the nuance that you apparently do.

The pipeline begins with decompilation. Maybe it doesn't save all that information, but it is part of the pipeline, and so, will be part of the consideration when discovery happens.


... A clean room, means that you aren't reverse engineering. You're producing the same result, with zero awareness of the process, or it isn't a clean room.

LLMs are created through mass ingestion of data, and so, by definition, cannot be a clean room. They are trained on the things that they're tasked with copying.


How could the possibly have been trained on the proprietary source code of games made many years ago?

How could they have trained on books that they didn't buy or source from libraries?

I'm afraid, the companies in question, have been more than happy to ingest pirated material.


Game copies don't usually include their source code.

Older games tend to have their source code leaked [0], and cracks generally are designed from reverse engineering, revealing parts of how systems work.

And the forefront models have intentionally been trained on quite a bit of reverse-engineering.

[0] https://en.wikipedia.org/wiki/List_of_commercial_video_games...


How is Claude going to be trained on GTA5'S game engine source code if it's closed source?

It isn't that it will have been trained on the source code. The "decompilation" craze has it in the name... it is being done by decompiling the game and then modifying it. I don't think it's even a question as to whether or not the game companies are going to come down hard on this and I would not recommend to anyone that they jump up and volunteer to be the legal test case for that.

A clean-room implementation is going to be much, much more effort than a "decompilation". Even a decompilation is, I think, more than the hype is claiming. You can't just point at a game, say "decompile it and make it work on Windows" and get a result in one shot. It will take playtesting, cycling around, QA, and time to polish it up. But that will still itself be much easier than an actual clean room implementation. Let alone getting sued by the owner anyhow and having to prove it was clean room in a typical chaotic individual dev environment.


Well funny enough, the code for GTA5 did leak not too long ago...

It's not though. We get the machine code for programs we run on our PCs. All the logic is provided to the end user. The only protection these days, is not doing all the game logic on the end users PC.

This is why Australian law includes the term "reasonable". So that if it seems like a burden, the court acts.

Was the exploit made, from reverse-engineering, this early release? Because that is how I'd do it.

what possible reading of "I made the call to get these out early when exploits hit in the wild" contorts into "these exploits hit in the wild after i made the call to get these out early" with flipped causality?

The reading that chainguard have said that before when it was not the case.

Why would you implicitly take them at their word?


sure, i'm happy to recant my rather tepid defense of chainguard in the case that what was said upthread was a blatant fabrication. i'm even open to being convinced that it was.

as it stands though, what i replied to wasn't a useful addition to the discussion. it could easily become so by either being made contingent upon the possibility of that being a lie, or being bundled with an assertion like yours that chainguard is not to be taken at their word. doing neither and simply responding as if a causally opposite statement had been made is just a non sequitur.


I don't think we have to not-believe Chainguard. To me, the problem is more that "in the wild" is a somewhat airy statement that can only be taken to strictly mean that one found it somewhere on a computer that is connected to other computers. This is almost a non-statement, as airgaps are the exception rather than the rule.

Even then, it implies more than it says. It's often used to suggest the exploit came from a remote system one does not directly control and was deployed, successfully, against another system one does not directly control. But even that does not necessarily have to be true, as people can use it, without any bad faith and not trying to twist the phrase, in cases where only one of those conditions hold, e.g. against a system one does directly control where the exploit attempt was unsuccessful.


Not a non sequitur - No one should be taken at their word. Not them, not me, and not you. This is the security world. Nobody is trusted altogether.

Breaching an embargo, makes reverse engineering easier. We don't need to analyse motives or pontificate. Disrupting the supply chain... Disrupts the supply chain.


We're only 10 months out from React2Shell. That is not nearly enough time to say "battle-tested".

I can affirm that I'm seeing vibe-coded dashboards designed to ingest and run on top of Excel spreadsheets full of macros, VBA, and "Excel Scripts" interlinks.

I... Cannot call this a step up. They're expanding, not replacing.


Sure, but at least Claude is available to fix the slop instead of needing to depend on people who have gone away a long time ago. ultimately if it's valuable they can invest in someone to come in and build things the right way.

I'm afraid I'll believe that will happen, when I believe tech debt doesn't exist. That utopia does not seem on the horizon.

The corporate partners, who are also often investors, and have an interest in ensuring the world sees genAI as utterly required.

Microsoft, SK Group, Meta, Google, Oracle, etc.


I dont know, with the exception of SK, all these companies have announced reduced AI budgets and/or move to own inference.

Maybe they did it like SpaceX and sold their compute to a competitor and are booking that as sales.

Bevy is intentionally sharded across many crates, is small, and has the dev working on optimised build times.

That isn't "Rust compiles are fast", it's another example of "Rust requires you architect your code a specific way".


> That isn't "Rust compiles are fast"

And neither the original example is "Rust compiles extremely slowly" (it does compile slowly), it's another example of "vibecoded software is of poor quality".


Fair enough but Rust also gives you a mix of safety and efficiency nothing else does

Linear Haskell, Idris, Lean, Ada/SPARK, ...

This is a tough sell. Yes, those languages (with some small nits about Ada) can accomplish the same safety guarantees, but they're nowhere performant enough in practice or memory efficient compared to Rust. A big part of the original mission of Rust was safety without performance compromises which for the most part its accomplished, though the price is paid during compilation. Further, their runtimes and limitations make it difficult to work directly with operating systems or low level system hardware. And I say this as someone who has written Haskell code in production.

That said, I would love for Idris to continue to develop. I'm a big believer in dependently typed languages and would actually improve correctness, assuming there are reasonable ways to avoid the other trappings of the language.


"but they're nowhere performant enough in practice or memory efficient compared to Rust."

I would not include Ada, if you're benchmarking against Rust. Mostly because Ada either outperforms it (because it can reduce sizes in the optimiser), or it is equal to it.


Consider applying for YC's Winter 2027 batch! Applications are open till November 2.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: