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
17172
posts in
352.0
ms
BreezyBox
: A
BusyBox-Like
Shell and Virtual Terminal for ESP32
hackaday.com
·
3d
📟
Terminals
Topological
Semantics
for Common
Inductive
Knowledge
arxiv.org
·
1d
🔢
Denotational Semantics
Abstract Framework for All-Path
Reachability
Analysis
arxiv.org
·
5d
⏰
Temporal 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
RFC 3284: The
VCDIFF
Generic
Differencing
and Compression Data Format
datatracker.ietf.org
·
6d
·
Discuss:
Hacker News
△
Delta Compression
Multi-Paxos
– Consensus in Distributed
Databases
arpitbhayani.me
·
3d
·
Discuss:
Hacker News
🤝
Paxos Consensus
The 10-Layer Monitoring Framework That Saved Our
Clients
From 3 a.m.
Pages
devops.com
·
3d
👁️
Observatory Systems
The Secret Life of Python: The Safety Net ('
try
' and '
except
')
dev.to
·
2d
·
Discuss:
DEV
🧪
Binary Fuzzing
Exactly Once Operations: Why
Idempotency
Belongs
in the Business Layer
equatorops.com
·
3d
·
Discuss:
Hacker News
💾
Persistence Strategies
From
ALB
to Caddy - Our
Wandering
Path to Supporting Thousands of Domain Names
fusionauth.io
·
4d
·
Discuss:
Hacker News
🏠
Homelab Federation
Postman
: From API
Client
to “Everything App”
codingismycraft.blog
·
4d
·
Discuss:
Hacker News
🔌
Interface Evolution
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
·
5d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
HTTP/1.1
From
Scratch
kmcd.dev
·
6d
·
Discuss:
Hacker News
⚡
gRPC
Claude Code for Infrastructure
fluid.sh
·
5d
·
Discuss:
Hacker News
🤖
Network Automation
We
switched
to a 5x
cheaper
LLM. Our costs went up.
gitar.ai
·
3d
·
Discuss:
Hacker News
🔌
Interface Evolution
RAG on
Ruby
on
Rails
jessewaites.com
·
4d
·
Discuss:
Hacker News
📡
Feed Archaeology
Pydantic
Performance: 4 Tips on How to Validate Large
Amounts
of Data Efficiently
towardsdatascience.com
·
3d
✅
Format Verification
From
roots
to reach: Network resilience in natural
disasters
blog.apnic.net
·
4d
·
Discuss:
Hacker News
🕸️
Mesh Networking
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
3d
·
Discuss:
Hacker News
🎯
Performance Proofs
Loading...
Loading more...
« Page 10
•
Page 12 »
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