P100 home
P200 profile
P300 systems
P400 research
P500 writing
P600 compendium
/now
I build distributed systems and the infrastructure under them, mostly in Rust these days. Eight years in: Amazon's fintech team in Brazil, first founding engineer at Valari (YC W22), where I rebuilt the ledger in a week after a provider shut down, then Deel, and now Senior Software Engineer at Hopper.
On the side I built Guara Cloud, a Kubernetes-native PaaS, and sold it. These days the side work is observability databases, eBPF signal planes, HTTP servers, inference runtimes, and the papers that come out of measuring them.
| system | state | what it is |
|---|---|---|
| Positron | Observability database for native logs and traces, in Rust. case study | |
| Maximus | Modular Rust HTTP server for Linux: one local executor per worker, io_uring and epoll, optional TLS, HTTP/2 and HTTP/3. | |
| E‑Navigator | Rust and eBPF signal plane for Linux and Kubernetes observability, profiling, runtime security and diagnostics. case study | |
| Ferrite | CPU-native LLM inference engine: GGUF models, quantized SIMD kernels, an OpenAI-compatible server. | |
| Locus | Parameterless chunk-mailbox KV-block pool for CPU LLM serving, published as locus-alloc. |
|
| Nidus | Modular Rust backend framework with NestJS ergonomics on Axum, Tower and Tokio. rustnidus.com · case study | |
| Purple Wolf | Low-memory WAF for Traefik, shipped as a WASM plugin with signed releases and SBOMs. | |
| Devboxes | Self-hosted, ephemeral dev environments on Kubernetes: create a box, SSH in, resume the same tmux session. | |
| Gromaq | GPU-rendered terminal emulator in Rust, with winit, wgpu and real PTYs. gromaq.dev | |
| Imaginu | AI-drivable procedural 3D asset compiler: JSON recipes in, deterministic game-ready GLB out. | |
| SQLTemple | Open-source, AI-powered SQL IDE. sqltemple.dev | |
| Guara Cloud | Kubernetes-native PaaS with catalog services, billing, observability and backups. Built, run, sold. case study |
| experiment | what it is |
|---|---|
| Janus | Open-source observatory for autonomous strategic simulations, with inspectable world dynamics and optional LLM policy councils. |
| Aerostat | Rust drone simulation lab: isolated Rust/C++ flight programs, swarm radio simulation and a 3D interface. |
| Botcrew | Kubernetes-native deployment orchestrator for autonomous AI agents. |
| cache-fill-fences | Lean-verified state minimization for asynchronous cache-fill invalidation. |
| capacity-replay | Lean-verified exact state complexity for capacity-parametric counter replay. |
$ get systems --all-namespaces older tools and utilities
- Victor Bona Blog: the Next.js and MDX site this profile is styled after.
- Agent Skills: agent skills for deploying and managing apps on Guara Cloud.
- Codebase Guy: chat with multiple codebases at once.
- DataTide: Node.js library for processing large datasets on worker threads.
- SaaS Starter Template: Next.js 15, Supabase and Stripe starter.
- Oh My GPT: ZSH plugin for talking to ChatGPT from the terminal.
- Agent Buddy: CLI ReAct agent for local terminal work.
- Pylexitext: Python library of NLP and text-analysis utilities.
- Data Science: notes and studies on data science and machine learning.
2026-09-29Rigidity of Pattern-Avoiding Breadth-First Reading Words of Increasing Trees · code2026-09-29Trace Sampling at the Collector Boundary: Costs and Diagnostic Evidence · code2026-09-25Message Delivery Reliability and Recovery in Redis Streams and NATS JetStream · code2026-09-08Nidus: Explicit Application Composition for Rust Backend Services · code2026-07-06Locus: Owner-Drained Chunk Mailboxes for KV-Block Recycling in CPU LLM Inference · code2026-06-07Purple Wolf: A Low-Latency Traefik Web Application Firewall and Audit Relay · code2026-06-07The Missing HTTP Verb: STRUT
Citations and a reading list live at blog.victorbona.dev/research.
2026-09-08A File Can Replace Your Tile Server: The Engineering Behind PMTiles2026-09-08Designing Data Pipelines That Stay Within a Memory Budget2026-09-08Fast Spatial Queries Without Losing Correctness2026-09-08Stop Reading the Whole Dataset: GeoParquet, Spatial Locality, and Query Pruning2026-06-16Status Is a Distributed System
Refreshed daily from the RSS feed. Everything else, including a 150-note engineering compendium, is on the blog.
web blog.victorbona.dev ·
linkedin in/victorbona ·
x @BonaVictor ·
email victor.bona@hotmail.com




