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
9386
posts in
377.1
ms
The End of
IPFS
: Centralized Pinning Single Points of Failure, Cryptographic Hash Backdoors, DDoS Exploitation, and Gossip-Based Distributed Node
Eradication
zenodo.org
·
6h
·
Discuss:
Hacker News
🐳
Containerization
creact-labs/creact
:
CReact
is a meta-runtime for building domain-specific,
reactive
execution engines.
github.com
·
1d
·
Discuss:
r/node
,
r/reactjs
🔧
ppx
Technical
writeup
: Implementing Discord’s rate
limiting
, gateway management, and “clarity over magic”
scurry-works.github.io
·
14h
·
Discuss:
r/programming
🌐
ActivityPub
Building
Reliable
AI Applications: A
Validation
Strategy
dev.to
·
18h
·
Discuss:
DEV
🔀
Brzozowski Derivatives
Show HN:
SubAnalyzer
subdomain
discovery and external attack surface map tool
subanalyzer.com
·
9h
·
Discuss:
Hacker News
🛡️
macOS Security
SecureShellClaw
: A Prompt-Injection-Resistant Alternative Approach to
OpenClaw
jona.ca
·
3h
·
Discuss:
Hacker News
🛡️
macOS Security
Deobfuscation
and Analysis of
Ring-1.io
back.engineering
·
9h
·
Discuss:
Hacker News
📦
Unikernel Systems
Show HN:
A2A
Protocol
– Infrastructure for an Agent-to-Agent Economy
news.ycombinator.com
·
20h
·
Discuss:
Hacker News
🌊
Coalgebra
wareya/pred
_
recdec
: Predicated LL (recursive descent) parser in pure rust
github.com
·
7h
·
Discuss:
Hacker News
🧩
Parser Combinators
Running Your Own AS: BGP on FreeBSD with
FRR
,
GRE
Tunnels, and Policy Routing
blog.hofstede.it
·
14h
·
Discuss:
Lobsters
,
Hacker News
📡
Network Protocol Design
Extracting
Xcode
's Claude Code Prompt
jackpearce.co.uk
·
1d
·
Discuss:
Hacker News
💻
CLI Tools
Setting
Up an
IRC
Server
neatnik.net
·
5h
·
Discuss:
Hacker News
💬
Mach Messages
A simple load
balancer
from scratch written in
Golang
dev.to
·
17h
·
Discuss:
DEV
📡
Network Protocol Design
SEAL: Symbolic Execution with
Separation
Logic (Competition
Contribution
)
arxiv.org
·
2d
🧩
Separation Logic
How Meta turned the Linux Kernel into a planet-scale
Load
Balancer
. Part I
softwarefrontier.substack.com
·
1d
·
Discuss:
Substack
⚙️
Operating System Design
Sony
Ericsson
Course
Material
(2012)
systemicsoftwaredebugging.com
·
7h
·
Discuss:
Hacker News
🔬
Reverse Engineering
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
✓
Automated Theorem Proving
How to Reduce
Telemetry
Volume by 40%
Smartly
newsletter.signoz.io
·
19h
·
Discuss:
r/programming
👁️
Observability
Docker versus
Nix
: The quest for true
reproducibility
thenewstack.io
·
1d
❄️
Nix Flakes
Showcase: "act" - A lightweight Go library for
cleaner
error
handling
- my take on the Go error
handling
discussion
reddit.com
·
1d
·
Discuss:
r/golang
📦
Opam
Loading...
Loading more...
Page 2 »
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