How to Write Inductive Invariants
quint-lang.org·8h·
Discuss: Lobsters, Hacker News, r/programming
🧩Theorem Proving
Advanced C# Serialization: Beyond JSON
dev.to·15h·
Discuss: DEV
📦WebAssembly
Computer Networking a Top-Down Approach, 9th Edition
gaia.cs.umass.edu·16h·
Discuss: Hacker News
🔌Network Programming
Encrypted Client Hello Approved for Publication
feistyduck.com·1d·
Discuss: Hacker News
🔐Cryptography
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·6h·
Discuss: Hacker News
🏗Computer Architecture
Understanding Streamable HTTP (the new one after SSE) of MCP Server/Client Architecture (+vs SSE)
dev.to·1d·
Discuss: DEV
🔌Network Programming
SOME: Symmetric One-Hot Matching Elector -- A Lightweight Microsecond Decoder for Quantum Error Correction
arxiv.org·19h
🔐Cryptography
IEPG at IETF 123
blog.apnic.net·19h
🔌Network Programming
Jonhoo and Helsing AI's DSON: A delta-state CRDT for resilient P2P communication
blog.helsing.ai·1d·
Discuss: Hacker News
🌍Distributed Systems
A New Governance Model for MCP
blog.modelcontextprotocol.io·1d·
Discuss: Hacker News
⚡Concurrency
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
🧮Programming Language Theory
Research Areas in Information Theory and Cryptography (The Alignment Project by UK AISI)
lesswrong.com·12h
🔐Cryptography
j1939 stack
microcontrol.net·16h·
Discuss: r/embedded
🦀Rust
The Signal Protocol Explained #2: Implementing the Double Ratchet Algorithm in Rust
kerkour.com·2d·
Discuss: Hacker News
🔐Cryptography
Updated Digital Identity Guidelines are Here (NIST 800-63 Revision 4)
csrc.nist.gov·1h·
Discuss: Hacker News
🛡️IoT Security
The NNCPNET email network
lwn.net·5h·
Discuss: Hacker News
🔌Network Programming
🐥 Elixir Anti-Patterns
yellowduck.be·6h
⚙Functional Programming
Building an Elixir App Around a Zigbee Button
blog.aos.sh·7h
🛡️IoT Security
NATS on edge - A distributed industrial mesh- MQ Summit Session 2025
mqsummit.com·11h·
Discuss: r/programming
🌍Distributed Systems
From Raw TCP to Real-Time Chat & File Sharing — No Socket.io, Just Sockets
github.com·1d·
Discuss: DEV
🔌Network Programming