progscrape: kernel

Postmortem for Kernel Soundness Bug #14576

7 days ago leodemoura.github.io formalmethods kernel plt

Massive Debian 13 Linux Kernel Security Update Patches 68 Vulnerabilities

6 days ago 9to5linux.com debian kernel linux

Linux kernel will support $ORIGIN, sort of

18 days ago fzakaria.com c kernel linux nix osdev

Why is it all in the kernel?

8 days ago lawrencecpaulson.github.io kernel

The Zen of Parallel Programming: The Posture of a Kernel

17 days ago smolnero.com kernel

Interview with Matheus Moreira about Lone Lisp and Linux Kernel

22 days ago alexalejandre.com interview kernel linux lisp

AI-generated, Lean-verified proof of Collatz conjecture exploits Lean kernel bug

9 days ago infosec.exchange kernel

Attention Decode on AMD MI450 GPUs: A Gluon Kernel Optimization Guide

12 days ago rocm.blogs.amd.com amd kernel

OSS-SEC: 432 Linux kernel CVEs (in less than 32 hours)

18 days ago seclists.org kernel linux

Ubuntu's TPM encryption switches to snap kernel that blocks deb kernel packages

11 days ago bare.systems encryption kernel ubuntu

Show HN: Fast NF4 dequantization Triton kernel (1.41x faster than bitsandbytes)

24 days ago github.com kernel show

A Linux Kernel 0-day Journey - From a limited UAF to Physical Memory R/W

19 days ago 1day.dev kernel linux security

RefluXFS: A Linux Kernel Local Privilege Escalation to Root in XFS (CVE-2026-64600)

17 days ago blog.qualys.com kernel linux security

Linus Torvalds on LLM usage in kernel development

24 days ago lore.kernel.org kernel linux llm vibecoding

A Linux compatible kernel written in Zig that runs linux RISC-V binaries in the browser

23 days ago github.com kernel linux risc zig

Show HN: Phobos – A tiny scale-free kernel language with tile-DAG support

32 days ago joa-ebert.com kernel show

FreeBSoD: Leveraging Language Models to Find and Exploit Kernel Bugs (Part 2 of 2)

26 days ago praetorian.com freebsd kernel security vibecoding

We Put an L7 Firewall in the Kernel

29 days ago yeet.cx firewall kernel

A Filtering engine and DB for unpropagated kernel security patches

23 days ago patchless.natey.sh kernel linux release security

FlashAttention-4: Algorithm and Kernel Pipelining

36 days ago research.colfax-intl.com algorithm kernel

NextBSD project revived: Apple's FOSS user-space tools on the FreeBSD kernel

21 days ago nextbsd.org apple bsd freebsd kernel mac osdev vibecoding

Rust proliferation in the Linux Kernel

31 days ago reddit.com kernel linux rust

FreeBSoD: Leveraging Language Models to Find and Exploit Kernel Bugs (Part 1 of 2)

26 days ago praetorian.com freebsd kernel security vibecoding

A Windows Kernel in a Browser Tab, Part I: Cold Boot, Fast Boot, and Four Megabytes

36 days ago msuiche.com kernel vibecoding windows

kernel asynchronous reads in PostgreSQL 19 (io_uring)

37 days ago dev.to database kernel linux postgresql

Linux Patches Introduce "KNOD" For In-Kernel Network Offloading Directly To AMD GPUs

16 days ago phoronix.com amd linux networking osdev

winkernl-rs: low-level Windows kernel abstractions in Rust

24 days ago github.com kernel rust windows

Building a custom kernel from scratch in Rust (Rectangle OS): Looking for feedback and architecture advice

11 days ago reddit.com kernel rust

eBPF Looks Illegal: running your code inside the Linux kernel

33 days ago youtu.be kernel linux

QuantmLayer: kernel-enforced containment for AI coding agents - 16.5k lines of Rust, one static binary

18 days ago reddit.com ai rust

>progscrape ▒

All the news that's fit to scrape

Display options