Projects

Data science on the hot path

In-process statistical computing for Rust — distributions, hypothesis tests, and resampling — with zero runtime dependencies, validated against scipy.

An ontology as a type system

An ontological application builder for verified code generation. A TypeDB ontology is the source of truth; a zero-dependency generator compiles it into the Rust type layer that hand-written numerics are built against.

A small model that reads COBOL

A Qwen2 0.5B fine-tune for COBOL system understanding, trained with Unsloth and Hugging Face Transformers.

Measuring generated COBOL

A substantial rebuild of bloop's COBOL code-generation benchmark, adding JCL static analysis, an agentic orchestrator, and local inference.

Federated multi-tenant infrastructure

A federated platform serving multiple brands and customers from one codebase, with an ontology-backed data layer and infrastructure managed as code.

Training data for verified code generation

A continuously running pipeline that streams, enriches, and exports GitHub pull request data as structured training sets — with a Rust-specific subset feeding the code-generation work.

Upstream, in the verifier itself

A merged contribution to the Verus compiler: type arguments were being dropped during Ghost/Tracked macro expansion, so a turbofish written in the source vanished before the type checker saw it.

Retrieval over municipal code

A retrieval-augmented assistant over a city's municipal code — ask it to draft a checklist for a special events permit and it answers from the ordinance text.