Network Protocol Design

Feeds to Scour
SubscribedAll
Scoured 89 posts in 5.2 ms

[Podcast] The Erik protocol: Improving RPKI data fetch

 📡Network Protocols  Content type: Blog
blog.apnic.net·

What Is a Man-in-the-Middle Attack? A Cloud Security Guide

 🌐computer networking
orca.security·

Azerbaijan, China trade grows 6.1% in 4M2026

 📡Network Protocols
trend.az·

Amazon partnership establishes Cornell AI security initiative

 QUIC Protocol  Content type: News  Content type: Academic
news.cornell.edu·

A full list of our public-facing servers is available at <a href="https://grapheneos.org/articles/grapheneos-servers" target="_blank" rel="nofollow noopener"...

 📡Network Protocols
grapheneos.social·

AAuth Protocol

 📡Network Protocols

RakSmart Cheap VPS from $1.49/month & Dedicated Server from $39.90/month - Available this June!

 📡Network Protocols  Content type: Discussion
lowendtalk.com·

Microsoft patches record 200-plus vulnerabilities as AI accelerates bug discovery

 📡Network Protocols
siliconangle.com·

Subversion-Resistance for Free from Formal Verification

 QUIC Protocol
lesswrong.com·

VPP and eVPN/VxLAN - Part 2

 🌐computer networking
ipng.ch·

Programming Languages Software Award

 📡Network Protocols
sigplan.org·

Correct-by-Construction Design of Timed Systems in Event-B

 📡Network Protocols  Content type: Academic
arxiv.org·

Forms of Open Source Government

 📡Network Protocols  Content type: Blog
nesbitt.io··Lobsters
Less-relevant results

Record Microsoft Patch Tuesday, fresh zero-day

 🌐computer networking
helpnetsecurity.com·

Programming Languages Course Reboot, 2026

 📡Network Protocols  Content type: Reference

The RIPE Chair Team Reports - Highlights from RIPE 92

 📡Network Protocols
labs.ripe.net·

Go experiments, explained

 📡Network Protocols
golangweekly.com·

Human Judgment as a Specification

 🇨Mandarin  Content type: Blog
blog.brownplt.org·

bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test

 QUIC Protocol  Content type: Code
github.com··Hacker News

eXtremeDB/rt, the Only COTS Hard Real-Time DBMS, Slashes Memory Footprint and Advances Flash Simulation Capabilities

 📡Network Protocols  Content type: News
einpresswire.com·

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