Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  vibecoding  openai  health  github.com  psychology  apple  psypost.org  release  techspot.com  tomshardware.com  show  meta  google  arstechnica.com  game  theguardian.com  linux  microsoft 

Popcorn: Democratized Fast Kernel Dispatching

47 days ago blog.tilderesearch.com kernel

Linux Kernel 7.2 Has Been Officially Released with Many New Features

49 days ago 9to5linux.com kernel linux release

Auto-research with codex: How I achieved a 232x Faster Kernel

50 days ago sankalp.bearblog.dev kernel

Show HN: Talos – An AI agent with a permission kernel between model and shell

37 days ago talos-agent.ch ai kernel show

Steve French (SMB3/CIFSFS Linux kernel maintainer) has died

43 days ago phoronix.com kernel linux

The Linux Kernel Is Approaching 2,000 CVEs Per Release

36 days ago phoronix.com ai kernel linux release

Linus Torvalds says AI has made 'huge' Linux kernel updates the new normal

55 days ago theregister.com ai kernel linux

Opus is a minimal, statically-scoped Lisp dialect based on the semantics of f-expressions (the Kernel language)

45 days ago github.com haskell kernel lisp

Postmortem for Kernel Soundness Bug #14576

2 months ago leodemoura.github.io formalmethods kernel plt

I build an embedded kernel from scratch in rust

41 days ago reddit.com embedded kernel rust

CAKE: Compiler-Agent Co-Design for Frontier Kernel Evolution

51 days ago arxiv.org compiler kernel

Kernel that only runs an NES emulator

51 days ago github.com c game kernel osdev

Show HN: Kandelo – a POSIX-compatible multi-process WASM kernel for the browser

45 days ago kandelo.dev kernel show wasm

RamShared v2: Writing a Linux VRAM Block Driver in Rust & C with 8.74 GiB/s PCIe DMA, io_uring/ublk, and 3 Patches on lore.kernel.org

36 days ago i.redd.it c linux rust

Massive Debian 13 Linux Kernel Security Update Patches 68 Vulnerabilities

2 months ago 9to5linux.com debian kernel linux

BSDun – FreeBSD ELF support for the Linux kernel

47 days ago gitlab.com bsd freebsd kernel linux

Help me to pick the absolute 'must' print book for becoming better at OS and Kernel dev.

48 days ago reddit.com compiler kernel

Simulated OS kernel written in rust

48 days ago github.com kernel rust

Should I code my OSDev project's kernel in Rust

53 days ago reddit.com kernel rust

C++ vs Rust for a CAD kernel + meshing — has anyone actually measured it?

55 days ago reddit.com c++ kernel rust

Building an OS from scratch (graph-based, no files, custom Rust kernel) — would love outside perspective

56 days ago reddit.com kernel rust

RamShared v2: Writing a Linux VRAM Block Driver in Rust & C with 8.74 GiB/s PCIe DMA, io_uring/ublk, and 3 Patches on lore.kernel.org

36 days ago reddit.com c linux rust

Linux kernel will support $ORIGIN, sort of

2 months ago fzakaria.com c kernel linux nix osdev

Why is it all in the kernel?

2 months ago lawrencecpaulson.github.io kernel

The Zen of Parallel Programming: The Posture of a Kernel

2 months ago smolnero.com kernel

Interview with Matheus Moreira about Lone Lisp and Linux Kernel

2 months ago alexalejandre.com interview kernel linux lisp

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

2 months ago infosec.exchange kernel

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

2 months ago rocm.blogs.amd.com amd kernel

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

2 months ago seclists.org kernel linux

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

2 months ago bare.systems encryption kernel ubuntu

More →