Skip to main content
Scour
Browse
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
Hot
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
78270
posts in
244.9
ms
From Trees to Tree-Like: Distribution and Synthesis for
Asynchronous
Automata
arxiv.org
·
18h
🌳
Tree Walking
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Multi-Modal Program
Verification
in
Velvet
proofsandintuitions.net
·
23h
·
Discuss:
Hacker News
🧮
Theorem Provers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
a
transport
layer
for agentic apps
ably.com
·
2h
·
Discuss:
Hacker News
📮
Message Queues
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Complexity of Model Checking Second-Order
Hyperproperties
on
Finite
Structures
arxiv.org
·
18h
🎲
Property Testing
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Real-Time Data Stream Processing in Go:
Backpressure
,
Windowing
, and Fault Tolerance Explained
dev.to
·
9h
·
Discuss:
DEV
📡
Async Channels
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Simplex
, a workflow
specification
language for autonomous agents
github.com
·
1d
·
Discuss:
Hacker News
🎭
Program Synthesis
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Diffie-Hellman
Key Exchange
denvaar.dev
·
20h
🔗
Hash Functions
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Type-Safe
Routing
Without the Build Step
werkbank.dev
·
5h
·
Discuss:
Hacker News
⚙️
TOML Parsers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Building a Real-Time HN
Display
for $15
medium.com
·
22h
·
Discuss:
Hacker News
📡
Protocol Stacks
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Making an
LSP
for great good
thunderseethe.dev
·
23h
·
Discuss:
Lobsters
,
Hacker News
✨
Gleam
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Show HN: IP over
Avian
Carriers
with Quality of Service
rfc-editor.org
·
1d
·
Discuss:
Hacker News
📡
Protocol Stacks
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
network library for C/C++
mongoose.ws
·
13h
·
Discuss:
Hacker News
📡
Network Serialization
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Experimental
Demonstration
of High-Fidelity
Logical
Magic States from Code Switching
link.aps.org
·
15h
📡
Binary Protocols
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Pavis
: A Dumb Proxy for Boring
Reloads
fabian4.site
·
7h
·
Discuss:
Hacker News
🦀
MIR Optimization
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Get Closer So I Can
Hear
the
Birds
terratauri.com
·
2h
·
Discuss:
Hacker News
🔄
Bootstrapping
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Rust async
combinators
for
elegant
and secure concurrency
kerkour.com
·
17h
·
Discuss:
r/rust
🪆
Embedded DSLs
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
MCP is Not the Problem, It's your Server: Best
Practices
for Building MCP
Servers
philschmid.de
·
23h
🛡️
Capability VMs
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Dealing
with
alternatives
jemarch.net
·
1d
🔢
Binary Formats
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Setting Up A Cluster of Tiny PCs For
Parallel
Computing - A Note To
Myself
kenkoonwong.com
·
4h
·
Discuss:
Hacker News
🔀
SIMD Programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
🔬 Research-Grade Context Engineering This material
represents
high-performance prompt research results designed based on Advanced
Logical
Architectures. 📜 Ma...
freederia.com
·
1d
🎯
Finite Automata
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
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