Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
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
5457
posts in
2.7
ms
Git-style
verification
for LLM
outputs
aelitium.com
·
2d
·
Discuss:
Hacker News
🛡️
seL4
Constructing
Weakly
Terminating
Interface Protocols
arxiv.org
·
1d
↔️
Bisimilarity
TrustAgentAI
– Cryptographic receipts for MCP tool calls (
non-repudiation
layer)
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔒
Protocol Verification
Formal
Verification: The Ultimate
Fitness
Function
lesswrong.com
·
6h
🔍
Formal Verification
Verification
of Robust
Properties
for Access Control Policies
arxiv.org
·
3d
🔍
Formal Verification
Show HN:
SmartVPN
: A VPN That Hides in Plain Sight over
WebSockets
typescript.guru
·
2d
·
Discuss:
Hacker News
🌐
Network Protocols
🦀
Statum
:
Zero-Boilerplate
Compile-Time State Machines in Rust
reddit.com
·
1d
·
Discuss:
r/rust
🏗️
Dune
How
reactive
streams could be
rewritten
using plain Java APIs
linkedin.com
·
12h
·
Discuss:
r/programming
💎
Refinement Types
a Rust-powered
suite
for the smart contract
lifecycle
blocktools.dev
·
22h
·
Discuss:
Hacker News
🧱
Immutable Infrastructure
Surfacing
Hidden Privacy Risks in Code: Lessons from LLM and Retrieval
Assisted
Detection
usenix.org
·
10h
🛡️
seL4
Researchers
disclose
vulnerabilities in IP
KVMs
from four manufacturers
arstechnica.com
·
1d
·
Discuss:
r/homelab
,
r/technews
🖥️
KVM
What’s on
HTTP
?
whatsonhttp.com
·
7h
·
Discuss:
Hacker News
🌐
Network Protocols
Open protocol for shared memory between AI agents,
Specification
published
akashikprotocol.com
·
2d
·
Discuss:
Hacker News
🌐
Network Protocols
A small proposal for mixing
PQ
KEMs
into Noise
runxiyu.org
·
1d
·
Discuss:
Lobsters
⚡
Process Calculi
Deprecating
the DHE
cipher
suite for TLS connections
vercel.com
·
4d
·
Discuss:
Hacker News
🔒
Protocol Verification
creationix/rx
: RX
encoder
, decoder, and CLI data tool
github.com
·
5h
❓
Existential Types
Java 26 lands without an
LTS
badge
. Here’s why developers should care anyway.
thenewstack.io
·
13h
🔄
Reproducible Builds
The
VBAN
TEXT/SERVICE
Subprotocols
blog.onyxandiris.online
·
3d
·
Discuss:
r/programming
🌐
Network Protocols
Less-relevant results
The
IPV4
We
Didn
’t Get
hackaday.com
·
2d
📡
Network Protocol Design
The Invisible Rewrite:
Modernizing
the Kubernetes Image
Promoter
kubernetes.io
·
2d
⎈
Kubernetes
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