<p><span class="h-card" translate="no"><a href="https://mastodon.social/@gamingonlinux" class="u-url mention">@<span>gamingonlinux</span></a></span> It must say how poorly Twitter&#39;s renaming has gone that I thought &quot;X&quot; was referring to &quot;X Window System&quot; which has been my bane lately trying to get HDR working on my 4K monitor.</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> <span class="h-card" translate="no"><a href="https://types.pl/@wilbowma" class="u-url mention">@<span>wilbowma</span></a></span> this one: <a href="https://www.williamjbowman.com/blog/2023/06/07/what-is-syntax/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">williamjbowman.com/blog/2023/0</span><span class="invisible">6/07/what-is-syntax/</span></a></p>

<p><span class="h-card" translate="no"><a href="https://infosec.exchange/@mathaetaes" class="u-url mention">@<span>mathaetaes</span></a></span> yeah, that happened after I took off. Unbelievably sad, especially since it was a medical plane, but as you said, not a commercial flight.</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> not necessarily. For example, nominal (as in racket), locally nameless, de Bruijn, and co de Bruijn negotiate the representation of names differently, but have the same semantic content in term of the representation of abstract syntax.</p><p>But I wonder if what you call &#39;semantics&#39; is still in the realm of what I call &#39;syntax&#39;. I think <span class="h-card" translate="no"><a href="https://types.pl/@wilbowma" class="u-url mention">@<span>wilbowma</span></a></span> wrote a blog post about it.</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://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> tagging @edwinb because I think he might like it.</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://mastodon.social/@shriramk" class="u-url mention">@<span>shriramk</span></a></span> *gestures broadly at the world*</p><p>(okay, well, and procrastinating going for a run)</p>

<p><span class="h-card"><a href="https://mastodon.social/@film_girl" class="u-url mention">@<span>film_girl</span></a></span> Years ago, my sister was flying after a recent accident. She learned that flying at that time (after an accident) is more safe because everyone is more alert.</p>

<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&#39;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>