Currently building PDF Recorder, a native macOS app for recording narrated PDF presentations.
I also work on AI agents, evaluations, and inference systems.
Recently:
- CocoIndex: async iterator cleanup fix, merged.
- SGLang: Hunyuan tool-call parsing fix and a reproducible experiment.
- τ²-bench: checkpoint recovery patch (draft) and fault-injection results.
More contributions and experiment notes, including kvcached and Inspect AI.
