⚙️ Systems Programming - plumenator · Scour

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

spine-lang.org·5h·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

A Type System for Management 🔗Linear Types

rescrv.net·13h·Hacker News

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

blog.trailofbits.com·1d

Data Oriented Design by example (2017) λFunctional Programming

nikitablack.github.io·11h·Hacker News

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

blog.reversesociety.co·2h·Hacker News

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

medium.com·5d

My Login Shell in Assembly 🦀Rust

isene.org·1d·Lobsters, 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·10h·r/embedded

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

akinocal1.substack.com·20h·Substack

I Thought I Understood Threads. Then I Read Atomics and Locks. 🦥Haskell

mara.nl·5h·DEV

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

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

arxiv.org·13h

Linux 2026 "Spring Cleaning" To Address Some Code Remnants As Far Back As Linux v0.1 🛡️Memory Safety

phoronix.com·4h

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

sandordargo.com·2d·Lobsters, Hacker News

State Management in Distributed Systems (The Rust Playbook) 🦀Rust

medium.com

·18h

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

blog.adafruit.com·3h

A brief history of C/C++ programming languages ⚙️c++

lemire.me·1d·Hacker News, r/rust

Loading more...