Tag
A curated playlist has been created for Stanford's CS153 Systems course '26 lectures, which are regularly uploaded to the official Stanford online YouTube channel.
The article introduces 'ymawky', a minimal HTTP web server written entirely in aarch64 assembly for macOS, using raw syscalls without libc wrappers to explore low-level system mechanics.
A TokioConf 2026 talk/blog post explores pushing safe Rust to its limits by implementing tracing garbage collection for complex pointer structures, sharing techniques for circular references and raw-pointer GC design.
Verus is a static verification tool for Rust that uses SMT solving to prove full functional correctness of low-level systems code without runtime checks.
Paul McKenney discusses unconventional and corner-case RCU (Read-Copy-Update) implementations, including timed-wait RCU approaches used in early Unix systems and fixed-buffer RCU concepts related to memory quarantining, illustrating creative but potentially dangerous synchronization techniques in kernel development.
Kefir is an independent, open-source C17/C23 compiler developed by a single developer, targeting x86_64 with System-V ABI and supporting Linux and BSDs. It features an SSA-based optimization pipeline, DWARF5 debug info, bit-identical bootstrap, and has been validated against 100 real-world open-source projects.
A technical deep-dive into implementing zero-copy page handling in Rust for a database engine, exploring how Rust's lifetime system enables safe zero-copy semantics between the buffer pool and upper database layers while using Direct I/O to bypass the OS page cache.