Lennart Rudolph
Software Engineer · AI · Infrastructure · Distributed Systems
Hello, I’m Lennart. I’m a software engineer with 10+ years of professional experience, based in sunny Southern California. I currently work on the AI Infrastructure team at VideoAmp.
Previously, I was at Yelp, where I worked on the data-streaming infrastructure behind its Kafka-based pipelines. I hold an M.S. in Computer Science from Georgia Tech and a B.S. in Physics from Harvey Mudd College.
Feel free to send me an email if you’d like to get in touch.
Side / hobby projects
- Palomar formalizations
Lean formalizations of selected computer science and math preprints, mainly in graph theory.
- trial-lang
A Kafka-based esolang.
- ka2a
Kafka as an A2A substrate for durable, asynchronous communication between AI agents.
- dither-mcp
An MCP server and CLI for local image dithering, palette exploration, and reproducible rendering.
- sho.rten.it
Reusable writing skills and plain-text prompts for making text shorter and clearer.
- Notarizing
A local workspace for reviewing software specifications, assumptions, revisions, and supporting evidence.
- tempestkeep
A CLI and backup tool for Tempest weather station data.
Writing
- Kafka on PaaSTA: Running Kafka on Kubernetes at Yelp — Part 1: Architecture
Yelp Engineering Blog
- Kafka on PaaSTA: Running Kafka on Kubernetes at Yelp — Part 2: Migration
Yelp Engineering Blog
Languages, tools & platforms
Go / Python / SQL / Java / Bash / Lean / Quint / OpenSpec / LaTeX / htmx / Apache Kafka / Apache Flink / gRPC / Protocol Buffers / Temporal / OpenAPI / AWS / Terraform / Docker / Kubernetes / Helm / Open Policy Agent / Linux / A2A / MCP / Langfuse / Vector storage and retrieval / PostgreSQL / Snowflake / Databricks / Valkey / Git / Bazel / GitHub Actions / CircleCI / Prometheus / Grafana / Datadog
Away from the keyboard
photography / rowing / hiking / cooking / reading / languages / technology / music / GeoGuessr / astronomy