🔩 Systems Programming

Memory Management, Low-level Optimization, Kernel Development, Device Drivers, Rust, Low-level Programming, Memory Management, Performance, C

Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·19h
📞Session Types
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·2d
📺VT100
Metasploit Wrap Up 10/09/2025
rapid7.com·1d
🛡️eBPF Security
10 Command-Line Tools Every Data Scientist Should Know
kdnuggets.com·2d
🤖Archive Automation
Has anyone tried csprimer and have any reviews on it?
csprimer.com·13h·
Discuss: Hacker News
💻CS
Att&Df: Update the Operating System's "Dead Drop"
zenodo.org·1d·
Discuss: Hacker News
🛡️eBPF Security
A Year of Gentoo
arch.dog·13h·
Discuss: Lobsters, Hacker News
❄Nix
English - the hottest programming language of the future
dev.to·9h·
Discuss: DEV
🔄Language Evolution
Interviewing Intel's Chief Architect of x86 Cores
chipsandcheese.com·1d·
Discuss: Hacker News, r/hardware
🧲RISC-V Archaeology
rust-lang/rustfmt
github.com·1d
🦀Rust Macros
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.to·1d·
Discuss: DEV
🧩RISC-V
Experimenting with ACL2 and Claude Code
mikedodds.org·14h·
Discuss: Hacker News
👑Isabelle
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🔄Language Evolution
Full Browser-Based CP/M emulator – finally
retrogamecoders.com·4h·
Discuss: Hacker News
📟Terminals
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·4d·
Discuss: Hacker News, r/golang, r/programming
💨Cache Optimization
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·6h·
Discuss: Hacker News
🛡️Error Boundaries
The Trillion Dollar AI Software Development Stack
a16z.com·5h·
Discuss: Hacker News
⚡Proof Automation
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·1d·
Discuss: Hacker News
🌊Stream Processing
Next steps for BPF support in the GNU toolchain
lwn.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Monads
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·2d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
📜Proof Carrying Code