evdc.me

// "We build our computers the way we build our cities -— over time, without a plan, on top of ruins." -- Ellen Ullman

↳ open to new roles in data infrastructure, inference, AI and systems engineering

About

Welcome to my personal page. I'm glad you're here.

I work as a software engineer, with 10+ years of experience in building data platforms, ETL infrastructure, ML tooling, observability, etc.

My technical interests broadly fall into four clusters:

I write about some of them here.

Lately I've been pulling these threads toward LLM inference. Serving systems involve a compiler + scheduler + cache invalidation, which is kind of what an IVM/distributed data system looks like too if you squint at it through a particular lens. Query planning, inference-graph optimizaiton, KV-cache reuse, etc. I'm looking for new roles at that intersection.

At heart, though, I just love building software that is clean, performant, innovative, and pleasant to use.

Projects

Elysium

Typescript · programming language design · incremental view maintenance · app development

Build an app as a query: write declarative relational queries for UI, compile to JS with reactive incremental view maintenance. Inspired by Differential Dataflow / DBSP, Elm, Mint-lang, Riffle, SolidJS, others.

Nous

Tauri · Rust · OpenAI / Anthropic APIs · RAG

An AI-enabled local-first journaling and task management app, built with Tauri / React / ProseMirror and SQLite, Claude and local LLMs, and a custom sync engine plus an MCP and sync server in Python with FastAPI. Uses RAG workflows and agentic tools to incorporate contextual understanding and proactive reminders.

froglang

Rust · compiler design

An experimental programming language, compiler, and runtime in Rust. Static types, mutable value semantics, lightweight syntax.

Reading list

I keep a reading list of papers, projects, and ideas I find interesting — distributed systems, logic programming, query languages, serverless compute, software performance. It's a reasonable map of how I think about the problem space.