Rust lowers the risk of CVE in the Linux kernel by 95%

Roast my code. I built a Post-Quantum Blockchain Kernel in Rust (Dilithium + zk-STARKs). Bet you can't break the Halving logic.

Extending ts-Wolfram: dropping OOP, kernel/userspace interop, better printing

I built a no_std-friendly fixed-point vector kernel in Rust to avoid floating-point nondeterminism. (Posting this on behalf of my friend)

Introducing NetSnap - Linux net/route/neigh cfg & stats -> python without hardcoded kernel constants

Polars in Python | Kernel error : Generic LocalFileSystem error: Unable to Convert URL "file://Delta

The Linux Kernel Looks to “Bite the Bullet” in Enabling Microsoft C Extensions

Dissecting the syscall Instruction: Kernel Entry and Exit Mechanisms.

The Life of a Packet in the Linux kernel

Random lasers from peanut kernel doped with birch leaf–derived carbon dots

Linux Kernel Explorer

Ironclad – formally verified, real-time capable, Unix-like OS kernel

Rust For Linux Kernel Co-Maintainer Formally Steps Down

Linux Kernel Explorer

Ironclad OS project popping out Unix-like kernel using Ada

moss: a Rust Linux-compatible kernel in about 26,000 lines of code

Linux Kernel 6.18 Officially Released

Moss: a Rust Linux-compatible kernel in 26,000 lines of code

Red Hat losing another longtime and prominent Linux kernel engineer

JupyterLite kernel for Haskell, powered by WebAssembly

Google Posts Device Trees for Booting Pixel 10 with the Mainline Linux Kernel

How Should the Linux Kernel Handle AI-Generated Contributions?

Oops! It's a kernel stack use-after-free: Exploiting NVIDIA's GPU Linux drivers

Racing karts on a Rust GPU kernel driver

Keynote: Rust in the Linux Kernel, Why? - Greg Kroah-Hartman

There's No Rust on This Ironclad Kernel

Linux Kernel Establishes Official AI Coding Guidelines

Racing karts on a Rust GPU kernel driver

WebAssembly (WASM) arch support for the Linux kernel

Denial of Fuzzing: Rust in the Windows Kernel

More →