Network Protocol Design

Feeds to Scour
SubscribedAll
Scoured 62 posts in 12.3 ms

DNS-Aid

 🌐DNS Security  Content type: Code
github.com··Hacker News

DNS over Avian Carriers (DoAC)

 📡DNS Archaeology

Secrets Best Not Shared: DNS Privacy Enhancements for the Constrained IoT

 🌐Network Protocols  Content type: Academic
arxiv.org·

Nginx tuning tips: HTTPS/TLS - Turbocharge TTFB/Latency

 🌐Network Protocols  Content type: Blog

How the AI Computing Paradigm Is Deconstructing Internet Governance

 📡BGP Archaeology
circleid.com·

IETF LLC Board Retreat 2026

 📝ABNF Parsing  Content type: Blog
ietf.org·

IPv8 looked like a real plan to fix the internet, but it was one man, an AI chatbot, and a GoFundMe page

 🔌Interface Evolution
xda-developers.com·

How Your Computer Finds Your Packets Without Knowing You

 🌐Network Protocols
siliconopera.com·

DB Nerds – Try this out

 📋Formal Verification
kesseldb.com··Hacker News

Show HN: HTTP/3 and raw QUIC client/server APIs for Node.js

 🌐Network Protocols  Content type: Code
github.com··Hacker News

CMoSS: Composable Modular Security Specifications Framework

 🇸🇪Nordic Cryptography
eprint.iacr.org·

AAuth Protocol

 🐧FOSS

The Economics of Protocol Design: Proposing Lightning over Ark by Rene Pickhardt

 🌐Network Security  Content type: Video
youtube.com·

Go experiments, explained

 🧬Functional Programming
golangweekly.com·

Fake-AP – Bash script for a rogue Wi-Fi AP with live client/DNS telemetry

 📡Network Monitoring  Content type: Code
github.com··Hacker News

Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation

 Formal Methods  Content type: Academic
arxiv.org·

Fanju6/NetProxy-Magisk: Based on the sing-box core, this Android proxy module supports one-click start/stop of transparent proxy and is designed for Android devices.

 🌐Network Protocols  Content type: Code
github.com·

x1colegal/USTP-Secure: Secure (with AEAD) version of USTP, called USTP-Secure (ustps://)

 🌐Network Protocols  Content type: Code
github.com··Hacker News

TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation

 Formal Methods  Content type: Academic
arxiv.org·

squillo/aph: APH - Agent per Human Notarization Protocol

 🌐NetworkProtocols  Content type: Code
github.com··Hacker News

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help