How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🧩Theorem Proving
Advanced C# Serialization: Beyond JSON
dev.to·1d·
Discuss: DEV
📦WebAssembly
Computer Networking a Top-Down Approach, 9th Edition
gaia.cs.umass.edu·1d·
Discuss: Hacker News
🔌Network Programming
Issuing TLS Certificates in Go
getpid.dev·1h·
Discuss: r/golang
✅Formal Verification
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3h·
Discuss: Lobsters, Hacker News
📝Lisp
EP174: 16 Coding Patterns That Make Interviews Easy
blog.bytebytego.com·18m
🔌Network Programming
Encrypted Client Hello Approved for Publication
feistyduck.com·2d·
Discuss: Hacker News
🔐Cryptography
📡 WebSocket API in AWS API Gateway – Real-time Magic Explained
linktr.ee·4h·
Discuss: DEV
🔌Network Programming
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·23h·
Discuss: Hacker News
🏗Computer Architecture
Understanding Streamable HTTP (the new one after SSE) of MCP Server/Client Architecture (+vs SSE)
dev.to·2d·
Discuss: DEV
🔌Network Programming
Automating Bridge + TAP Networking with a Go Binary (No Bash, No Fuss)
github.com·4h·
Discuss: DEV
🔌Network Programming
Lamport's Byzantine Generals Algorithm in Python
bytepawn.com·3h·
Discuss: Hacker News
📈Complexity Theory
SOME: Symmetric One-Hot Matching Elector -- A Lightweight Microsecond Decoder for Quantum Error Correction
arxiv.org·1d
🔐Cryptography
IEPG at IETF 123
blog.apnic.net·1d
🔌Network Programming
Jonhoo and Helsing AI's DSON: A delta-state CRDT for resilient P2P communication
blog.helsing.ai·2d·
Discuss: Hacker News
🌍Distributed Systems
Research Areas in Information Theory and Cryptography (The Alignment Project by UK AISI)
lesswrong.com·1d
🔐Cryptography
News for July 2025
ptreview.sublinear.info·16h
⚖Algorithmic Game Theory
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
j1939 stack
microcontrol.net·1d·
Discuss: r/embedded
🦀Rust