Search | News by Netwrck

Rust in the kernel is no longer experimental

(lwn.net) by rascul | view | 799 comments

Linux Kernel Explorer

(reverser.dev) by tanelpoder | view | 94 comments

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

(github.com) by hexagonal-sun | view | 156 comments

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

(ironclad-os.org) by vitalnodo | view | 144 comments

Booting Linux in QEMU and Writing PID 1 in Go to Illustrate Kernel as Program

(serversfor.dev) by birdculture | view | 90 comments

HipKittens: Fast and furious AMD kernels

(hazyresearch.stanford.edu) by dataminer | view | 91 comments

Helion: A high-level DSL for performant and portable ML kernels

(pytorch.org) by jarbus | view | 49 comments

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

(phoronix.com) by keyle | view | 97 comments

StardustOS: Library operating system for building light-weight Unikernels

(github.com) by transpute | view | 9 comments

Racing karts on a Rust GPU kernel driver

(collabora.com) by mfilion | view | 14 comments

A kernel bug froze my machine: Debugging an async-profiler deadlock

(questdb.com) by bluestreak | view | 14 comments

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

(degruyterbrill.com) by PaulHoule | view | 17 comments

Linux kernel patch from Thomas Gleixner improves Postgres benchmark by 15%

(lore.kernel.org) by throwaway2037 | view | 2 comments

Red Hat losing another longtime and prominent Linux kernel engineer

(phoronix.com) by Bender | view | 2 comments

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

(phoronix.com) by fork-bomber | view | 5 comments

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

(phoronix.com) by nextos | view | 1 comments

Unikraft Support for MirageOS Unikernels

(tarides.com) by todsacerdoti | view | 1 comments

Ironclad OS project popping out Unix-like kernel using Ada

(theregister.com) by mmooss | view | 3 comments

Comparing xeus-Haskell and ihaskell kernels

(datahaskell.org) by mchav | view | 8 comments

Denial of Fuzzing: Rust in the Windows Kernel

(research.checkpoint.com) by ndiddy | view | 5 comments

Ask HN: What did onboarding training look like in OS kernel teams?

by markus_zhang | view | 2 comments

The state of the kernel Rust experiment

(lwn.net) by dochtman | view | 0 comments

The Linux kernel is just a program

(serversfor.dev) by zsoltkacsandi | view | 0 comments

Linux 6.18 Released with Many New Features, Likely This Year's LTS Kernel

(phoronix.com) by listic | view | 1 comments

HipKittens: Fast and Furious AMD Kernels

(hazyresearch.stanford.edu) by mpweiher | view | 0 comments

Keynote: Rust in the Linux Kernel, Why? – Greg Kroah-Hartman [video]

(youtube.com) by tambourine_man | view | 0 comments

There's No Rust on This Ironclad Kernel: An OS Written in Ada

(hackaday.com) by SeenNotHeard | view | 0 comments

Kpython – A MicroPython Sidecar for the Linux Kernel (Experimental)

(github.com) by kpython | view | 2 comments

Linux Kernel Establishes Official AI Coding Guidelines

(lunduke.substack.com) by amcclure | view | 1 comments

The Life of a Packet in the Linux kernel: From write() to recv()

(0xkato.xyz) by signa11 | view | 0 comments

ParallelKittens: Simple and Fast Multi-GPU AI Kernels

(hazyresearch.stanford.edu) by pella | view | 0 comments

There's No Rust on This Ironclad Kernel

(hackaday.com) by ajdude | view | 1 comments

The state of the kernel Rust experiment

(lwn.net) by birdculture | view | 0 comments

Linux 6.18 crowned LTS kernel – and Alpine 3.23 wastes no time adopting it

(theregister.com) by Bender | view | 0 comments

Haskell Jupyter kernels (IHaskell, xeus-Haskell) comparison

(datahaskell.org) by yehoshuapw | view | 0 comments

Are Unikernels the Answer for Next-Gen AI Cloud Workloads?

(thenewstack.io) by transpute | view | 0 comments

Nvidia cuTile: Python DSL and a new IR for tile-based CUDA kernels

(github.com) by ashvardanian | view | 0 comments

Show HN: Writing Rust modules for the xv6 kernel

(alessandroferrari.live) by ferryistaken | view | 0 comments

Rust for Linux Kernel Co-Maintainer Formally Steps Down

(phoronix.com) by bluebirdfirewin | view | 0 comments

Strengthening KernelCI: New architecture, storage, and integrations

(collabora.com) by losgehts | view | 0 comments

NetBSD on the last G4 Mac mini (and making the kernel power failure proof)

(tenfourfox.blogspot.com) by fanf2 | view | 1 comments

HipKittens: Fast and Furious AMD Kernels

(hazyresearch.stanford.edu) by pella | view | 1 comments

From profiling to kernel patch: the journey to an eBPF performance fix

(rovarma.com) by todsacerdoti | view | 0 comments

AI-Written CUDA Kernels Outperforms Nvidia's Best Matmul Library

(rohan-paul.com) by dzign | view | 0 comments

NetEase Anticheat vulnerable to arbitrary kernelmode R/W

(github.com) by kachapopopow | view | 1 comments

Lightweight Linux-compatible kernel written in Rust

(github.com) by coolcoder613 | view | 0 comments

Show HN: Constitutional AI Agent OS (governance enforced at kernel level)

(github.com) by harekrishna108 | view | 1 comments

Show HN: Sphere-Base-One– A Python Kernel for Integer-Based Physics Optimization