Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Who Writes the Bugs? A Deeper Look at 125,000 Kernel Vulnerabilities

My first patch to the Linux kernel

How kernel anti-cheats work

Wine 11 rewrites how Linux runs Windows games at kernel with massive speed gains

Writing an operating system kernel from scratch

A tale about fixing eBPF spinlock issues in the Linux kernel

In space, no one can hear you kernel panic (2020)

Large-Scale Agentic RL for CUDA Kernel Generation

Sashiko: An agentic Linux kernel code review system

Building a Linux kernel agent in Go + C with eBPF for autonomous anomaly detection — wrote about the architecture

Show HN: Agent Kernel – Three Markdown files that make any AI agent stateful

I built a high-assurance E2EE messaging kernel in Rust (sibna-protc v0.8.1)

Google Engineers Launch "Sashiko" for Agentic AI Code Review of the Linux Kernel

The Linux Kernel Will Soon Be MIT-Licensed and Copyleft Will Be Dead

Show HN: GDSL – 800 line kernel: Lisp subset in 500, C subset in 1300

I built a strict double-entry ledger kernel (no floats, idempotent posting, posting templates)

What's new in Linux kernel for PostgreSQL

GDSL – 800 line kernel: Lisp subset in 500, C subset in 1300

tool to visualize everything between your keypress and the kernel

I wrote a NURBS geometry kernel from scratch in C++ — no OpenCASCADE, no Parasolid, pure math

100+ Kernel Bugs in 30 Days

cuTile Rust: a safe, tile-based kernel programming DSL for the Rust programming language

Building the fastest NASDAQ Totalview-ITCH parser in Rust - looking for kernel bypass advice

Myelin Kernel: a lightweight reinforcement-based memory kernel for Python AI agents (open source)

Jails for NetBSD – Kernel Enforced Isolation and Native Resource Control

Analyzing Latency Hiding and Parallelism in an MLIR-based AI Kernel Compiler

Debugging Kernel Oops (2024)

F9 Kernel

RK3588 and RK3576 video decoders support merged in the upstream Linux Kernel

Minimal x86 Kernel Zig

More →