Skip to content
View lennrt's full-sized avatar
42 followers · 40 following

Achievements

Achievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: Pull Sharkx4Achievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: Pull Sharkx4Achievement: YOLOAchievement: Arctic Code Vault Contributor

Block or report lennrt

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
lennrt/README.md

About Me

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.

Website · Résumé · LinkedIn · Stack Overflow · ORCID · Unsplash · Email

Side/hobby projects

  • Palomar formalizations - Lean formalizations of selected computer science and math preprints, mainly in graph theory, matrix theory, and computer graphics. See the corresponding entries in the Palomar Registry.
  • trial-lang - A Kafka-based esolang.
  • ka2a - Kafka as an A2A substrate for durable, asynchronous communication between AI agents.
  • tempestkeep - A CLI and backup tool for Tempest weather station data.

Writing

Primary languages, tools, and platforms

Go · Python · SQL · Bash · Kafka · Lean · Kubernetes · Docker · Terraform · Helm · AWS · PostgreSQL · Snowflake · Bazel · gRPC · Protocol Buffers · Temporal · OpenAPI · Arazzo · MCP · Open Policy Agent · Prometheus · Grafana · Git · Linux · CircleCI · Jenkins


Lennart's GitHub activity

Pinned Loading

  1. Interstellar-Wormhole-Ray-Tracing Interstellar-Wormhole-Ray-Tracing Public

    This Mathematica notebook implements a ray tracing map for the light from a wormhole. Our approach was based on a paper by Kip Thorne et al. We provide parallelized and nonparallelized versions of …

    Mathematica 11 5

  2. Yelp/kafka-python Yelp/kafka-python Public

    Forked from dpkp/kafka-python

    Python client for Apache Kafka

    Python 17 9

  3. Yelp/paasta Yelp/paasta Public

    An open, distributed platform as a service

    Python 1.7k 251

  4. YelpArchive/yelp_kafka YelpArchive/yelp_kafka Public archive

    An extension of the kafka-python package that adds features like multiprocess consumers.

    Python 39 13

  5. YelpArchive/kafka-utils YelpArchive/kafka-utils Public archive

    Python 316 127

  6. palomar-formalizations palomar-formalizations Public

    Palomar formalizations of my preprints https://orcid.org/0009-0009-0198-085X

    Lean 1 1