Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Systems Programming
⚡ Systems Programming
Rust, Low-level Programming, Memory Management, Performance
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
88
posts in
5.0
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
·
3d
3 days ago
Actions for Rust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa
Introducing Soteria: A New Generation of Static Analysis for
Rust
🧮
Theorem Proving
Content type:
Blog
soteria-tools.com
·
1d
1 day ago
·
Hacker News
Actions for Introducing Soteria: A New Generation of Static Analysis for Rust
New OS
kernel
uncovers hidden Apple M1 behavior and possible Phantom attack
🧠
Memory Models
techxplore.com
·
17h
17 hours ago
Actions for New OS kernel uncovers hidden Apple M1 behavior and possible Phantom attack
What Is Containerization? Security and Best Practices
📦
Package Managers
orca.security
·
1h
1 hour ago
Actions for What Is Containerization? Security and Best Practices
BPF in the agentic era
🕸️
WebAssembly
lwn.net
·
14h
14 hours ago
Actions for BPF in the agentic era
WOS: a
Rust
ARM64
kernel
from scratch with MMU and GICv2 working
🕸️
WebAssembly
Content type:
Code
github.com
·
3d
3 days ago
·
Hacker News
Actions for WOS: a Rust ARM64 kernel from scratch with MMU and GICv2 working
A Practical Guide to Kubernetes Multi-Tenancy: Best Practices and Approaches
🔗
Content Addressing
Content type:
Blog
mirantis.com
·
1d
1 day ago
Actions for A Practical Guide to Kubernetes Multi-Tenancy: Best Practices and Approaches
AMD EPYC 8005
Bare
Metal
Server Review: The Engineering Truth
🧠
Memory Models
Content type:
News
Content type:
Blog
Content type:
Discussion
irexta.com
·
14h
14 hours ago
·
DEV
Actions for AMD EPYC 8005 Bare Metal Server Review: The Engineering Truth
Deep C Dives:
Pointers
🏗️
Compiler Design
i-programmer.info
·
1d
1 day ago
Actions for Deep C Dives: Pointers
Replace Nginx with Pingora on
Bare
Metal
: An SRE Proxy Guide
🔗
Content Addressing
Content type:
Discussion
Content type:
Tutorial
servermo.com
·
6d
6 days ago
·
DEV
Actions for Replace Nginx with Pingora on Bare Metal: An SRE Proxy Guide
C3 0.8.1 released: Raiding the stdlib for bugs
🕸️
WebAssembly
Content type:
Blog
c3-lang.org
·
1d
1 day ago
·
Hacker News
,
r/programming
Actions for C3 0.8.1 released: Raiding the stdlib for bugs
New comment by revengerwizard in "Ask HN: Who wants to be hired? (June 2026)"
🗣️
Domain-Specific Languages
Content type:
Discussion
news.ycombinator.com
·
5d
5 days ago
·
Hacker News
Actions for New comment by revengerwizard in "Ask HN: Who wants to be hired? (June 2026)"
Only Bounds · baby steps
🔍
Static Analysis
smallcultfollowing.com
·
2d
2 days ago
·
Lobsters
,
Hacker News
,
r/rust
Actions for Only Bounds · baby steps
Replace Nginx with Pingora on
Bare
Metal
: The Enterprise Proxy Playbook
🔗
Content Addressing
Content type:
Blog
medium.com
·
6d
6 days ago
Actions for Replace Nginx with Pingora on Bare Metal: The Enterprise Proxy Playbook
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
·
2d
2 days ago
·
Hacker News
Actions for Two Leaps to 1000 Tokens/s on a 1T-Parameter Model: On Inference Systems, Execution Boundaries, and Co-Design
Hetzner S3 Is Not Good
🔗
Content Addressing
eidel.io
·
21h
21 hours ago
·
Hacker News
Actions for Hetzner S3 Is Not Good
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
·
6d
6 days ago
Actions for RakSmart New User Exclusive VPS from $1.49/month & Dedicated Server from $39.90/month – World Cup Cl
Programming
Languages Software Award
✅
Formal Verification
sigplan.org
·
1d
1 day ago
Actions for Programming Languages Software Award
[eCHO News] Episode #102: Hardening eBPF for Security. DSR with Cilium
🔗
Content Addressing
isovalent-9197153.hs-sites.com
·
5d
5 days ago
Actions for [eCHO News] Episode #102: Hardening eBPF for Security. DSR with Cilium
Building a MIPS emulator with Zig to replace MARS and QtSpim
✅
Formal Verification
ziggit.dev
·
1d
1 day ago
Actions for Building a MIPS emulator with Zig to replace MARS and QtSpim
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help