Technical articles on agentic AI, generative AI, scalable infrastructure, and modern web development — written from real-world engineering experience.
Modeling distributed systems with temporal logic, running the TLC model checker, and a real-world example of how TLA+ found a bug in a Kafka consumer group rebalancing protocol that testing would never have caught.
An analysis of the architecture patterns behind agentic AI systems — from tool-use orchestration to multi-agent coordination — with production-tested approaches and tradeoffs.
Low-level video encoding and decoding without [FFmpeg.wasm](https://ffmpegwasm.netlify.app/) — VideoEncoder, VideoDecoder, AV1 encoding, and building a real-time video effects pipeline entirely in the browser.
Evaluating sidecar-less data planes: ztunnel, the L4/L7 processing split, mTLS without sidecars, and latency overhead measurements comparing Istio ambient vs sidecar mode vs Linkerd.
SQL-like syntax that's actually type-safe, zero runtime overhead, edge runtime support, and an honest comparison with Prisma and Kysely.
Inside the X25519Kyber768 hybrid handshake — how Chrome and Firefox implement post-quantum TLS, certificate transparency implications, and what you need to change today.
An examination of MCP's architecture — transport layers, resource/tool/prompt primitives, and how to build custom MCP servers that function reliably in production.
Warp divergence, shared memory bank conflicts, occupancy tuning, and an optimized matrix multiplication kernel with benchmarks across NVIDIA, AMD, and Vulkan Compute.
A technical examination of the Speculation Rules API for prerender and prefetch, confidence-based speculation strategies, Chrome's implementation details, and measurable Core Web Vitals improvements including INP optimization.
A practical guide to writing no_std Rust firmware for RISC-V targets using embassy-rs async runtime, HAL abstractions, and a real IoT project with the ESP32-C6 running WiFi 6 and BLE 5.
An architecture guide to ClickHouse for real-time analytics: MergeTree engine internals, materialized views for pre-aggregation, query optimization on 10B+ row tables, and comparative analysis with DuckDB and Druid.
An analysis of Temporal's durable execution model, workflow determinism constraints, activity retries, saga patterns, and why durable execution supersedes orchestration built on top of message queues.
A technical walkthrough of SPDK's user-space NVMe drivers, polled I/O, zero-copy DMA, and building a storage engine that sustains 10 million IOPS on commodity hardware.
A practical guide to TFHE, Concrete-ML by Zama, computing on encrypted data, real ML inference on ciphertext, and the honest performance reality of homomorphic encryption.
Production lessons from building event-sourced systems — event store design, projection rebuilds, snapshot strategies, saga orchestration, and an honest assessment of when event sourcing makes things worse.
An analysis of Astro 5's content layer API, server islands architecture, and view transitions, with production benchmarks comparing performance against Next.js for content-heavy sites.
Presence tracking, broadcast channels, Postgres CDC, and scaling WebSocket connections — a practical guide to building multiplayer features with Supabase Realtime.
High-performance packet processing with eBPF and XDP — writing XDP programs in C, AF_XDP sockets, DDoS mitigation at line rate, and peeking inside Cilium's dataplane.
Stateful edge computing with Cloudflare Durable Objects — WebSocket coordination, the actor model at the edge, and a multiplayer game server architecture running in 300+ locations.
Epsilon budgets, noise mechanisms, secure aggregation, and PySyft in practice — a federated learning pipeline architecture for medical imaging capable of passing HIPAA audits.