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 Systems
Object Capabilities, Access Control, Security Models, seL4
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
17838
posts in
345.1
ms
Specification
Vibing
for Automated Program Repair
arxiv.org
·
15h
🔓
Decompilation
Three
Investigative
Bottlenecks
– Three New Baseline Capabilities
forensicfocus.com
·
4d
🎯
Performance Forensics
Lemon
Agent
Technical
Report
arxiv.org
·
15h
🧩
WASM Components
Categorical
systems
theory
danmackinlay.name
·
6d
🔀
Category Theory
Why
boards
should be
obsessed
with their most ‘boring’ systems
cyberscoop.com
·
5d
🎯
Threat Hunting
Moltbook
, the Social Network for AI Agents,
Exposed
Real Humans’ Data
wired.com
·
3d
🔓
Hacking
Architecture for Flow •
Susanne
Kaiser
& James Lewis • GOTO 2026
youtube.com
·
5d
⚡
Incremental Computation
MicroBlaze
MCS Seven-Segment Counter on
Basys
3 FPGA
hackster.io
·
3d
⚡
Homebrew CPUs
The 10-Layer Monitoring Framework That Saved Our
Clients
From 3 a.m.
Pages
devops.com
·
4d
👁️
Observatory Systems
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
4d
🤝
Consensus Protocols
Trust-Centered Digital Products Through Secure Design — Lessons Informed by Suzanne
Alipourian-Frascogna
future.forem.com
·
4d
·
Discuss:
DEV
🔐
Capability Security
How I Built My Project in
Haskell
dev.to
·
2d
·
Discuss:
DEV
🔗
Functional Compilers
The
Malleability
of Tools: AI Is
Eating
UI
cjroth.com
·
3d
·
Discuss:
Hacker News
📟
CLI Design
How
Automation
Amplifies
System Design
dev.to
·
4d
·
Discuss:
DEV
✨
Algebraic Effects
Tech
Stack
Is a Business Decision
dinkomarinac.dev
·
4d
·
Discuss:
Hacker News
,
r/programming
🔌
Interface Evolution
We are
QA
Engineers
now
serce.me
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
⚙️
Proof Engineering
Sammā
Suit – Open-source security armor for AI agents (all 8 layers
enforced
)
sammasuit.com
·
4d
·
Discuss:
Hacker News
,
Hacker News
🛡️
WASM Sandboxing
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
5d
·
Discuss:
Lobsters
,
Hacker News
⚔️
Lean Tactics
Open
Molten
Claw
idiallo.com
·
4d
·
Discuss:
Hacker News
🔓
Hacking
The one structural shift
CISOs
must make before AI
outpaces
their security strategy
thenewstack.io
·
4d
🔐
Capability Security
Loading...
Loading more...
« Page 18
•
Page 20 »
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