David Oyinbo - Software Engineer
Building resilient, real-time
systems with clarity and intent.
I design distributed systems, craft custom protocols, and ship production-grade real-time infrastructure. Want to learn more about my experience?
About
Senior Software Engineer with 8+ years of experience designing high-throughput distributed systems, real-time infrastructure, and open-source developer tooling. Deep expertise in Rust (Actix Web), event-driven architectures, and cloud-native AWS deployments. Authored Trypema, a Rust rate-limiting library delivering up to 11.9M ops/sec that outperforms established GCRA implementations in multiple benchmark scenarios. Built WebSocket services sustaining 120,000+ messages/second and led end-to-end product delivery in high-growth startup and SaaS environments.
8+ years shipping production systems Currently building: real-time messaging, presence & distributed systems.
Skills
Frameworks
Infrastructure
Systems Design Tools
Engineering Log
On the Topic of Making Simple Useful Things (A Distributed Counter)
Counting things across multiple servers sounds trivial. It is not. A walkthrough of the design space for distributed counters, from atomic Redis scripts to per instance tracking with automatic cleanup of dead instances, and the Rust crate I built to handle all of it.
Projects

Laye
Framework-agnostic RBAC library for Rust with composable AccessPolicy rules and plug-and-play middleware for actix-web and tower/axum.

distkit
Distributed systems primitives for Rust. Strict and lax counters, instance-aware counters with automatic dead-instance cleanup, and sliding-window rate limiting, all backed by Redis.

Trypema Rate Limiter
High-performance Rust rate limiting primitives with local, Redis-backed, and hybrid providers, atomic Redis enforcement, and absolute/suppressed strategies.