Systems Programming

Feeds to Scour
SubscribedAll
Scoured 135 posts in 7.1 ms

Tearing into ChatGPT's container environment

 🧮Lean  Content type: Blog
pncnmnp.github.io·

Windows Ready Print is Microsoft's most ambitious attempt yet to modernize Windows printing

 ⚗️Program Synthesis  Content type: News
techspot.com·

in-place upgrade fails from b29574 to latest vnext build | Microsoft Community Hub

 🛡️Memory Safety

RakSmart Cheap VPS from $1.49/month & Dedicated Server from $39.90/month - Available this June!

 🦀Rust  Content type: Discussion
lowendtalk.com·

Day 10 of 100 Days of ClickHouse®: What Makes ClickHouse SQL Different?

 🔗Linear Types
quantrail-data.com··DEV

Moving beyond fork() + exec()

 🛡️Memory Safety
lwn.net
·

Asterinas 0.18 Released For Rust-Written, Memory Safe Linux Alternative OS

 🦀Rust
phoronix.com··r/linux

OpenAI Uses Isovalent for a Common Networking Foundation for AI Infrastructure

 🌀Idris  Content type: Blog
isovalent.com·

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

 💻Programming  Content type: Discussion

RikHydroTech-Pro: Ultra low Cost Fluid Spectrometer

 ⚙️Compilers
hackster.io·

AWS can now mathematically prove your VMs are isolated

 Proof Assistants
thenewstack.io·

KHN190/Posara: Visual-audio toolkit with early MacOS aesthetics but modernized.

 ⚙️Compilers  Content type: Code
github.com··Hacker News

Untitled Linux Show 258

 ⚙️Compilers  Content type: Video
youtube.com·

Is SIGBUS from an mmap fault guaranteed to be a thread-directed signal?

 ⚙️c++
man7.org··r/C_Programming

SNN-MLIR: An MLIR Dialect for Compiling Neuromorphic SNNs from NIR to Bare-Metal C

 ⚙️Compilers  Content type: Academic
arxiv.org·

Programming Languages Software Award

 💻Programming
sigplan.org·

verifying /proc | arya dradjica

 Formal Verification  Content type: Blog

WSL 3 will finally let Linux apps use your GPU and NPU without the performance tax

 ⚙️Compilers
xda-developers.com·

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

 🔗Linear Types
xda-developers.com·

Native inotify in FreeBSD

 🦀Rust
klarasystems.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