you are viewing a single comment's thread
view the rest of the comments
[–] 7 points 2 days ago* (18 children)

You do realize that all code for the kernel is code reviewed and tested by so many people right? The patches are probably some of the most human reviewed code on the planet....

This feels like the time when every armchair expert became experts on immunology...

  • source
  • hideshow 18 child comments
  • [+] -6 points 2 days ago (17 children)

    The article is literally about how they have so much AI slop that the code is no longer reviewed by people it’s reviewed by a Meta chatbot…

  • source
  • parent
  • hideshow 17 child comments
  • [–] 18 points 2 days ago* (3 children)

    Can you post the quote where it says that it's untested and it goes straight to master

    I'm lost.

  • source
  • parent
  • hideshow 3 child comments
  • [–] 8 points 2 days ago* (last edited 2 days ago) (2 children)

    Also, looking through the authors articles, frankly, the list looks like low quality human slop.

    https://davidgerard.co.uk/other.html

    And I can't find any evidence they're actually involved with any development projects either. Literally ANY projects including stupid little pet ones every dev has

  • source
  • parent
  • hideshow 2 child comments
  • [–] -1 points 2 days ago (1 child)

    I mean, having pet projects doesn't require being "involved" with one nor requires making anything public...

  • source
  • parent
  • hideshow 1 child comment
  • [–] 2 points 1 day ago* (last edited 1 day ago)

    Except I can't see any references to this guy getting involved with any projects at all at a technical level.

    If you check his articles, he's definitely targeting a specific crowd based on what I can see too.

    Saying "there is an AI bot that identifies if code is obviously bad" doesn't really make an exciting story though...

  • source
  • parent
  • [–] 16 points 2 days ago (11 children)

    The article is one angry person's rant and you are further going beyond what it actually says.

  • source
  • parent
  • hideshow 11 child comments
  • [–] 1 point 1 day ago (1 child)

    We are completely overwhelmed, of course. The glimmer of hope is that we secured sufficient LLM budget and access (thank you Meta!) to run reviews with multiple frontier models on each patch. This eliminates some hallucinations.

    That’s not the author’s words, it’s a quote from the Linux mailing list…

  • source
  • parent
  • hideshow 1 child comment
  • [–] 2 points 2 days ago* (8 children)

    Yeah. Pretty much.

    The actual policy is that it all gets reviewed by a human I think when I was looking into it.

    The bots are likely most useful to reject obviously bad patches which have obvious bugs or don't follow guidelines. And identifying bad code is something which AI tends to be good at.

    In our code at work, we use weakly typed languages which aren't strict and on those it tends to be even better. We catch things like table keys that are typed wrong, etc. On C, things like pointers it probably does a good job with identifying as wrong

    If it passes AI code review it still gets checked by human for things that are wrong and needs fixing. But if it fails, it probably needs fixing regardless.

  • source
  • parent
  • hideshow 8 child comments
  • [–] 3 points 2 days ago (7 children)

    A good language server / ide will also complain about incorrect types. That specific example is a deterministic process, no llm is required for it at all.

  • source
  • parent
  • hideshow 7 child comments
  • [–] 0 points 1 day ago* (6 children)

    We do use one. But, in practice, they can't catch a lot of things which AI will

    At least in our case too based on what's available, it also can't check stuff like coding style well (but our development relies on that less).

    Some might though

  • source
  • parent
  • hideshow 6 child comments
  • [–] 0 points 1 day ago (5 children)

    I find that very hard to believe, if you're truly just talking about typing. If this is true you're using an awful language server / linter / whatever.

    Coding style is also a deterministic process, for which every widely used language has a linter or formatter or whatever. Also no LLMs needed.

    As a professional software developer of 8 years, I honestly have no idea what you're talking about

  • source
  • parent
  • hideshow 5 child comments
  • [–] 1 point 1 day ago (2 children)

    The thing about typing is that it is easy for a deterministic compiler to flag violations.

    There are hundreds of other "best practices" that determinisitic compilers aren't able to flag. Even the almighty Rust language is suceptible to race conditions, deadlocks, and many potential crash conditions.

    I'm an old C programmer, and Rust pisses me off when it won't let me do something that's demonstrably 100% safe. However, a lot of the things that Rust and other general practice rules forbid or advise against, should really be avoided when they get past a very simple application. What was "proven safe" quickly becomes unsafe when a later maintainer who doesn't understand the risks "extends" the code.

  • source
  • parent
  • hideshow 2 child comments
  • [–] 1 point 21 hours ago (1 child)

    Well this is why you have different levels of warnings. Some are just flat out errors, some are strong warnings, others are weak warnings. Of course, at the end, the programmer has to be the one to decide to follow the language server's diagnostics or not.

    As far as I understand, the whole draw of Rust is it's very opinionated in its safety. If you don't want that, Rust is just not for you.

  • source
  • parent
  • hideshow 1 child comment
  • [–] 0 points 18 hours ago

    Rust is it’s very opinionated in its safety. If you don’t want that, Rust is just not for you.

    Yeah, for hand coding my own things, I find Rust offensive and needlessly rigid leading to unnecessary complexity - complexity being the mother of all bugs.

    For code written by our overseas contingent, and / or LLMs, Rust is at least a little comforting, and if anyone ever starts maintaining the code I have written (rare, so far, but increasing ever so slowly), I suppose having the maintenance done in Rust isn't a bad thing either.

  • source
  • parent
  • [–] 1 point 1 day ago (1 child)

    This is Lua code. LuaLS is basically the language server available.

    And sorry, I should have said "dynamically typed". But, weak tables.

    There's a lot of things that don't get caught, such as concatenating a boolean which causes a lua error in our environment. LuaLS won't catch that.

    Formatting isn't a problem for us, but it does affect the kernel. But, the VSCode one we use does a lot of weird things honestly.

  • source
  • parent
  • hideshow 1 child comment