Systems Programming

Feeds to Scour
SubscribedAll
Scoured 89 posts in 5.5 ms

Rust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa

 Formal Verification  Content type: Blog  Content type: Discussion
serokell.io·

Introducing Soteria: A New Generation of Static Analysis for Rust

 🧮Theorem Proving  Content type: Blog
soteria-tools.com··Hacker News

A Practical Guide to Kubernetes Multi-Tenancy: Best Practices and Approaches

 🔗Content Addressing  Content type: Blog
mirantis.com·

New OS kernel uncovers hidden Apple M1 behavior and possible Phantom attack

 🧠Memory Models
techxplore.com·

WOS: a Rust ARM64 kernel from scratch with MMU and GICv2 working

 🕸️WebAssembly  Content type: Code
github.com··Hacker News

Deep C Dives: Pointers

 🏗️Compiler Design
i-programmer.info·

BPF in the agentic era

 🕸️WebAssembly
lwn.net·

C3 0.8.1 released: Raiding the stdlib for bugs

 🕸️WebAssembly  Content type: Blog

AMD EPYC 8005 Bare Metal Server Review: The Engineering Truth

 🧠Memory Models  Content type: News  Content type: Blog  Content type: Discussion
irexta.com··DEV

Replace Nginx with Pingora on Bare Metal: An SRE Proxy Guide

 🔗Content Addressing  Content type: Discussion  Content type: Tutorial
servermo.com··DEV

🦀 Custom Allocators in Rust

 🏗️Compiler Design  Content type: Blog
medium.com
·

Two Leaps to 1000 Tokens/s on a 1T-Parameter Model: On Inference Systems, Execution Boundaries, and Co-Design

 🧠Memory Models  Content type: Blog
tilert.ai··Hacker News

New comment by revengerwizard in "Ask HN: Who wants to be hired? (June 2026)"

 🗣️Domain-Specific Languages  Content type: Discussion

Running Windows in Proxmox is better than dual-booting for power users

 🔨Build Systems
xda-developers.com·

Programming Languages Software Award

 Formal Verification
sigplan.org·

Replace Nginx with Pingora on Bare Metal: The Enterprise Proxy Playbook

 🔗Content Addressing  Content type: Blog
medium.com
·

Building a MIPS emulator with Zig to replace MARS and QtSpim

 Formal Verification
ziggit.dev·

Hetzner S3 Is Not Good

 🔗Content Addressing
eidel.io··Hacker News

RakSmart New User Exclusive VPS from $1.49/month & Dedicated Server from $39.90/month – World Cup Cl

 🔗Content Addressing  Content type: Discussion
lowendtalk.com·

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help