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

Writing an operating system kernel from scratch

A tale about fixing eBPF spinlock issues in the Linux kernel

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

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

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

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

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 →