⚙️ Systems Programming - plumenator · Scour

A language where you describe the system and the compiler verifies it ✅Formal Verification

spine-lang.org·7h·Hacker News

System Design 101: The Architecture Behind Large Scale Applications 🔤Type Systems

medium.com·1d

Wrote an OS from scratch in rust 🦀Rust

github.com·5d·r/rust

You Have a Kernel Read/Write. Not Enough! How to Extract Offsets from XNU Kernelcaches 🦀Rust

blog.reversesociety.co·3h·Hacker News

Master C and C++ with our new Testing Handbook chapter 🛡️Memory Safety

blog.trailofbits.com·1d

A Type System for Management 🔗Linear Types

rescrv.net·15h·Hacker News

Bringing Rust to the Pixel Baseband 🦀Rust

security.googleblog.com·4h·Blogger

From Scratch: Exploring Bare Metal C vs C++ ⚙️c++

medium.com·5d

My Login Shell in Assembly 🦀Rust

isene.org·1d·Lobsters, Hacker News

Data Oriented Design by example (2017) λFunctional Programming

nikitablack.github.io·12h·Hacker News

QRV, a QNX-derived 64-bit OS, boots on the real RISC-V hardware for the first time ⚙️Compilers

r-tty.blogspot.com·12h·r/embedded

Linux Memory Acquisition and Volatile Artifact Analysis Using LiME 🛡️Memory Safety

medium.com·2h

Algorithms for Modern Hardware ⚙️Compilers

en.algorithmica.org·1d·Hacker News

How Linux executes binaries: ELF and dynamic linking explained 🛡️Memory Safety

fmdlc.github.io·4d·Hacker News, r/linux, r/programming

How to achieve P90 sub-microsecond latency in a C++ FIX engine 🛡️Memory Safety

akinocal1.substack.com·21h·Substack

C++: Freestanding Standard Library ⚙️c++

sandordargo.com·2d·Lobsters, Hacker News

Free book: Ada and SPARK on ARM Cortex-M 🧮Lean

blog.adafruit.com·5h

Externalization in LLM Agents: A Unified Review of Memory, Skills, Protocols and Harness Engineering 🦥Haskell

arxiv.org·15h

CPU-Z 2.19 Supply Chain Attack Analysis (April 2026) - Trojanized DLL Sideloading with Zig-compiled CRYPTBASE.dll, IPv6-encoded .NET deserialization, MSBuild persistence 🦀Rust

gist.github.com·1h·Hacker News

High-Performance RK3568 SOM Module for Industrial and AI App ⚙️Compilers

hackster.io·1d

Loading more...