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
81228
posts in
612.1
ms
Kernel-Level
Stealthy
Observation of
TTY
Streams
blog.cybervelia.com
·
9h
·
Discuss:
Hacker News
💻
Terminal Emulators
Testing a 6200 and
comparison
with 6100
68kmla.org
·
16h
⏱️
Real-Time GC
ToolSelf
: Unifying Task Execution and
Self-Reconfiguration
via Tool-Driven Intrinsic Adaptation
arxiv.org
·
15h
🪜
Recursive Descent
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
15h
🧮
Theorem Provers
Ultrasound-Activated
Nonvolatile
State Storage in
Piezoelectric-Memristive
Core-Shell Particles: A Theoretical Framework
zenodo.org
·
23h
·
Discuss:
Hacker News
🗺️
Region Polymorphism
A Software Engineer’s
Wish
List for
CS
Research
laser-coder.net
·
1d
·
Discuss:
Hacker News
🎨
Domain-Specific Languages
Manufacturing
QMS
Software
samrian.com
·
1d
·
Discuss:
Hacker News
✅
Configuration Validation
gharasathi
(
घर
ासाठी) — A Privacy-First Household AI Running on a $200 Mini PC
amazon.com.au
·
2d
·
Discuss:
DEV
💬
Smalltalk VMs
The Myth of “Known APIs”: Why
Inventory-First
Security Models Are Already
Obsolete
lab.wallarm.com
·
1d
🔧
API Design
Sneaky
quokka
: Testing and debugging with LLMs
honnibal.dev
·
11h
🧪
Parser Testing
Cisco
Redefines
Security for the Agentic Era with AI Defense Expansion and AI-Aware
SASE
prnewswire.com
·
12h
🔐
Capability Protocols
The "
Stateful
Island" Paradox:
Architecting
Astro for Enterprise Scale
dev.to
·
7h
·
Discuss:
DEV
🥾
Compiler Bootstrapping
Anatomy
of a
5-Layer
Defence Pipeline for AI Agent Memory
dev.to
·
3d
·
Discuss:
DEV
📏
Linear Memory
Rise of the
Cowboy
Coder
jollycoder.com
·
19h
·
Discuss:
Hacker News
📚
Self-Documenting Code
Authentication in 2026 - moving beyond
foundational
MFA
to tackle the new era of attacks
techradar.com
·
5h
🛡️
Capability Security
Agentic
Tool
Patterns
– 54
patterns
for building tools LLM agents can use
blog.arcade.dev
·
1d
·
Discuss:
Hacker News
✅
Configuration Validation
Show HN:
Kore
– Stack based language where
compiler
is the reward function
github.com
·
16h
·
Discuss:
Hacker News
🚀
Code Motion
Hope Is Not a Security Strategy: Why
Secure-by-Default
Beats
Hardening
tuananh.net
·
1d
🛡️
Capability Security
IAM
Sentinel
: Bridging AI Reasoning with AWS Security Compliance
github.com
·
1d
·
Discuss:
DEV
🛡️
Capability VMs
Passing the
Torch
: Reflections on ARC’s Journey and the Future of
Specialized
Processing
eetimes.com
·
12h
🌊
Dataflow Languages
Loading...
Loading more...
« Page 7
•
Page 9 »
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