The ISRG wants to make the Linux kernel memory-safe with Rust

The simplest way to avoid C-language coding traps is to avoid coding in C. Read more

Similar

Xr0 Makes C Safer than Rust

There is a practical way to guarantee the safety of C programs at compile time, in the sense of no use-after-frees, no double frees, no buffer out-of-bounds reads/writes, no null pointer dereferences, no uses of uninitialised memory, no arithmetic overflo... (more…)

Read more »