Whole-known-network
<p><span class="h-card" translate="no"><a href="https://transfem.social/@puppygirlhornypost2" class="u-url mention">@<span>puppygirlhornypost2</span></a></span> <span class="h-card" translate="no"><a href="https://fosstodon.org/@avghelper" class="u-url mention">@<span>avghelper</span></a></span> <span class="h-card" translate="no"><a href="https://fops.cloud/users/thcrt" class="u-url mention">@<span>thcrt</span></a></span> Reacts are useful for this. If I have the time/energy I sort by 'most thumbs up' in my repos and that gives me a good sense of what people care about. Throwing an existing issue to the top of my notifications is actively counter-productive: it provides me with no new information, stresses me out, acts to indicate that the person doing it believes that they are The Main Character. It's a very American customer-is-always-right mindset, applied to free labour.</p>
<p>storm day outside, <a href="https://mastodon.social/tags/caturday" class="mention hashtag" rel="tag">#<span>caturday</span></a> inside</p>
<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's renaming has gone that I thought "X" was referring to "X Window System" 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 'semantics' is still in the realm of what I call 'syntax'. 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>
