⚙️ Systems Programming - meib · Scour

FreeBSD Device Drivers Book 🪝eBPF

news.ycombinator.com·3d·Hacker News

Data Centers, Telecommunications Networks, and Space-Based Systems 🔌Networking

A Grounded Conceptual Model for Ownership Types in Rust 🦀Rust

dl.acm.org·20h·Lobsters

Seven new stable kernels for Thursday 🪝eBPF

·12h

Agent Amnesia and the Case of Henry Molaison 🧠Memory Management

jumbocontext.com·2d·Hacker News

Question - CAMM2 Memory specification published 🧠Memory Management

forums.anandtech.com·5d

LLM Tool Calling: How It Works and How To Implement It ✅Formal Verification

blog.n8n.io·8h

Refactoring using LLMs ⚙️Compilers

markjgsmith.com·1d

Substrate: Formalism ✅Formal Verification

lesswrong.com·4d

Your home lab's biggest mistake might be running everything in LXCs 🧠Memory Management

xda-developers.com·13h

Structured Generation for Tool Calling 🪝eBPF

blog.dottxt.ai·1d·Hacker News

Forlinx UP4 – A 40×40 mm LCC + LGA system-on-module family with Rockchip, NXP, and Allwinner CPU options 💾CPU Architecture

cnx-software.com·15h

Laguna XS.2 and M.1: A Deeper Dive ✅Formal Verification

poolside.ai·2d·Hacker News

Stop rewriting your pipelines - achieving CI portability with Docker and Taskfile 🦀Rust

blog.3mdeb.com·4d

Intel Launches Core Series 3 Processors, Boosting Performance and Value 💾CPU Architecture

smallbiztrends.com·6h

Show HN: 1990s Game Dev Algorithms for Distributed Systems ⚡Concurrency

docs.merca.earth·2d·Hacker News

How does this systems analyst navigate personal and professional change? ✅Formal Verification

siliconrepublic.com·14h

ML Systems Textbook 📊Algorithms

mlsysbook.ai·4d

424: File List Optimization 🪝eBPF

blog.codepen.io·1d

Functional Programmers need to take a look at Zig 🛡️Memory Safety

lobste.rs·1h·Lobsters

Sign up or log in to see more results

Log in to enable infinite scrolling