📡 Network Protocol Design

✅Formal Methods Academic

arxiv.org·

Omnifs: APIs and data sources as files you can ls, cat, grep, and pipe

🕸️WebAssembly

omnifs.dev··Hacker News

DB Nerds – Try this out

📋Formal Verification

kesseldb.com··Hacker News

The RIPE Chair Team Reports - Highlights from RIPE 92

🏠Personal Archiving

labs.ripe.net·

The Anatomy of a Learning Stall

✅CDDL Validation Blog

tagide.com··Lobsters, Hacker News, Hacker News, Hacker News

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

📡Network Monitoring Code

github.com··Hacker News

Non-Human Identity for workloads: Securing the next phase of automation

🔒Hardware Attestation Blog

blog.apnic.net·

AAuth Protocol

🐧FOSS

datatracker.ietf.org··Hacker News

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 Code

github.com·

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

✅Formal Methods Academic

arxiv.org·

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

🌐Network Protocols Code

github.com··Hacker News

Block-A-Mole: The Sustainability Frontier of Moving-Target Censorship Resistance

🌐Network Protocols Academic

arxiv.org·

FuseFSS: Efficient Secure LLM Inference with Function Secret Sharing

🤐Secure Multiparty Academic

arxiv.org·

squillo/aph: APH - Agent per Human Notarization Protocol

🌐NetworkProtocols Code

github.com··Hacker News

Treat Traffic Like Trees: A Semantic-Preserving Hierarchical Graph-Based Expert Framework for Encrypted Traffic Analysis

🧠Machine Learning Academic

arxiv.org·

R-APS: Compositional Reasoning and In-Context Meta-Learning for Constrained Design via Reflective Adversarial Pareto Search

💾Persistent Memory Academic

arxiv.org·

No more posts from matmat's subscribed feeds.

Scour all 25255 feeds Learn more about Feeds

DNS-Aid

DNS over Avian Carriers (DoAC)

How the AI Computing Paradigm Is Deconstructing Internet Governance

IETF LLC Board Retreat 2026

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

Omnifs: APIs and data sources as files you can ls, cat, grep, and pipe

DB Nerds – Try this out

The RIPE Chair Team Reports - Highlights from RIPE 92

The Anatomy of a Learning Stall

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

Non-Human Identity for workloads: Securing the next phase of automation

AAuth Protocol

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.

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

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

Block-A-Mole: The Sustainability Frontier of Moving-Target Censorship Resistance

FuseFSS: Efficient Secure LLM Inference with Function Secret Sharing

squillo/aph: APH - Agent per Human Notarization Protocol

Treat Traffic Like Trees: A Semantic-Preserving Hierarchical Graph-Based Expert Framework for Encrypted Traffic Analysis

R-APS: Compositional Reasoning and In-Context Meta-Learning for Constrained Design via Reflective Adversarial Pareto Search