⚙️ Systems Programming - sobeston · Scour

Rust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa

🛡️Memory Safety Blog Discussion

Introducing Soteria: A New Generation of Static Analysis for Rust

📊Liveness Analysis Blog

soteria-tools.com··Hacker News

Moving Beyond Fork() + Exec()

⚙️Kernel Dev

lwn.net··Lobsters, Hacker News

Building a MIPS emulator with Zig to replace MARS and QtSpim

WOS: a Rust ARM64 kernel from scratch with MMU and GICv2 working

🧠userfaultfd Code

github.com··Hacker News

NVIDIA's Nova Driver Continues Being Built Up In Linux 7.2 Along With Other DRM Rust Code

⚙️Kernel Dev

Syd Domain Transitions

🧠userfaultfd

man.exherbo.org··Hacker News

Stop hand-tuning kernels: How Neuron Agentic Development accelerates AWS Trainium optimizations

🚀High Performance Blog

aws.amazon.com·

Programming Languages Software Award

✅Formal Methods

Moving beyond fork() + exec()

⚙️Kernel Dev

·

The Linux IOCTL Census: A Source-Derived Database of the Linux Kernel Control-Code Surface

⚙️Kernel Dev Academic

Asterinas 0.18 Released For Rust-Written, Memory Safe Linux Alternative OS

🧠userfaultfd

phoronix.com··r/linux

NOVA microhypervisor brings AMD DMA isolation to shared AI infrastructure

helpnetsecurity.com·

🦀 Custom Allocators in Rust

🏟️Arena Allocators Blog

·

How do I get SEO Email Spam to stop?

⬆️Huge Page Promotion

kgugeler.ca··Lobsters

Essential Complexity

🤝Consensus Algorithms Blog

iankduncan.com·

New comment by aasheeshrathour in "Ask HN: Who wants to be hired? (June 2026)"

💾Memtable Discussion

news.ycombinator.com··Hacker News

Awesome List Updated on Jun 08, 2026

trackawesomelist.com·

Splicing out vmsplice()

·

AWS can now mathematically prove your VMs are isolated

✅Formal Methods

thenewstack.io·

Log in to enable infinite scrolling