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
8104
posts in
95.3
ms
Implementability
of Global Distributed Protocols
modulo
Network Architectures
arxiv.org
·
1d
🌐
NetworkProtocols
Proving
What's Possible
buttondown.com
·
1d
🔍
Formal Verification
Information
Abstraction
for Data
Transmission
Networks based on Large Language Models
arxiv.org
·
1d
🧩
Parser Combinators
Basic
Legibility
Protocols
Improve Trusted Monitoring
lesswrong.com
·
22h
🔒
Protocol Verification
A simple and
ultrafast
reverse-proxy serving multiple domain names with TLS
termination
rpxy.io
·
1d
🌐
NetworkProtocols
The case for
industrial
evals
lesswrong.com
·
14h
🧪
Property-Based Testing
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
2d
·
Discuss:
Lobsters
🐫
Embedded OCaml
Building a Modular Python Application with
apywire
and
starlette
alganet.github.io
·
14h
·
Discuss:
Hacker News
🧱
Immutable Infrastructure
Ditching
the Debug Probe: Using a
Segger
J-Link with a Raspberry Pi Pico
linuxjedi.co.uk
·
18h
·
Discuss:
Hacker News
🔧
Microcontrollers
Launching
Interop
2026 –
Mozilla
Hacks
hacks.mozilla.org
·
23h
·
Discuss:
Lobsters
,
Hacker News
,
r/firefox
🔤
Language Design
How I Learned to Stop
Worrying
and Love
OpenClaw
jpreagan.com
·
10h
·
Discuss:
Hacker News
🛡️
macOS Security
TRAMP
2.8.1 User
Manual
gnu.org
·
1d
·
Discuss:
Hacker News
💬
Mach Messages
20 Years of
Varnish
: A Cloud-Native Distribution (In-Core TLS,
K8s
Gateway API)
info.varnish-software.com
·
1d
·
Discuss:
Hacker News
🐳
Containerization
You Don't Need It
moq.dev
·
1d
·
Discuss:
Hacker News
🛡️
seL4
Poisoning
scraperbots
with
iocaine
lwn.net
·
18h
·
Discuss:
Hacker News
🔒
Protocol Verification
The programming language after
Kotlin
– with the
creator
of
Kotlin
newsletter.pragmaticengineer.com
·
20h
·
Discuss:
Lobsters
,
Hacker News
⚙️
Compiler Design
Trusting
Trust in the
Fediverse
evilmaid.net
·
1d
·
Discuss:
Hacker News
🌐
ActivityPub
OpenClaw
: The AI Agent Security Crisis
Unfolding
Right Now
reco.ai
·
4h
·
Discuss:
Hacker News
🛡️
macOS Security
Hare
0.26.0 released
harelang.org
·
16h
·
Discuss:
Lobsters
,
Hacker News
🏗️
Dune
pipe live
BGP
sessions through Python, add
RPKI
, etc.
bgpipe.org
·
3d
·
Discuss:
Hacker News
🌐
NetworkProtocols
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