🔄 Protocol State Machines - abnv · Scour

Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking

arxiv.org·2d

📞Session Types

Beyond Latency and Communication Complexity - A Tutorial on the Pipes Model

decentralizedthoughts.github.io·22h

📮Message Queues

Swift Concurrency from Zero to Hero | Reading List

swiftology.io·3h

🦉Swift Interpreters

SMTP server from scratch in Go – FSM, raw TCP, and buffer-oriented I/O

news.ycombinator.com·17h·

Discuss: Hacker News

🐹Go Internals

Formal Verification First: How AI Supports But Cannot Replace It

semiengineering.com·18h

🎭Program Synthesis

Designing and Comparing RPQ Semantics

arxiv.org·22h

📦Message Serialization

metareflection/dafny-replay: Verified kernels, written in Dafny and compiled to JavaScript, for correct-by-construction state in interactive web applications

github.com·1h

🏛️Elm Architecture

Proof-oriented Programming in F*

fstar-lang.org·1d·

Discuss: Lobsters

⚡functional programming

AI Agent Architecture Patterns: Engineering for Autonomy, Resilience, and Control

dev.to·4h·

Discuss: DEV

https://blog.matthewcodes.dev/wp-content/uploads/2026/02/computer-comms.png How computer systems talk – part one: sockets and websockets

blog.matthewcodes.dev·1d·

Discuss: r/programming

🌍Minimal HTTP

Proving What's Possible

buttondown.com·2d

📜Proof Languages

RFC 9920: RFC Editor Model (Version 3)

rfc-editor.org·2d

📡Protocol Parsers

Validate AI agent endpoints across 8 protocols in one URL

agentprobe.xyz·19h·

Discuss: Hacker News

🧪Parser Testing

.NET Checker 1.5

majorgeeks.com·2h

🎲Property Testing

Implementing a JSON Schema Validator from Scratch

dev.to·5h·

Discuss: DEV

📋JSON Parsers

January in TigerLand

mailchi.mp·13h

Model Context Protocol

developers.openai.com·2d

📡Protocol Parsers

Trusting Trust in the Fediverse

evilmaid.net·2d·

Discuss: Hacker News

📦Message Serialization

From-scratch C implementation of the full network stack from TCP to gRPC over HTTP/3, including QUIC, HPACK/QPACK codecs, native DEFLATE, and DNSSEC validation ...

github.com·16h·

Discuss: r/compsci

🌍Minimal HTTP

You're Already Building Petri Nets. You're Just Building Them Badly.

joshtuddenham.dev·21h·

Discuss: Hacker News

🔀Control Structures

Loading more...