P300 Papersresearch
Research
7 papers grouped by the question they answer, each with the case studies and notes that sit next to it. Every artifact ships its data, failed attempts and executable checks.
Reliability of distributed systems
What do delivery, recovery and sampling actually cost, measured at explicit component boundaries?
- An Empirical Evaluation of Message Delivery Reliability and Recovery Characteristics in Redis Streams and NATS JetStream
2026-09-25preprintdoi:10.5281/zenodo.22950140
- Trace Sampling at the Collector Boundary: Costs and Diagnostic Evidence
2026-09-29preprintdoi:10.5281/zenodo.23032245
read next: Case study: E-Navigator · Case study: Positron · Compendium: Kubernetes · Compendium: Linux Systems Engineering
Systems design, written down
How should a framework, a runtime or a security component be shaped, and what does it refuse to claim?
- Nidus: Explicit Application Composition for Rust Backend Services
2026-09-08independently published
- Locus: Owner-Drained Chunk Mailboxes for KV-Block Recycling in CPU LLM Inference
2026-07-06independently published
- Purple Wolf: A Technical White Paper on a Low-Latency Traefik Web Application Firewall and Audit Relay
2026-06-07independently published
read next: Case study: Nidus · Case study: Guara Cloud · Compendium: Rust · Compendium: Design Patterns
Formal methods and combinatorics
Which results can be stated exactly, enumerated by machine and checked in Lean 4?
Protocols and API design
Where do web standards leave gaps that real APIs keep working around?
- The Missing HTTP Verb: STRUT
2026-06-07independently published
read next: Compendium: Software Engineering
cite --site
To cite a single paper, use the BibTeX on its page. To cite this site, or to import everything at once:
@misc{bona_site,
author = {Victor Bona},
title = {Victor Bona: Papers, Systems and Writing},
howpublished = {\url{https://blog.victorbona.dev}},
year = {2026}
}Bona, V. (2026). Victor Bona: Papers, systems and writing. https://blog.victorbona.devdownload victor-bona.bib (8 entries)