Technical visualization
Vista
Turn papers, algorithms, and systems into interactive, step-by-step explanations connecting text, math, code, and execution.
Technical storytelling · interactive demonstrationsAI engineering & research studio
From uncertainty to accountable action.
Napa Computing is an AI engineering and research studio that helps teams turn uncertain model outputs into understandable, constrained, and verifiable workflows.
Products & explorations
Make complex computing understandable and dependable.
Four complementary technology directions, currently in development and prototype stages.
GPU & compute labs
Kernel Lab
Experiment with graphics pipelines, shaders, GPU kernels, and performance on native Apple platforms.
SwiftUI · Metal · parallel computationFormal methods & systems
dcpp Verify
Explore distributed-system and agent-workflow correctness through specifications, tests, and reproducible counterexamples.
Protocols · invariants · verification evidenceNeural-symbolic research
YiCode
A research direction for translating uncertain model interpretations into typed intentions, policy-checked options, and reviewable decisions.
Knowledge graphs · models · bounded agent actionsHow we think
Understand. Craft. Verify.
Generative AI makes many outcomes possible. Engineering determines which actions can be understood, evaluated, and responsibly used.
01 / UNDERSTAND
Expose the reasoning surface.
Make assumptions, intermediate states, data dependencies, and uncertainty visible.
02 / CRAFT
Make ideas executable.
Prototype algorithms, compose agents, encode constraints, and refine through experiments.
03 / VERIFY
Build evidence and control.
Check supported properties, review traces, and require authorization where needed.
Professional services
Explore a difficult technical challenge together.
Focused engagements for developers, research authors, AI teams, and organizations working with complex computational systems.
Prototype
AI agent workflows
Translate ambiguous goals into structured workflows with permissions, domain constraints, and evaluation plans.
Explain
Research & visualization
Create interactive explanations and labs for papers, algorithms, GPU computation, and distributed systems.
Inspect
Verification consulting
Model protocol assumptions, failure scenarios, resource lifetimes, and correctness properties.
Optimize
Compute engineering
Prototype kernels, benchmark implementations, and develop tools for computational experiments.
Partnerships & projects
Have a problem worth exploring?
Bring your AI workflow, systems research, or complex technical idea. We focus on inspectable prototypes that can grow into reusable tools.