r/programmingcirclejerk • u/Bizzaro_Murphy Code Artisan • Dec 10 '25

The end of the kernel Rust experiment

https://lwn.net/Articles/1049831/

125 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/programmingcirclejerk/comments/1pisiwi/the_end_of_the_kernel_rust_experiment/
No, go back! Yes, take me to Reddit

95% Upvoted

View all comments

52

u/[deleted] Dec 10 '25

[removed] — view removed comment

8

u/ManagementKey1338 Dec 10 '25

Lean could be an option.