🔄 Protocol State Machines - abnv · Scour

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·11h

📈Monotonic Logic

freest-lang/freest: A programming language for safe concurrency powered by context-free session types.

github.com·1d

📚Forth Compilers

Høiland-Jørgensen: The inner workings of TCP zero-copy

lwn.net

·8h

📡Binary Protocols

Why We Built (and Open-Sourced) a New RoughTime Implementation

blog.sturdystatistics.com·3h·

Discuss: r/programming

📦Message Serialization

Verification of Unbounded Client-Server Systems with Distinguishable Clients

arxiv.org·3d

🤝Session Protocols

Coordination Computation Class: Necessary Conditions for Bounded Multi-Agent Semantics

dev.to·19h·

Discuss: DEV

🔀Concurrency Models

Grammar-Constrained (CFL) Reachability: Subcubic Preprocessing, Indexing Trade-offs, and Structured Decoding Semantics

arxiv.org·23h

🔗Lexical Scoping

Error Handling Strategies for Probabilistic Code Execution

sitepoint.com·8h

🚂Error Propagation

The 185-Microsecond Type Hint

blog.sturdystatistics.com·6h·

Discuss: Lobsters, Hacker News, r/programming

⚡Interpreter Optimization

Understanding the A2A Protocol for Agentic AI in Network Operations

networkphil.com·11h

🔐Capability Protocols

Guidelines for Writing Cryptography Specifications

cfrg.github.io·4h·

Discuss: Hacker News

🛡️Security Type Systems

The Mirror World Protocol: Why A/B Testing is Obsolete

pub.towardsai.net

·15h

📡Protocol Buffers

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation

papers.cool·1d

🎲Property Testing

Event-triggered robust optimal control for networked multiplayer system

sciencedirect.com·1d

📡Async Channels

An AI Odyssey, Part 1: Correctness Conundrum

johndcook.com·1h

🚂Error Propagation

Realizing protocols' true value

thoughtworks.com·3d

📡Protocol Stacks

A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices

coding-mischief.com·6h·

Discuss: Hacker News

🤐Zipper Structures

Main differences with iptables

wiki.nftables.org·2d

🌍HTTP Servers

RDMA Point-to-Point Communication for LLM Systems

research.perplexity.ai·7h

🌱Green Threads

Show HN: Turn – A compiled systems language for agentic computation

news.ycombinator.com·12h·

Discuss: Hacker News

Loading more...