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
Microkernels
🫀 Microkernels
microkernel design, L4, seL4, IPC, capability-based kernel
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
86
posts in
19.1
ms
Designing
microkernel
IPC
⚡
Concurrency
Content type:
Discussion
lobste.rs
·
1d
1 day ago
·
Lobsters
Actions for Designing microkernel IPC
Subversion-Resistance for Free from
Formal
Verification
📋
Formal Methods
lesswrong.com
·
19h
19 hours ago
Actions for Subversion-Resistance for Free from Formal Verification
Zcash Developers Weigh New Shielded Pool After Orchard Bug
📋
Formal Methods
cointelegraph.com
·
4d
4 days ago
Actions for Zcash Developers Weigh New Shielded Pool After Orchard Bug
NOVA microhypervisor brings AMD DMA
isolation
to shared AI infrastructure
🖧
Hypervisors
helpnetsecurity.com
·
5h
5 hours ago
Actions for NOVA microhypervisor brings AMD DMA isolation to shared AI infrastructure
bossman-lab/ai-qc: AI Quality Check -
property-based
verification
with
L1-L4
tiered validation
🎲
Property Testing
Content type:
Code
github.com
·
4d
4 days ago
·
DEV
Actions for bossman-lab/ai-qc: AI Quality Check - property-based verification with L1-L4 tiered validation
Syntax-driven Incremental Program
Verification
of Matching Logic Properties
📋
Formal Methods
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Syntax-driven Incremental Program Verification of Matching Logic Properties
RapydMark CPU benchmark
🔧
Custom CPUs
Content type:
Discussion
forums.anandtech.com
·
18h
18 hours ago
Actions for RapydMark CPU benchmark
Asterinas 0.18 Released For Rust-Written,
Memory
Safe Linux Alternative OS
🖥️
Operating Systems
phoronix.com
·
22h
22 hours ago
·
r/linux
Actions for Asterinas 0.18 Released For Rust-Written, Memory Safe Linux Alternative OS
Bolt, Stellantis, Pony.ai to launch autonomous vehicle test program in Luxembourg
🏗️
AI Infrastructure
channelnewsasia.com
·
1d
1 day ago
Actions for Bolt, Stellantis, Pony.ai to launch autonomous vehicle test program in Luxembourg
BYD is building its own chips and looking abroad to make them
⚙️
ISA Design
digitimes.com
·
6d
6 days ago
Actions for BYD is building its own chips and looking abroad to make them
Researchers discover hidden chip threats and a way to stop them
📋
Formal Methods
techxplore.com
·
16h
16 hours ago
Actions for Researchers discover hidden chip threats and a way to stop them
From GPU to Token: The 8-Layer Observability Stack for AI Infrastructure
🏗️
AI Infrastructure
Content type:
Blog
jimmysong.io
·
1d
1 day ago
Actions for From GPU to Token: The 8-Layer Observability Stack for AI Infrastructure
Security experts warn advanced AI is about to spark a hacking crisis for both crypto and banks
📋
Formal Methods
Content type:
News
coindesk.com
·
4d
4 days ago
Actions for Security experts warn advanced AI is about to spark a hacking crisis for both crypto and banks
New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"
📋
Formal Methods
Content type:
Discussion
news.ycombinator.com
·
11h
11 hours ago
·
Hacker News
Actions for New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"
The Road to Component Model 1.0
🕸️
WASM Runtimes
bytecodealliance.org
·
2d
2 days ago
·
Hacker News
Actions for The Road to Component Model 1.0
OpenAI
Uses
Isovalent for a Common Networking Foundation for AI Infrastructure
⚙️
Low-Level Programming
Content type:
Blog
isovalent.com
·
5d
5 days ago
Actions for OpenAI Uses Isovalent for a Common Networking Foundation for AI Infrastructure
Synaptics Astra SRW1500 Cortex-M52 Edge AI MCU features Ethos-U55 NPU, Wi-Fi 6/7, Bluetooth 6.0, 802.15.4 connectivity - CNX Software
🟢
PCB Design
Content type:
News
cnx-software.com
·
3h
3 hours ago
Actions for Synaptics Astra SRW1500 Cortex-M52 Edge AI MCU features Ethos-U55 NPU, Wi-Fi 6/7, Bluetooth 6.0, 802.15.4 connectivity - CNX Software
Formal
verification
of the S-two AIR
📋
Formal Methods
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Formal verification of the S-two AIR
Azerbaijan unveils plan for financial sector Innovation Center
⚙️
ISA Design
trend.az
·
1d
1 day ago
Actions for Azerbaijan unveils plan for financial sector Innovation Center
Introducing Jo — Secure Programming for the AI Era
🔒
Capsicum
Content type:
Blog
jo-lang.org
·
5d
5 days ago
·
Hacker News
Actions for Introducing Jo — Secure Programming for the AI Era
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