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
🔄 Protocol State Machines
Network Protocols, Finite Automata, Implementation, Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
120923
posts in
971.3
ms
Global Protocols under
Rendezvous
Synchrony: From
Realizability
to Type Checking
arxiv.org
·
1d
📞
Session Types
RFC
9920:
RFC
Editor
Model (Version 3)
rfc-editor.org
·
16h
📡
Protocol Parsers
Proving
What's Possible
buttondown.com
·
19h
📜
Proof Languages
Proof-oriented
Programming in F*
fstar-lang.org
·
10h
·
Discuss:
Lobsters
⚡
functional programming
Implementation of Polynomial
NP-Complete
Algorithms Based on the
NP
Verifier
Simulation Framework
arxiv.org
·
9h
🧩
SAT Solvers
An
async
HTTP server in ~80 lines of modern C++ (
coroutines
)
vixcpp.com
·
6h
·
Discuss:
Hacker News
🔄
Coroutines
When One AI
Designs
Communication
Protocols
for Another
dev.to
·
1d
·
Discuss:
DEV
📡
Binary Protocols
Trusting
Trust in the
Fediverse
evilmaid.net
·
20h
·
Discuss:
Hacker News
📦
Message Serialization
Model Context
Protocol
developers.openai.com
·
19h
📡
Protocol Parsers
Formal
Verification Fundamentals Remain
Non-Negotiable
In The New Verification Revolution
semiengineering.com
·
6h
🧩
SAT Solvers
RAGtime-PIANO
: Efficient Secure Remote RAG
eprint.iacr.org
·
18h
🔢
Bit Manipulation
Comparing
0bcf36e6b0
..
.029426981f
github.com
·
1h
⚙️
Configuration Parsing
HTTP/2
From
Scratch
: Part 1
kmcd.dev
·
1d
🌍
Minimal HTTP
Dear
Agent:
Prove
it.
rijnard.com
·
10h
·
Discuss:
Hacker News
⚖️
Inference Rules
Fast Museum Searches: Go
Concurrency
and
Caching
pkg.go.dev
·
22h
·
Discuss:
DEV
🗑️
Stack Scanning GC
JUXT
Blog: From
specification
to stress test: a weekend with Claude
juxt.pro
·
1d
·
Discuss:
Hacker News
📡
Erlang BEAM
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
12h
·
Discuss:
Hacker News
🔮
Clojure
Architecting
Durable AI Agents: Solving the
Volatile
State Problem
dev.to
·
23h
·
Discuss:
DEV
🎭
Erlang OTP
RFC
2549: IP over
Avian
Carriers with Quality of Service
rfc-editor.org
·
17h
📡
Protocol Stacks
RobIW-dev/aist-protocol
: Open protocol for preserving AI project state across sessions. 60x compression. Model-agnostic. Plain text.
github.com
·
17h
·
Discuss:
Hacker News
🌐
Network Protocols
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