Asterinas: OS kernel written in Rust and providing Linux-compatible ABI

Re:Asterinas: OS kernel written in Rust and providing Linux-... by smolder on Wednesday October 16, 2024 @03:18AM (#41856419)

Relying on LLMs to code for you in no way solves the safety problem of C/C++ and probably worsens it.

[ Parent | on HN ]

Re:Asterinas: OS kernel written in Rust and providing Linux-... by BrainInAJar on Wednesday October 16, 2024 @05:04PM (#41863848)

probably?

even if the LLM is trained on flawless C code (which it isn't) it still has no way of reasoning about a complex system, it's just "what token is statistically most likely to come next"

[ Parent | on HN ]

Re:Asterinas: OS kernel written in Rust and providing Linux-... by smolder on Thursday October 17, 2024 @02:10AM (#41866874)

I said that because it's very possible for someone to write a more flawed program without an LLMs help. The exact probabilities weren't central to my point.

[ Parent | on HN ]