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Β·
πŸ“ž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Β·
πŸ’Ώ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