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
16890
posts in
303.8
ms
BreezyBox
: A
BusyBox-Like
Shell and Virtual Terminal for ESP32
hackaday.com
·
4d
📟
Terminals
Abstract Framework for All-Path
Reachability
Analysis
arxiv.org
·
5d
⏰
Temporal Logic
SEAL: Symbolic Execution with
Separation
Logic (Competition
Contribution
)
arxiv.org
·
4d
🧠
Separation Logic
codx-dev/msgpacker
: MessagePack serializer implementation for Rust / msgpack.org[Rust]
github.com
·
3d
·
Discuss:
Hacker News
🦀
Rust Borrowing
Parassharmaa/agent-fetch
: Sandboxed HTTP client with SSRF protection for AI agents. Prevents DNS
rebinding
, blocks private IPs, and validates every connection — available as a Rust crate and npm package.
github.com
·
2d
·
Discuss:
Hacker News
📦
Container Security
[AWS] Parallel execution of tasks using
Kiro
's custom
subagents
[
Kiro
]
dev.to
·
2d
·
Discuss:
DEV
🌊
Stream Processing
Why
AOSP
teams should bring up a virtual
device
emulatorfarm.com
·
3d
·
Discuss:
Hacker News
🎯
Emulator Accuracy
The 10-Layer Monitoring Framework That Saved Our
Clients
From 3 a.m.
Pages
devops.com
·
4d
👁️
Observatory Systems
The Secret Life of Python: The Safety Net ('
try
' and '
except
')
dev.to
·
2d
·
Discuss:
DEV
🧪
Binary Fuzzing
The Port 19
Chargen
Amplification
Attack on Financial Institutions (2013)
connected.app
·
6d
·
Discuss:
Hacker News
📡
Protocol Forensics
Multi-Paxos
– Consensus in Distributed
Databases
arpitbhayani.me
·
3d
·
Discuss:
Hacker News
🤝
Paxos Consensus
Redis/Valkey
Replication
Internals
: The Architecture Behind Zero-Copy Command Propagation
frostzt.com
·
5d
·
Discuss:
Hacker News
,
r/programming
⚡
Redis Internals
Exactly Once Operations: Why
Idempotency
Belongs
in the Business Layer
equatorops.com
·
3d
·
Discuss:
Hacker News
💾
Persistence Strategies
Claude Code for Infrastructure
fluid.sh
·
5d
·
Discuss:
Hacker News
🤖
Network Automation
HTTP/1.1
From
Scratch
kmcd.dev
·
6d
·
Discuss:
Hacker News
⚡
gRPC
From
ALB
to Caddy - Our
Wandering
Path to Supporting Thousands of Domain Names
fusionauth.io
·
4d
·
Discuss:
Hacker News
🏠
Homelab Federation
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
·
5d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
From
roots
to reach: Network resilience in natural
disasters
blog.apnic.net
·
4d
·
Discuss:
Hacker News
🕸️
Mesh Networking
Show HN:
Rehearse
– a
pytest
like testing library for voice agents
news.ycombinator.com
·
5d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
4d
·
Discuss:
Hacker News
🎯
Performance Proofs
Loading...
Loading more...
« Page 11
•
Page 13 »
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