120
submitted 3 months ago by cm0002@lemmy.world to c/linux@programming.dev

Milestone passed with the debut of Linux 6.14 rc1.

you are viewing a single comment's thread
view the rest of the comments
[-] TriflingToad@sh.itjust.works 20 points 3 months ago* (last edited 3 months ago)

is this a good thing or an issue? I just play RuneScape -~-

[-] refalo@programming.dev 46 points 3 months ago* (last edited 3 months ago)

Depends on your perspective I suppose. One good reason might be that it means more hardware is supported. A bad one might be that it increases the overall attack surface from a security point of view.

[-] demesisx@infosec.pub 19 points 3 months ago

I’d like to see them hire some formal methods people to at least formally verify crucial parts of it.

It might actually also be good to analyze it with an LLM to identify any hidden problem areas.

I’m interested to hear why my idea is probably foolish as well, though.

[-] kittykittycatboys 21 points 3 months ago

llms have no abstract reasoning, so while they can write an okay-sounding bug report, often it's wrong meow.

i do think the linux foundation hires security people, and almost certainly the big contributors do.

[-] demesisx@infosec.pub 14 points 3 months ago

Doesn’t the new Chinese model just released actually do abstract reasoning?

DeepSeek-R1 leverages a pure RL approach, enabling it to autonomously develop chain-of-thought (CoT) reasoning, self-verification, and reflection—capabilities critical for solving complex problems.

To my untrained self, that sounds like reasoning.

[-] kryptonidas@lemmings.world 17 points 3 months ago

With chain of thought it basically asks itself to generate related sub questions and then answers for those sub questions.

Basically it’s just the same but recursive. So, like it looks like it can tell you things, it just also looks like reasoning.

Now it may well be an improvement, but it’s still basically. “I have this word, what is statistically most likely to be the next word” over and over again.

[-] demesisx@infosec.pub 12 points 3 months ago* (last edited 3 months ago)

Thanks.

Edit: Not sure who’s downvoting me for asking reasonable questions.

load more comments (2 replies)
load more comments (2 replies)
load more comments (4 replies)
this post was submitted on 26 Jan 2025
120 points (100.0% liked)

Linux

7164 readers
407 users here now

A community for everything relating to the GNU/Linux operating system

Also check out:

Original icon base courtesy of lewing@isc.tamu.edu and The GIMP

founded 2 years ago
MODERATORS