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
80678
posts in
461.5
ms
Frequency-domain approach to automated and efficient
multivariate
kernel density estimation for
probabilistic
modeling
sciencedirect.com
·
2h
⚖️
Weighted Automata
Maximum
fun: Top 10 multi-Mac
setups
cultofmac.com
·
1d
🖥️
Minimal VMs
ManifoldKV
: Training-Free KV Cache Compression via
Euclidean
Outlier Detection
arxiv.org
·
13h
🗺️
Region Inference
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
16h
·
Discuss:
Hacker News
🎲
Test Generators
PBLean
:
Pseudo-Boolean
Proof Certificates for Lean 4
arxiv.org
·
13h
🧩
SAT Solvers
Building a
BMO
Local AI Agent
blog.adafruit.com
·
2d
🏛️
Elm Architecture
The Tech
Stack
I Use to Build and
Ship
Projects Fast as a Web Developer
convex.dev
·
7h
·
Discuss:
DEV
⚡
Live Coding
C and
Undefined
Behaviour
lelanthran.com
·
2d
·
Discuss:
Hacker News
,
r/C_Programming
,
r/programming
🌊
Gradual Effects
Deobfuscation
and Analysis of
Ring-1.io
back.engineering
·
1d
·
Discuss:
Hacker News
📜
Bytecode Interpreters
Claw
Cognition
: Design how your AI thinks
producthunt.com
·
15h
🎭
Program Synthesis
How to Keep What You Built
Together
claudepress.substack.com
·
11h
·
Discuss:
Substack
🧩
Persistent Vectors
How One Engineer Turned Saudi Cloud
Compliance
from a 6-Month
Bottleneck
into a 2-Week Workflow
hackernoon.com
·
5h
🌐
WASM Runtimes
The Security
Gap
in MCP: The Hidden Risks No One Is
Talking
About
memgraph.com
·
3d
·
Discuss:
Hacker News
🔐
Capability Protocols
The Future of Systems
novlabs.ai
·
3d
·
Discuss:
Hacker News
📋
Task Queues
A Request for Comment on the
Connex
AGI
Architecture
dev.to
·
1d
·
Discuss:
DEV
📋
Task Queues
Leveraging io_
uring
for
performant
asynchronous linux applications.
dev.to
·
1d
·
Discuss:
DEV
⏱️
Async Runtimes
abdimoallim/alloc
: A header-only C allocator library
github.com
·
2d
·
Discuss:
Hacker News
,
r/C_Programming
🧠
Memory Allocators
Recursive
Deductive
Verification: A framework for reducing AI
hallucinations
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🪜
Recursive Descent
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔒
Rust Borrowing
We Build Software for
Humans
— Not for
Machines
. And That’s a Problem.
medium.com
·
1d
·
Discuss:
r/programming
🎮
Language Ergonomics
Loading...
Loading more...
« Page 17
•
Page 19 »
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