📋 Protocol Buffers - matmat · Scour

DNS-PERSIST-01; Handling Domain Control Validation in a short-lived certificate World

scotthelme.ghost.io·1d

🌐DNS over QUIC

Practical Refinement Session Type Inference (Extended Version)

arxiv.org·1d

🔄Session Type Inference

FreeBSD Security Advisory FreeBSD-SA-26:03.blocklistd

bsdsec.net·10h

Structured outputs on Amazon Bedrock: Schema-compliant AI responses

aws.amazon.com·4d

📋Document Grammar

Reliable Deployments for Large Kubernetes Fleet

fastly.com·1d

👁️Observatory Systems

Simplifying assertions with lenses

blog.ploeh.dk·1d

🔗Functional Compilers

gRPC MCP Gateway

reddit.com·3d·

Discuss: r/golang

The Styx Architecture for Distributed Systems (1999)

inferno-os.org·1d·

Discuss: Hacker News

📡Network Protocol Design

ZK-Rollup for Hyperledger Fabric: Architecture and Performance Evaluation

arxiv.org·23h

🌳Archive Merkle Trees

An introduction to lockless algorithms [LWN.net]

lwn.net·1d

⚡Hardware Transactional Memory

Ethlambda: Building a post-quantum Ethereum client with the help of shared tooling

blog.lambdaclass.com·5d

🤝Distributed Consensus

What Functional Programmers Get Wrong About Systems

iankduncan.com·1d·

Discuss: Lobsters, Hacker News, r/programming

⚖️Verification Calculi

RISC-V Mentorship Taught Me the RISC-V ISA Is Far More Than a Reference Manual

riscv.org·11h

🧩RISC-V Assembly

DFlash: Block Diffusion for Flash Speculative Decoding

z-lab.ai·1d·

Discuss: Hacker News

⚡LZ4 Streaming

Kafka Client Library

developer.confluent.io·18h

🌊Apache Kafka

SecretSpec 0.7: Declarative Secret Generation

devenv.sh·2d·

Discuss: Lobsters, Hacker News, r/NixOS, r/programming

🦠Parasitic Archives

Building a “Bflix-Style” Streaming Backend with Python (FastAPI + Async Magic)

dev.to·2d·

Discuss: DEV

🌊Streaming Systems

Google Distributed Cloud brings public-cloud-like networking to air-gapped environments

cloud.google.com·11h

🖥️Self-hosted Infrastructure

A Note on Flat Abstract Syntax Trees

gist.github.com·1d·

Discuss: Hacker News

🔗Monadic Parsing

eBPF Gives You Packets. Here's How We Turn Them Into Security Insights

akashmandal001.substack.com·1d·

Discuss: Substack

🛡️eBPF Security

Loading more...