⚙️ 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·4d·Substack

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

pure-systems.org·20h·Lobsters, Hacker News, Hacker News

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

ziglang.org·3h·DEV

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

LukeSchoen/CPrime: Fast C compiler with essential C++ features like constructors, class-templates, overloads, etc ⚙️Compilers

github.com·13h·r/cpp

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

hackster.io·5h

New Generation Systems' MicroShell 🐧Linux Kernel

computeradsfromthepast.substack.com·6d·Substack

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

semiengineering.com·8h

Robinhooding libraries from JavaScript to C, part 1: Interactive CLIs ⚙️Compilers

spader.zone·1d·Hacker News

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

wiki.tuhs.org·14h

My local agentic dev setup today 🪝eBPF

willemvandenende.com·40m·Hacker News

Programming Isn’t About Syntax: It’s About Understanding the Basics 🔍Static Analysis

·1d·DEV, r/programming

Composition Shouldn't be this Hard 🔍Static Analysis

cambra.dev·6d·Lobsters, Hacker News

Organizing Agents’ memory at scale: Namespace design patterns in AgentCore Memory 🗄️Database Internals

aws.amazon.com·19h

How to reliably connect LLMs to real-world data and systems ✅Formal Verification

·5h

73 architecturalist papers: survivability – a framework for software and culture 🎮Game Engines

wrongtool.kostadis.com·2d

std::calloc (3) Linux Manual Page 🧠Memory Allocators

systutorials.com·21h

Restartable sequences, TCMalloc, and Hyrum's Law 🛡️Memory Safety

·1h

The Linux kernel is just a program 🐧Linux Kernel

serversfor.dev·3d

Log in to enable infinite scrolling