Engineering

What I have built

Case studies of systems I have built, maintained and fixed, grouped by system. Each one covers the problem, the design decisions and the public pull requests behind them.

Evaluation Infrastructure

Private Grading for a Coding-Agent Benchmark

If a benchmark publishes its tests, AI coding agents can be tuned to pass exactly those tests. JaseciBench keeps its grading tests private.

2026

  • GitHub Actions
  • Benchmark design
  • Coding agents
  • Jac

Compilers / Languages

Program Analysis in the Jac Compiler

The compiler’s map of the paths a program can take was wrong for several common statements, so the errors and warnings built on it were wrong too.

Jaseci Labs · Mar 2026

  • Compiler passes
  • CFG
  • Type narrowing
  • Diagnostics

AI Systems

Tools That Help AI Coding Assistants Write Jac

AI coding assistants know little about Jac, a new language, and in my app-building runs smaller models struggled when shown every tool at once.

Jaseci Labs · Mar to Apr 2026

  • Model Context Protocol
  • Coding agents
  • LLM tooling
  • Python

Developer Infrastructure

Safe Deploys and Fast Rollback for Jac Applications

Deploys could run the wrong Jac version, fail minutes in after databases were already created, and undo a bad release only by rebuilding it.

Jaseci Labs · 2026

  • Kubernetes
  • Release engineering
  • Blue-green deploys
  • Jac