Security Model: Wayland vs. Xorg in Linux
openlib.io·1h·
Discuss: Hacker News
🛡️Capability VMs
Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·1h
⚡functional programming
4 Major Types of API Architectural Styles
dev.to·10h·
Discuss: DEV
🔧API Design
Why did the über-protocols fail? A history of OOP RPC
medium.com·1d·
Discuss: Hacker News
📡Network Serialization
Event Handling: Automatic Event Bootstrapping
gitlab.com·6h·
Discuss: DEV
📡Protocol Buffers
<p>**Abstract:** This paper introduces a novel framework for formally verifying the collision avoidance behavior of autonomous drone swarms operating in complex...
freederia.com·56m
🎯Symbolic Execution
Signal secures its chats against quantum computers
heise.de·7h
📡Protocol Stacks
Is HTTPS the Best Protocol for Agent - Orchestrator Communication?
reddit.com·11h·
Discuss: r/devops
📡Protocol Parsers
Cap'n Proto in WASM
mikel.xyz·12h·
Discuss: Hacker News
🔧WASI
Design Principle: Composable Services
sleepingpotato.com·8h·
Discuss: Hacker News
🔀Control Structures
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·17h
📱Bytecode Design
Is Odin Just a More Boring C?
dayvster.com·10h·
Discuss: Hacker News
🐹Go Internals
How OpenAI Uses Kubernetes And Apache Kafka for GenAI
blog.bytebytego.com·6h
📡Erlang BEAM
Show HN: A minimal VPN implementation written in Go
github.com·11h·
Discuss: Hacker News
📡Network Serialization
My time at Oracle: functional and design specification reviews
smalldatum.blogspot.com·2h·
Discuss: smalldatum.blogspot.com
🎮Language Ergonomics
This Week in Bitcoin Development (Oct 2025, Week 1)
stacker.news·6h
🔢Binary Formats
The Compiler's Secret: How Coroutines Actually Work
dev.to·6h·
Discuss: DEV
🔄Coroutines
Athentication session & Application session
dev.to·7h·
Discuss: DEV
📞Session Types
🛠️ RTCP - The RTP Caretaker
rfc-editor.org·2d·
Discuss: DEV
📡Protocol Parsers
The Outbox Pattern: A Love Letter to Eventual Consistency
dev.to·14h·
Discuss: DEV
📮Message Queues