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  github.com  vibecoding  show  health  tomshardware.com  china  arstechnica.com  theguardian.com  linux  i.redd.it  go  meta  game  medicine  video  web  openai  psychology 
Loading...

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

Kernel Context Switch Costs And Spin Locks In Perf Profile: A Practical Study

5 days ago medium.com kernel

Popcorn: Democratized Fast Kernel Dispatching

43 hours ago blog.tilderesearch.com kernel

Linux Kernel 7.2 Has Been Officially Released with Many New Features

3 days ago 9to5linux.com kernel linux release

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

5 days ago sankalp.bearblog.dev kernel

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

2 hours ago github.com haskell kernel lisp

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

10 days ago theregister.com ai kernel linux

Postmortem for Kernel Soundness Bug #14576

18 days ago leodemoura.github.io formalmethods kernel plt

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

5 days ago arxiv.org compiler kernel

Kernel that only runs an NES emulator

5 days ago github.com c game kernel osdev

Massive Debian 13 Linux Kernel Security Update Patches 68 Vulnerabilities

17 days ago 9to5linux.com debian kernel linux

BSDun – FreeBSD ELF support for the Linux kernel

37 hours ago gitlab.com bsd freebsd kernel linux

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

3 days ago reddit.com compiler kernel

Simulated OS kernel written in rust

3 days ago github.com kernel rust

Should I code my OSDev project's kernel in Rust

7 days ago reddit.com kernel rust

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

9 days ago reddit.com c++ kernel rust

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

10 days ago reddit.com kernel rust

Linux kernel will support $ORIGIN, sort of

30 days ago fzakaria.com c kernel linux nix osdev

Why is it all in the kernel?

20 days ago lawrencecpaulson.github.io kernel

The Zen of Parallel Programming: The Posture of a Kernel

29 days ago smolnero.com kernel

Interview with Matheus Moreira about Lone Lisp and Linux Kernel

33 days ago alexalejandre.com interview kernel linux lisp

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

21 days ago infosec.exchange kernel

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

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

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

29 days ago seclists.org kernel linux

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

23 days ago bare.systems encryption kernel ubuntu

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

36 days ago github.com kernel show

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

30 days ago 1day.dev kernel linux security

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

28 days ago blog.qualys.com kernel linux security

Linus Torvalds on LLM usage in kernel development

35 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

35 days ago github.com kernel linux risc zig

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

44 days ago joa-ebert.com kernel show

More →