Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🏰 Capability Machines
CHERI, Memory Safety, Hardware Security, Spatial Safety
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8761
posts in
78.2
ms
Local Agent
Bench
: Test 11 small LLMs on tool-calling
judgment
, on CPU, no GPU
github.com
·
2h
·
Discuss:
Hacker News
,
r/LocalLLaMA
🗺️
Region Inference
I
struggled
with system design until I learned these 114
concepts
newsletter.systemdesign.one
·
2h
🏗️
Systems Design
Building
Resilient
AI Architectures with
FastAPI
pub.towardsai.net
·
2d
🕸️
Mesh Networks
MicroBlaze
MCS Seven-Segment Counter on
Basys
3 FPGA
hackster.io
·
47m
🔌
Microcontrollers
Hallucination-Resistant
Security Planning with a Large Language Model
arxiv.org
·
1d
🛡️
Security Type Systems
An Analysis of User-space
Idle
State Instructions on
x86
Processors
danglingpointers.substack.com
·
2d
·
Discuss:
Substack
🗺️
Region Inference
Lessons from
securing
AI systems at runtime (agents,
MCPs
, LLMs)
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🛡️
Security Type Systems
The control
layer
for AI
blog.dottxt.ai
·
16h
·
Discuss:
Hacker News
🚂
Error Propagation
The Future of Systems
novlabs.ai
·
6h
·
Discuss:
Hacker News
🏗️
Systems Design
The Security
Gap
in MCP: The Hidden Risks No One Is
Talking
About
memgraph.com
·
19h
·
Discuss:
Hacker News
🛡️
Security Type Systems
Autocrypt
v2 - Post-Quantum and Reliable
Deletion
for Internet Messaging
autocrypt2.org
·
18h
🛡️
Security Type Systems
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
1d
✓
Formal Methods
Why
Responsible
AI Is No Longer
Optional
alexandracar.substack.com
·
3h
·
Discuss:
Substack
💡
Explainable AI
I Built a 6
BIPS
JIT
in Five Months
unlikelyemphasis.substack.com
·
1d
·
Discuss:
Substack
⚡
JIT Optimizations
Understanding LLM Inference
Engines
: Inside
Nano-vLLM
(Part 2)
neutree.ai
·
1d
·
Discuss:
Hacker News
🗺️
Region Inference
Rethinking Time in
Computation
– From Wall
Clocks
to State Transitions
d1gesto.blogspot.com
·
22h
·
Discuss:
Hacker News
🏗️
System Design
Why Large Language Models Make Terrible
Compilers
— And Why the Industry Keeps Trying
Anyway
webpronews.com
·
14h
⚙️
Compiler Design
Millets
: A practical memory-safety and thread-safety
experiment
eagledot.xyz
·
4d
·
Discuss:
Lobsters
,
Hacker News
🎯
Escape Analysis
CIPS
Stack – 5 memory systems that give your AI agents
persistent
memory
cipscorps.io
·
2d
·
Discuss:
Hacker News
🗺️
Region Inference
How
StrongDM
’s AI team build
serious
software without even looking at the code
simonwillison.net
·
1h
·
Discuss:
Hacker News
💬
Prompt Engineering
Loading...
Loading more...
Page 2 »
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
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