Thinking through problems in code, experiments, and diagrams.
ROBOTICS / AGENTResearch in progress
01
Making robot failure,understandable.
Find the first deviation in an execution trace, then test a concrete repair.
Explore the research ↗
AI / LEARNINGExplainer
02
Attention,made visible.
A small example connecting dot products, scaling, and softmax.
Read the explainer ↗
SYSTEMS / COMPILERSLearning experiment
03
Abstract states.Real transitions.
Enter a string and follow each transition through a finite-state machine.
Try the experiment ↗