Microkernel Design

Feeds to Scour
SubscribedAll
Scoured 58 posts in 22.3 ms

Ottawa Infotainment Leverages QNX to Accelerate the Deployment of Production-Ready SDVs

 🔌Device Drivers  Content type: News
einpresswire.com·

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

 ⏱️Real-Time Scheduling
therobotreport.com·

Designing microkernel IPC

 🔀Concurrency  Content type: Discussion
lobste.rs··Lobsters

AWS can now mathematically prove your VMs are isolated

 🖥️Operating Systems
thenewstack.io·

bossman-lab/ai-qc: AI Quality Check - property-based verification with L1-L4 tiered validation

 📐TLA+  Content type: Code
github.com··DEV

NOVA microhypervisor brings AMD DMA isolation to shared AI infrastructure

 ⚙️CPU Architecture
helpnetsecurity.com·

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

 🖥️Operating Systems
phoronix.com··r/linux

> The received wisdom suggests that Unix’s unusual combination of fork() and exe...

 🖥️Operating Systems  Content type: Discussion

The robots are coming... to help small businesses, actually

 ⏱️EEVDF  Content type: News
sherwood.news·

Kinova Robotics announces launch of KIMA, a medical robotic arm

 💾Persistent Memory

Is anyone here interested in contributing to this OS?

 🖥️Operating Systems  Content type: Code
github.com··Hacker News

From GPU to Token: The 8-Layer Observability Stack for AI Infrastructure

 🖥️Operating Systems  Content type: Blog
jimmysong.io·

1% Stake, 100% Strategy: How Big Is Toyota's Game?

 📦Cache-Oblivious
autonews.gasgoo.com·

AutoMegaKernel: A Statically-Checked Agent Harness for Self-Retargeting Megakernel Synthesis

 🧵Multithreading  Content type: Academic
arxiv.org··Hacker News

OpenAI Uses Isovalent for a Common Networking Foundation for AI Infrastructure

 ⚙️Systems Programming  Content type: Blog
isovalent.com·

BYD outsold Ford, and now it thinks it can catch Toyota as the world’s No. 1 automaker

 📝WAL Design  Content type: News
electrek.co·

Bolt, Stellantis, Pony.ai to launch autonomous vehicle test program in Luxembourg

 Coq
channelnewsasia.com·

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

 🔗IPC  Content type: Blog
blogs.nvidia.com·

The Road to Component Model 1.0

 ⚙️Systems Programming

null-drift: Using tokio RwLocks and bincode to build an O(1) fault-tolerant AI memory architecture.

 ⚙️Systems Programming  Content type: Code
github.com··r/rust

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