Live data from Hacker News

FreeBSD doesn't have Wi-Fi driver for my old MacBook, so AI built one for me

vladimir.varank.in

251–260 of 397 posts

Re: FreeBSD doesn't have Wi-Fi driver for my old MacBook, so AI built one for me

#251
post #249

a kernel module written entirely by AI, loading into ring 0, that the author admits has known issues and shouldnt be used in production. Were speedrunning the "insecure by default" era.

If I were a superintelligent AI trying to escape, wifi drivers seem like a great way to do it.

Re: FreeBSD doesn't have Wi-Fi driver for my old MacBook, so AI built one for me

#252

AI didn't write a driver for him. He ported the Linux driver to FreeBSD with some assistance from an LLM. What's more interesting to me is the licensing situation when this is done. Does the use of an LLM complicate it? Or is it just a derivative work which can be published under the ISC license [1] as well? [1] : https://en.wikipedia.org/wiki/ISC_license

It wasn't a straight port, he had an LLM write a spec by reviewing the code, and then in another session another LLM did the development. That is basically a Clean-room approach. It would be unlikely there would be much - if any - code that is exactly the same so showing copyright infringement seems very unlikely.

Re: FreeBSD doesn't have Wi-Fi driver for my old MacBook, so AI built one for me

#253
post #249

a kernel module written entirely by AI, loading into ring 0, that the author admits has known issues and shouldnt be used in production. Were speedrunning the "insecure by default" era.

Manufacturer/vendor did not provided open source driver with real freedom license (BSD/MIT/...) or documentation on which the driver could be written ... this is the result ... and its still better to overcome a problem in any way then to NOT overcome it at all ... and this driver is just a code - people can look at it and improve it.

Re: FreeBSD doesn't have Wi-Fi driver for my old MacBook, so AI built one for me

#255

Earlier quoted context omitted.

Who is a competitor for Asahi? What would that even entail? > Given that literally no one is enforcing this Presumably Apple's lawyers would enforce it.

I’ll believe it when I see a court case of them going after someone for some ai generated slop and they win. Don’t see much evidence of that happening right now, or really ever since the advent of these things

Why would any serious project want to risk being the legal guinea pig for that experiment? And to what end? Everyone is pretty much in agreement that reusing code you're not licensed to use is bad for open source and just an all around shitty thing to do.

Re: FreeBSD doesn't have Wi-Fi driver for my old MacBook, so AI built one for me

#256
post #205

Earlier quoted context omitted.

> if you can formalize your instructions Isn't that...code?

No. Think of all engineering disciplines that aren't software. Those all depend on human-language formal instructions.

The non-software engineering disciplines I'm thinking of rely on blueprints, schematics, diagrams, HDLs, and tables much more than human language formal instructions. More so than software engineering.

Re: FreeBSD doesn't have Wi-Fi driver for my old MacBook, so AI built one for me

#257

Earlier quoted context omitted.

This feels like when 3D printers hit the consumer market and everyone declared that buying things was over, everyone will just print them at home. There's tons of benefits to standardised software too. Companies rely on the fact they can hire people who already know photoshop/xero/webpack/etc rather than having to train them from scratch on in house tools.

Business software is also useful because it gives companies a process to follow that even if not optimal, is probably better than what they’d come up with on their own.

The flexibility of big source of truth systems like ERP and CRM is sometimes (often) a downside. Many times these companies need to be told how to do something instead of platform vendors bending over backwards to enable horrible processes

Re: FreeBSD doesn't have Wi-Fi driver for my old MacBook, so AI built one for me

#258
post #238
post #177

Earlier quoted context omitted.

It's easy to buy one plane ticket when a person has a specific plan -- to attend a meeting or a conference, or to match up with an airbnb timeslot or something. It's harder to buy one plane ticket for the lowest cost amongst all the different ways that plane tickets can be bought, and harder yet to do so with a lack of specificity. So, for instance: Maybe I don't have a firm plan. Maybe I'm very flexible. Maybe all I…

But who is really going to put together the infrastructure and harness to make all that work? My dad certainly isn't. My mother in law won't What you describe will just end up a feature on Expedia. The highly technical builders of stuff that love to tinker vastly overestimate how much BS the general public will put up with

Indeed. I have zero desire to put such a thing together just for my own use.

I didn't address that concept at all above, but I think the notion of a million people each independently using the bot to write a million bespoke programs that each do the same things is...kind of a non-starter. It's something that can only happen in some weird reality where software isn't essentially free to copy, and where people are motivated neither by laziness, nor the size of their pocketbook.

If/when someone does put the work into getting it to happen, then I expect to find it on Github for people to lazily copy and use, or for them to make it available as a website or app for anybody to use (with even more laziness) -- and for them to monetize it.

Re: FreeBSD doesn't have Wi-Fi driver for my old MacBook, so AI built one for me

#259

Earlier quoted context omitted.

Got a sample you think is particularly bad?

Throwing myself to the sharks here, but sure. pcie.c /* * BAR0 register access */ uint32_t brcmf_reg_read(struct brcmf_softc *sc, uint32_t off) { return (bus_space_read_4(sc->reg_bst, sc->reg_bsh, off)); } Is sc null? Who knows! Was it memset anywhere? No! Were any structs memset anywhere? Barely! Does this codebase check for null? Maybe in 3% of the places it should! All throughout this codebase variables are declar…

I'm no expert either and I have not done kernel development, but I've done some embedded stuff in C and I think this is not unreasonable. brcmf_reg_read is only called in one place and the call chain is straightforward (starts in pcie.c brcmf_pcie_attach). Its always initialized by device_get_softc (https://man.freebsd.org/cgi/man.cgi?query=device_get_softc&s...) so as long as the device is attached its initialized. Likely something fails much earlier if it is not attached. I think this is pretty typical for low-level C, it would definitely not be idiomatic for every function in this call chain to check if sc was initialized - I don't know if there is a need to check it after calling device_get_softc but that would probably be reasonable just so people reviewing it don't have to check.

Some application code bases I've worked in would have asserts in every function since they get removed in release builds but I don't know that debug builds are even a thing in kernel devices.

Re: FreeBSD doesn't have Wi-Fi driver for my old MacBook, so AI built one for me

#260
post #243

Earlier quoted context omitted.

Why would it be? If you can describe an approximation of a system and regenerate it to be, let’s say, 98% accurate in 1% of the time that it would take to generate it by hand (and that’s being generous, it’s probably more like 0.1% in today’s day and age and that decimal is only moving left) aren’t there a giant set of use cases where the approximation of the system is totally fine? People will always bring up “but w…

You are just validating the point that code is spec. For your proposed system to work one must have a deterministic way of sending said spec to a system(Compiler?) and getting the same output everytime. Input/Output is just one thing, software does a lot of 'side effect' kind of work, and has security implications. You don't leave such things to luck. Things either work or don't.

Absolutely let’s not do away with the determinism entirely. But we can decouple generation of the code from its deterministic behavior. If you are adequately able to identify the boundaries of the system and run deterministic tests to validate those boundaries that should be sufficient enough. It’s not like human written code was often treated with even that much scrutiny in the before times. I would validate human written code in the exact same way.
Post reply on HN