// "We build our computers the way we build our cities -— over time, without a plan, on top of ruins." -- Ellen Ullman
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 three clusters:
I write about some of them here.
At heart, though, I just love building software that is clean, performant, innovative, and pleasant to use.
Typescript · programming language design · incremental view maintenance · app development
A reactive, relational data-centric query language and app development framework - a high-level language for building data-oriented apps, that compiles to JS, featuring an event-sourcing model and incremental view maintenance. Inspired by Differential Dataflow / DBSP, Elm, Mint-lang, Riffle, SolidJS, others. Under active development.
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.
Rust · compiler design
An experimental programming language, compiler, and runtime in Rust. Building it has been as much about understanding compiler and runtime design from the inside as about the language itself.
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.