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
🌐 NetworkProtocols
TLS, Formal Specification, Protocol State Machines, Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
17101
posts in
159.3
ms
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
6h
·
Discuss:
Hacker News
🧪
Property-Based Testing
The End of
IPFS
: Centralized Pinning Single Points of Failure, Cryptographic Hash Backdoors, DDoS Exploitation, and Gossip-Based Distributed Node
Eradication
zenodo.org
·
1d
·
Discuss:
Hacker News
🌐
IPFS
Building a Lightweight, Secure Infra Cluster Monitor with
InfluxDB
and
Grafana
pixelstech.net
·
1d
📊
Homelab Monitoring
SHIELD.md
: A Security Standard for
OpenClaw
and AI Agents
blog.securitybreak.io
·
1d
🛡️
CLI Security
Show HN:
AetherLang
– A
DSL
for building AI workflows with visual debugging
github.com
·
6h
·
Discuss:
Hacker News
✨
Effect Handlers
A simple load
balancer
from scratch written in
Golang
dev.to
·
1d
·
Discuss:
DEV
⚡
gRPC
LLMs
Refuse
High-Cost Attacks but Stay
Vulnerable
to Cheap, Real-World Harm
expectedharm.github.io
·
3h
·
Discuss:
Hacker News
🛡️
WASM Sandboxing
Sleeper Shells: How Attackers Are Planting Dormant Backdoors in
Ivanti
EPMM
defusedcyber.com
·
17h
·
Discuss:
Hacker News
📦
Container Security
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
3d
🤝
Consensus Protocols
Deobfuscation
and Analysis of
Ring-1.io
back.engineering
·
1d
·
Discuss:
Hacker News
🔒
Secure Boot
An introduction to
lockless
algorithms [
LWN.net
]
lwn.net
·
20h
⚡
Hardware Transactional Memory
Reducing
Technical
Debt: Top Five Coding Resources
loufranco.com
·
17h
📏
Code Metrics
How
StrongDM
’s AI team build
serious
software without even looking at the code
jmason.ie
·
21h
⚔️
Lean Tactics
A Note on
Flat
Abstract
Syntax
Trees
gist.github.com
·
13h
·
Discuss:
Hacker News
🔗
Monadic Parsing
Show HN:
SubAnalyzer
subdomain
discovery and external attack surface map tool
subanalyzer.com
·
1d
·
Discuss:
Hacker News
🕵️
Domain Enumeration
CVE-2026-1731: Critical Unauthenticated Remote Code Execution in
BeyondTrust
Remote Support (RS) and
Privileged
Remote Access (PRA)
rapid7.com
·
13h
🧪
CBOR Fuzzing
I2PChat
| Secure P2P Instant
Messenger
vituperative.github.io
·
4h
·
Discuss:
Hacker News
📞
WebRTC
A Software Engineer’s
Wish
List for
CS
Research
laser-coder.net
·
14h
·
Discuss:
Hacker News
🔩
Systems Programming
Zero-Trust Runtime Verification for Agentic Payment Protocols: Mitigating Replay and
Context-Binding
Failures in
AP2
arxiv.org
·
1d
🌳
Archive Merkle Trees
Graph
algebra
en.wikipedia.org
·
4h
🔄
Graph Rewriting
Loading...
Loading more...
« Page 1
•
Page 3 »
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