<p>We've been studying the cognitive science of *diagrams*, and have recently put out a new (very) lightweight programming language and tool for diagramming models in formal methods. Check it out here!<br /><a href="https://blog.brownplt.org/2025/06/09/copeanddrag.html" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">blog.brownplt.org/2025/06/09/c</span><span class="invisible">opeanddrag.html</span></a></p>
