Whole-known-network
<p><span class="h-card" translate="no"><a href="https://mathstodon.xyz/@ohad" class="u-url mention">@<span>ohad</span></a></span> <span class="h-card" translate="no"><a href="https://hci.social/@chrisamaphone" class="u-url mention">@<span>chrisamaphone</span></a></span> Great point. BUT, often those different representations have different semantic content. Whereas at least in the classical view, that's really not true of the different syntaxes. (Though of course cognitively they are *very* different!)</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@shriramk" class="u-url mention">@<span>shriramk</span></a></span> it’s really frightening</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@shriramk" class="u-url mention">@<span>shriramk</span></a></span> <span class="h-card" translate="no"><a href="https://hci.social/@chrisamaphone" class="u-url mention">@<span>chrisamaphone</span></a></span> abstract syntax also has multiple representations, and those too 'shouldn't matter' (they do matter computationally, and thinking about them too syntactically makes them matter for reasoning, too).</p>
<p>Understatement of the year but I respect the PCI-SIGs commitment to straight up double it every 2-3 years and eat shit until it somehow works.</p>
<p><span class="h-card" translate="no"><a href="https://types.pl/@disconcision" class="u-url mention">@<span>disconcision</span></a></span> <span class="h-card" translate="no"><a href="https://hci.social/@chrisamaphone" class="u-url mention">@<span>chrisamaphone</span></a></span> This whole convo is making me think I might want to do PL research. Why do you people wake up on a weekend morning and choose violence.</p>
<p><span class="h-card" translate="no"><a href="https://discuss.systems/@CraigStuntz" class="u-url mention">@<span>CraigStuntz</span></a></span> <span class="h-card" translate="no"><a href="https://hci.social/@chrisamaphone" class="u-url mention">@<span>chrisamaphone</span></a></span> Right. But I think Chris is talking about actually creating a family of runnable front-ends.</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@shriramk" class="u-url mention">@<span>shriramk</span></a></span> </p><p>The tech & fossil fuel oligarchs funding it all:</p><p>"You start out trying to do something good, then you realize you can get a little richer by making it a little worse. </p><p>Your thermostat for shittiness gets reset to the new level, so it doesn't seem like much of a change to turn it a notch further toward the rock-bottom, irredeemably shitty end of the scale.</p><p>The truth is that you can get really rich and huge by playing host organism to the rot-fungus. </p><p>1/2</p>
<p><span class="h-card" translate="no"><a href="https://discuss.systems/@jfdm" class="u-url mention">@<span>jfdm</span></a></span> <span class="h-card" translate="no"><a href="https://hci.social/@chrisamaphone" class="u-url mention">@<span>chrisamaphone</span></a></span> Excellent. Almost trivially they should be able to add a block-based front-end using something like Blockly. This is how I motivate ASTs in PLAI:</p>
<p><span class="h-card" translate="no"><a href="https://hci.social/@chrisamaphone" class="u-url mention">@<span>chrisamaphone</span></a></span> My take for some time now, which I also express here</p><p><a href="https://parentheticallyspeaking.org/articles/bicameral-not-homoiconic/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">parentheticallyspeaking.org/ar</span><span class="invisible">ticles/bicameral-not-homoiconic/</span></a></p><p>is that syntax is a view in the MVC sense:</p>
