⚙️ Systems Programming - beachlorn · Scour

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

spine-lang.org·9h·Hacker News

System Design 101: The Architecture Behind Large Scale Applications 🗄️Databases

medium.com·1d

Wrote an OS from scratch in rust 🐧Linux

github.com·5d·r/rust

You Have a Kernel Read/Write. Not Enough! How to Extract Offsets from XNU Kernelcaches 🧠Memory Management

blog.reversesociety.co·5h·Hacker News

Master C and C++ with our new Testing Handbook chapter ⚡Zig

blog.trailofbits.com·1d

A Type System for Management 🔤Type Systems

rescrv.net·17h·Hacker News

From Scratch: Exploring Bare Metal C vs C++ ⚡Concurrency

medium.com·5d

Data Oriented Design by example (2017) ⚡Concurrency

nikitablack.github.io·14h·Hacker News

My Login Shell in Assembly 🔩Assembly

isene.org·1d·Lobsters, Hacker News

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

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

Algorithms for Modern Hardware ⚡Concurrency

en.algorithmica.org·1d·Hacker News

How Linux executes binaries: ELF and dynamic linking explained 🐧Linux

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

C++: Freestanding Standard Library 📚Forth

sandordargo.com·2d·Lobsters, Hacker News

A brief history of C/C++ programming languages 🤔Programming, Programming Languages, Philosophy

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

LLM Context Solutions: How Engineers Are Fixing the Memory Problem (2026) 🧠Memory Management

pranavakailash.medium.com·4d

High-Performance RK3568 SOM Module for Industrial and AI App 💾Embedded Systems

hackster.io·1d

System 0 at the Hardware Layer 💾Embedded Systems

medium.com·4d

The System Monitor ⚡Concurrency

internals-for-interns.com·4d·Hacker News, r/golang

I Accidentally Reinvented Kernel (Programming Language) 🔧Scheme

fayash.me·5d·Hacker News

Rust: The Programming Language That’s Redefining Systems Development ⚙Rust, Haskell, Functional Programming, Logic Programming, Critical Theory

levelup.gitconnected.com

·4d

Loading more...