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
🔒 Language-based security
information-flow
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
16860
posts in
900.8
ms
DNS-PERSIST-01
; Handling Domain Control Validation in a short-lived
certificate
World
scotthelme.ghost.io
·
20h
🌐
DNS over QUIC
Beyond Function-Level Analysis: Context-Aware Reasoning for
Inter-Procedural
Vulnerability
Detection
arxiv.org
·
1d
🔒
WASM Capabilities
Beyond
Login
Screens
: Why Access Control Matters
blog.sucuri.net
·
3d
🔐
Capability Security
CVE-2026-1731: Critical Unauthenticated Remote Code Execution in
BeyondTrust
Remote Support (RS) and
Privileged
Remote Access (PRA)
rapid7.com
·
19h
🧪
CBOR Fuzzing
I got
bored
and had Claude design and
implement
a programming language
github.com
·
5h
·
Discuss:
Hacker News
🔗
Concatenative Programming
The
Styx
Architecture for
Distributed
Systems (1999)
inferno-os.org
·
1d
·
Discuss:
Hacker News
📡
Network Protocol Design
eBPF
Gives You
Packets
. Here's How We Turn Them Into Security Insights
akashmandal001.substack.com
·
1d
·
Discuss:
Substack
🛡️
eBPF Security
What
Functional
Programmers
Get Wrong About Systems
iankduncan.com
·
19h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
⚖️
Verification Calculi
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
12h
·
Discuss:
Hacker News
🧪
Property-Based Testing
Why
securing
AI model
weights
isn’t enough
the-substrate.net
·
17h
·
Discuss:
Hacker News
🕵️
Vector Smuggling
TamperBench
:
Systematically
Stress-Testing LLM Safety Under Fine-Tuning and Tampering
arxiv.org
·
1d
🧪
Binary Fuzzing
The control
layer
for AI
blog.dottxt.ai
·
3d
·
Discuss:
Hacker News
🔒
WASM Capabilities
The Hidden Cost of “Event-Driven Everything”: Why Most Systems Don’t Need
Kafka
(Yet)
dev.to
·
1d
·
Discuss:
DEV
🌊
Streaming Systems
SecureShellClaw
: A Prompt-Injection-Resistant Alternative Approach to
OpenClaw
jona.ca
·
1d
·
Discuss:
Hacker News
🛡️
CLI Security
My
Workflow
for
Agentic
Coding
szymonkrajewski.pl
·
1d
⚔️
Lean Tactics
Graph
algebra
en.wikipedia.org
·
10h
🔄
Graph Rewriting
wareya/pred
_
recdec
: Predicated LL (recursive descent) parser in pure rust
github.com
·
1d
·
Discuss:
Hacker News
🔗
Parser Combinators
Designing
MCP tool
schemas
that LLMs understand
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔗
Constraint Handling
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
19h
⚔️
Lean Theorem
OpenClaw
: I gave an AI my credit card and let it
loose
on Amazon
codedojo.com
·
22h
·
Discuss:
Hacker News
🔓
Hacking
Loading...
Loading more...
« Page 2
•
Page 4 »
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