Whole-known-network
<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://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://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://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>
<p><span class="h-card" translate="no"><a href="https://hci.social/@chrisamaphone" class="u-url mention">@<span>chrisamaphone</span></a></span> Great point. We have several of these in the Racket ecosystem, and it's almost trivial to create more. For instance, many years ago I created this *purely* through macros, which is a fun exercise: see `examples.rkt`:</p><p><a href="https://github.com/shriram/p4p" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">github.com/shriram/p4p</span><span class="invisible"></span></a></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>Thank God our long national nightmare of fairness and justice is over. 🙄</p>
