Bobby Mathews

Rust systems engineer. I build distributed infrastructure and write about it.

About

I work on high-performance Rust infrastructure: async runtimes, data pipelines, and systems where latency and throughput numbers matter. Current focus is Solana infrastructure: RPC connection pooling, Geyser gRPC streaming, and time-series indexing pipelines. I also build formal verification tooling for structured document workflows.

Writing

I write about difficult problems in distributed infrastructure and the solutions to close the gaps. Recent work includes a deep dive on Tokio executor starvation failure modes.

Read the Tokio benchmark analysis →

Previously a technical contributor to Let's Get Rusty (165k subscribers).

Read all posts →

Featured Project

Other Projects

synkti Ongoing Research

Constrained document verification engine for patent prosecution. Formal grammar verification runs in WASM client-side; local LLM inference via WebGPU. Targets the semantic layer that existing patent tools do not cover.

Rust · WASM · WebGPU · pest · logos · petgraph

tokio-blocking-bench

Controlled benchmark isolating Tokio executor starvation under blocking workloads. Key finding: 101x p99 latency increase under starvation. EC2-controlled environment, reproducible results.

Rust · criterion · tokio

synkti-fleet Archive

Spot instance orchestration prototype for GPU inference. EC2 tag-based worker discovery, interruption-aware draining, stateless failover. Worked end-to-end; not pursued for economic reasons.

Rust · AWS EC2 · vLLM · SSM

Expertise

Core competencies for infrastructure and trading systems:

Rust Async Runtimes (tokio) Solana Infrastructure Geyser / gRPC Streaming High-Throughput Pipelines TimescaleDB Low-Latency Systems Distributed Systems RPC Pooling Formal Verification

Contract Work

I work with trading firms, analytics platforms, and high-throughput Solana infrastructure teams. Current availability for Solana indexing, performance optimization, and distributed systems consulting.

Focus areas: Real-time data pipelines, Geyser integration, latency optimization, RPC pooling, TimescaleDB architecture.

Get in touch →

Links