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
112486
posts in
840.1
ms
Markovian
protocols and an upper bound on the extension complexity of the matching
polytope
arxiv.org
·
15h
⏭️
Skip Lists
Implementability
of Global Distributed Protocols
modulo
Network Architectures
arxiv.org
·
1d
📡
Binary Protocols
My
Skill
Makes Claude Code GREAT At
TDD
aihero.dev
·
4h
🧪
Compiler Testing
You're Already Building
Petri
Nets. You're Just Building Them
Badly
.
joshtuddenham.dev
·
14h
·
Discuss:
Hacker News
🔀
Control Structures
Model Context
Protocol
developers.openai.com
·
2d
📡
Protocol Parsers
Trusting
Trust in the
Fediverse
evilmaid.net
·
2d
·
Discuss:
Hacker News
📦
Message Serialization
An
async
HTTP server in ~80 lines of modern C++ (
coroutines
)
vixcpp.com
·
1d
·
Discuss:
Hacker News
🔄
Coroutines
Show HN:
Rembus
– Distributed Messaging (
Julia
, Python)
cardo-org.github.io
·
6h
·
Discuss:
Hacker News
📡
Erlang BEAM
keplertech/kepler-formal
:
LEC
- Logic Equivalence Checking - Formal Verification
github.com
·
9h
·
Discuss:
Hacker News
📐
Standard ML
Formal
Methods
Practice and Theory
adacore.com
·
3d
·
Discuss:
Hacker News
🎯
Symbolic Execution
Gemini Links 13/02/2026: Square Function with
Diode
Network and Calls Against
Discord
techrights.org
·
6h
🌐
Network Protocols
Reflections on
prototyping
a
sysadmin
benchmark
samek.fyi
·
43m
⚡
Performance
Dear
Agent:
Prove
it.
rijnard.com
·
1d
·
Discuss:
Hacker News
⚖️
Inference Rules
RAGtime-PIANO
: Efficient Secure Remote RAG
eprint.iacr.org
·
2d
🔢
Bit Manipulation
The
prehistory
of generative grammar and
Chomsky
’s debt to Emil Post
benjamins.com
·
23h
·
Discuss:
Hacker News
🎰
Parsing Machines
Network Digital
Twins
: Net Generation Active Control for
Telecoms
telecomramblings.com
·
11h
🔐
Capability Protocols
Building
Reliable
Software:
Planning
for Things to Break
saleor.io
·
5h
·
Discuss:
DEV
🚂
Error Propagation
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
1d
·
Discuss:
Hacker News
🔮
Clojure
Fun with
TypeScript
Generics
frontendmasters.com
·
3h
🔧
API Design
Our AI Orchestration Frameworks Are
Reinventing
Linda
(1985)
otavio.cat
·
7h
·
Discuss:
Hacker News
📡
Erlang
Loading...
Loading more...
« Page 1
•
Page 3 »
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