⚙️ Systems Programming - meib · Scour

The Final Form of Software Development ✅Formal Verification

blog.zksecurity.xyz·1d·Lobsters, Hacker News

A breakthrough in C/C++ dependency management ⚙️Compilers

lobste.rs·5d·Substack

Zig: The Honest Systems Language You Have Been Ignoring 🔍Static Analysis

ziglang.org·13h·DEV

A desktop that bends to me 🎮Game Engines

MEMCoder: Multi-dimensional Evolving Memory for Private-Library-Oriented Code Generation ⚙️Compilers

From Standards To Systems: The Chiplet Era On Arm 💾CPU Architecture

semiengineering.com·18h

aniket-ray/ccbuild: A build system for C++ where your build scripts are C++ 🔍Static Analysis

github.com·4h·Hacker News

Composition Shouldn't be this Hard 🔍Static Analysis

cambra.dev·6d·Lobsters, Hacker News

Functional Programmers need to take a look at Zig. ⚙️Compilers

pure-systems.org·1d·Lobsters, Hacker News, Hacker News, r/functionalprogramming

ASM Lab: High-Performance Text Processing & Analysis ⚙️Compilers

hackster.io·16h

tcadb (3) Linux Manual Page 🗄️Database Internals

systutorials.com·7h

Managing dependencies in non-manifest languages 🔍Static Analysis

news.ycombinator.com·4h·Hacker News

Silent foe or quiet ally: Brief guide to alignment in C++. Part 3 🛡️Memory Safety

pvs-studio.com·1d·r/cpp

The Linux kernel is just a program 🐧Linux Kernel

serversfor.dev·4d

AIDE Memory – Persistent Memory for AI Coding Agents and Teams 🧠Memory Management

aide-memory.dev·6h·Hacker News

systems:2nd_edition [Unix Heritage Wiki] 🐧Linux Kernel

wiki.tuhs.org·1d

Knots - A library for building GUIs with Zig 🎮Game Engines

ziggit.dev·15h

Play with Armbian on R2S ｜ fernvenue's Blog 🐧Linux Kernel

blog.fernvenue.com·2h

How AI-Driven Kubernetes Optimization Reclaimed Millions from 47% Idle Capacity 🪝eBPF

engineering.salesforce.com·5h

History of Unix 🔩Assembly

en.wikipedia.org·4d

Log in to enable infinite scrolling