Operating System Design

Feeds to Scour
SubscribedAll
Scoured 14 posts in 19.8 ms

Designing microkernel IPC

 💬Mach Messages  Content type: Discussion
lobste.rs··Lobsters

Is anyone here interested in contributing to this OS?

 💻QEMU  Content type: Code
github.com··Hacker News

NOVA microhypervisor brings AMD DMA isolation to shared AI infrastructure

 🌐Open Source
helpnetsecurity.com·

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

 ❄️Nixified Development
phoronix.com··r/linux

For Robotaxis, Safety Must Be Built In, Not Bolted On

 🤖Robotics  Content type: Blog
blogs.nvidia.com·

Unix, Everything Is a File

 📄Systems Research  Content type: Blog

The Road to Component Model 1.0

 ⚙️PL Implementation

Train your own GPT-2 (124M).

 📐Linear Algebra  Content type: Blog
medium.com·

Microsoft Defender now monitors RPC activity

 👁️System Observability

Why deterministic real-time systems are more critical than ever in robotics

 🔐Cybersecurity
therobotreport.com·
Less-relevant results

Linux tmpfs for Speed and Temporary Storage

 🖥Self-Hosting  Content type: Blog
linuxblog.io·

git-fsmonitor--daemon

 🍏Darwin

Navigating the Dataflow Runner Dilemma: Why Java and Kafka Often Favor Runner V1

 🔧Unikernel Development  Content type: Blog
medium.com
·

The Firefox security harness that fixed 271 bugs no one had found for years

 🔐Cybersecurity
ppc.land·

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