Skip to content
View adrianbenavides's full-sized avatar

Block or report adrianbenavides

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.

Maximum 250 characters. Please don鈥檛 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鈥檚 behavior. Learn more about reporting abuse.

Report abuse
adrianbenavides/README.md

Hi there, I'm Adrian Benavides 馃憢

Backend engineer with 10+ years of experience, 5+ of them in Rust and Python across high-performance backend and developer-facing systems. I work on distributed systems, secure networking, and low-level infrastructure. I occasionally write about what I build.

  • 馃敪 Building a C99 library that gives engineers cycle-accurate visibility into compute vs memory-bound bottlenecks across ARM and x86 targets
  • 馃尡 Writing a blog series on Python in Production (architecture, robustness, async & FFI)
  • 馃挰 Ask me about Rust, Python, distributed systems, and embedded
  • 馃 Open to collaborating on Rust projects in the low-level systems space (no_std parsers, fuzzing, secure networking, distributed systems) and Python data projects, especially PyO3 wrappers around high-performance Rust/C code
  • 馃摣 Reach me on LinkedIn or read my blog

Currently building

A lab track on distributed systems, with a focus on correctness and fault tolerance:

  • Hermetic Rust toolchains: reproducible Nix flake cross-compilation for bare-metal ARM, with fuzzing of a no_std binary
  • Secure data buses: field-level envelope encryption for telemetry over untrusted networks, with a deterministic fault-injection harness
  • Multi-sensor track fusion: a dataflow pipeline that fuses noisy sensor streams into a single trustworthy estimate under a hard timing budget
  • Fleet coordination: decentralized task allocation and state sync across partition-prone wireless meshes

Writing

  • Kokonatt Blog: my personal blog where I write about the things I build and learn
  • Python in Production: a series on modern Python covering architecture, robustness, async concurrency, and Rust-Python FFI

Open source

  • Ockam: owned the CLI, the primary product surface of this open-source trust infrastructure; wrote core Rust modules including the WebSocket transport and library macros
  • lora-gps-tracker: GPS live tracking with ESP8266, LoRa modules, and Balena
  • esp8266-mqtt-experiments: MQTT experiments with ESP-8266 and a dockerized RPi

Learning

Working through binary analysis, applied cryptography, real-time systems, and probabilistic robotics (the foundations the lab track builds on).

Tech

Rust 路 Python 路 C 路 PostgreSQL 路 MongoDB 路 Kafka 路 RabbitMQ 路 Docker 路 Kubernetes 路 AWS

Popular repositories Loading

  1. lora-gps-tracker lora-gps-tracker Public

    GPS live tracking using a couple of ESP8266, LoRa modules, and Balena!

    C++ 17 1

  2. esp8266-mqtt-experiments esp8266-mqtt-experiments Public

    MQTT experiments using a couple of ESP-8266 and a dockerized RPi

    C++ 8 2

  3. bb8-lapin bb8-lapin Public

    Rust 7 5

  4. amqp-manager amqp-manager Public

    Lapin wrapper that encapsulates the use of connections/channels and provides some helpful methods

    Rust 4

  5. balena-mqtt-gateway balena-mqtt-gateway Public

    A customized balenaSense setup to handle data from any sensor through MQTT

    Shell 2

  6. r2d2-lapin r2d2-lapin Public

    Lapin support for the r2d2 connection pool.

    Rust 1