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
🌐 Network Protocols
HTTP/3, QUIC, Protocol Parsing, State Machines
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8132
posts in
77.9
ms
https://
blog.matthewcodes.dev/wp-content/uploads/2026/02/computer-comms.png
How computer systems talk – part one:
sockets
and websockets
blog.matthewcodes.dev
·
13h
·
Discuss:
r/programming
📡
Network Protocol Design
Designing and Comparing
RPQ
Semantics
arxiv.org
·
7h
⚙
Operational Semantics
Building an Embedding API with Rust, Arm, and
EmbeddingGemma
on AWS
Lambda
sobolev.substack.com
·
1h
·
Discuss:
Substack
🏗️
Dune
Validate
AI agent
endpoints
across 8 protocols in one URL
agentprobe.xyz
·
4h
·
Discuss:
Hacker News
🔒
Protocol Verification
Software Testing at the Network
Layer
: Automated
HTTP
API Quality Assessment and Security Analysis of Production Web Applications
arxiv.org
·
3d
🔒
Protocol Verification
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
3d
🌐
NetworkProtocols
An
async
HTTP server in ~80 lines of modern C++ (
coroutines
)
vixcpp.com
·
1d
·
Discuss:
Hacker News
🔧
ppx
Proof-oriented
Programming in F*
fstar-lang.org
·
1d
·
Discuss:
Lobsters
🔗
Curry-Howard
A
Conceptual
Framework for Exploration
Hacking
lesswrong.com
·
19h
🐫
OCaml
aprxi/talu
:
Talu
is a single-binary, local-first LLM runtime with a Zig core and multi-language bindings — CLI, Python API, HTTP server, plugin-extensible Web UI, structured output, quantization, embeddings, and unified local/remote model routing.
github.com
·
20h
·
Discuss:
Hacker News
🐫
Embedded OCaml
polished
light app and automation based on
Zigbee2MQTT
lightlynx.eu
·
12h
·
Discuss:
Hacker News
💻
QEMU
Technical "
whitepaper
" for
afl-fuzz
lcamtuf.coredump.cx
·
21h
·
Discuss:
Lobsters
🔧
Unikernel Development
Go -
Unit
&
Integration
Testing
linkedin.com
·
1d
·
Discuss:
r/programming
🧪
Property-Based Testing
SMTP
server from scratch in Go –
FSM
, raw TCP, and buffer-oriented I/O
news.ycombinator.com
·
2h
·
Discuss:
Hacker News
🌐
NetworkProtocols
A simple and
ultrafast
reverse-proxy serving multiple domain names with TLS
termination
rpxy.io
·
1d
🌐
NetworkProtocols
Basic
Legibility
Protocols
Improve Trusted Monitoring
lesswrong.com
·
18h
🔒
Protocol Verification
Germ
DM
for AT Protocol is Live!
germnetwork.com
·
15h
·
Discuss:
Hacker News
🔒
Protocol Verification
The
Fourth
Wave
of Computing
lucibrowser.com
·
2h
·
Discuss:
Hacker News
🐫
Embedded OCaml
Changelog
& Version History
goaccess.io
·
3h
·
Discuss:
Hacker News
📦
Opam
The Power of 'No' in Internet
Standards
mnot.net
·
12h
·
Discuss:
Hacker News
📡
Network Protocol Design
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