Diagramming Program Values by Spatial Refinement
Summary
Spytial introduces a language for diagramming program values as spatial representations of data structures like binary decision diagrams. It shows how to refine raw value graphs into readable diagrams using declarative rules, preserving structure while reducing rendering boilerplate. The post also situates Spytial with PLDI 2026 and related visualization systems like Cope and Drag, and notes multi-language integrations.