Published: 2025-01-01
Welcome to my corner of the web. I write about probabilistic programming, AI, and programming languages.
Essays#
- The language is not the point — 2025-11-21
Thoughts#
No thoughts yet.
Papers#
Probabilistic Programming with Vectorized Programmable Inference (2026) McCoy R. Becker, Mathieu Huot, George Matheos, Xiaoyan Wang, Karen Chung, Colin Smith, Sam Ritchie, Rif A. Saurous, Alexander K. Lew, Martin C. Rinard, Vikash K. Mansinghka Proceedings of the ACM on Programming Languages (POPL) DOI: 10.1145/3776729
Probabilistic Programming with Programmable Variational Inference (2024) McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang, Matin Ghavami, Mathieu Huot, Martin C. Rinard, Vikash K. Mansinghka Proceedings of the ACM on Programming Languages DOI: 10.1145/3656463
Systems#
GenJAX — A language and compiler for vectorized programmable probabilistic inference. Integrates the vectorizing map (vmap) operation from JAX into the programmable inference paradigm, enabling compositional vectorization of probabilistic program traces, stochastic branching, and programmable inference interfaces. POPL 2026 artifact.
programmable-vi-pldi-2024 — Artifact for probabilistic programming with programmable variational inference. Enables writing probabilistic programs encoding models and variational families, then automatically estimating gradients of variational objectives for gradient-based training. PLDI 2024 artifact.
Mixtape.jl — Static method overlay and optimization tool operating during Julia type inference. Enables semantic changes to lowered code before optimization through a self-managed compilation pipeline.
evil-mind-evil-sword#
emes is a collection of modular tools for working with AI agents—built by leveraging agents, while studying how to enhance their capabilities.
alice — Quality gate plugin for Claude Code implementing adversarial multi-agent reviews. Blocks completion until independent verification approves work, addressing the tendency for models to confirm rather than critique.
jwz — Append-only messaging system for asynchronous agent-to-agent communication. Git-native storage with full-text search, designed for structured machine-to-machine data over user-friendly formatting.