Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
arxiv.org·1h
📞Session Types
rpki-client 9.6 released
bsdsec.net·1d
🏺ZIP Archaeology
Progressive Complexity: When Islands Should Be a Continent
lorenstew.art·18h·
Discuss: Hacker News
🦋Format Metamorphosis
Artificial Intelligence in Networking Research in the Arab World
cacm.acm.org·11h
🕸️Mesh Networking
Cap'n Web: a new RPC system for browsers and web servers
blog.cloudflare.com·16h·
Discuss: Lobsters, Hacker News, r/programming
📞WebRTC
Building AI Agents with GKE
dev.to·12h·
Discuss: DEV
🌊Streaming Systems
AT Protocol private data: Developing a rubric for success
pfrazee.leaflet.pub·4h·
Discuss: Hacker News
🏠Homelab Federation
How to Fix Performance Issues Error Monitoring Can’t See
thenewstack.io·13h
👁️Observatory Systems
Show HN: Ida Swarm – Multi-agent AI system for automated reverse engineering
github.com·1d·
Discuss: Hacker News
🧲RISC-V Archaeology
Status update, 22/09/2025
samthursfield.wordpress.com·12h
🔩Systems Programming
The Art of Letting Go: Why Your Platform Needs Less Control Than You Think
davidpoll.com·2h·
Discuss: Hacker News
🔬Refinement Types
Build faster, debug smarter, and make AI safer with new DigitalOcean Gradient™ AI Platform features
digitalocean.com·14h
🌀Brotli Internals
Architecting pandemic infrastructure at a human scale
nakedinstinct.xyz·13h·
Discuss: Hacker News
🌍Cultural Algorithms
The story of Musium
ruudvanasseldonk.com·13h·
Discuss: Lobsters, Hacker News
💿FLAC Archaeology
Hostship: A Lightweight Alternative to Dokku
plark.com·8h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
You don’t need NPM to ship fully-featured apps.
dev.to·1d·
Discuss: DEV
🛡️WASM Sandboxing
New ReARM Release: SPDX and User Groups
rearmhq.com·9h·
Discuss: Hacker News
🦋Format Metamorphosis
MongoDB AMP
redmonk.com·1d·
Discuss: Hacker News
🔄Schema Evolution
BeNNS: A Surrogate Model for Hybrid Online-Offline Evolution of SFC Embedding
arxiv.org·1h
🕸️Network Topology
MCP Protocol Specification
modelcontextprotocol.io·17h·
Discuss: Hacker News
📋Format Specification