Whole-known-network
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@flacs" class="u-url mention">@<span>flacs</span></a></span> no</p>
<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>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@gamingonlinux" class="u-url mention">@<span>gamingonlinux</span></a></span> It would be a wonder if this somehow manages to not fail, with all that hype around while everyone is waiting… :s</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@gamingonlinux" class="u-url mention">@<span>gamingonlinux</span></a></span> I know it has been a a really long time already—I just checked and Silksong has been on my wishlist since February 2019—but if time is what it takes for them to release a game on par with the quality of Hollow Knight, I can accept that.</p>
<p>is it normal to feel like your job is slowly killing you</p>
<p>Team Cherry clarify Hollow Knight: Silksong will be out before the 2025 holiday season <a href="https://www.gamingonlinux.com/2025/06/team-cherry-clarify-hollow-knight-silksong-will-be-out-before-the-2025-holiday-season/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gamingonlinux.com/2025/06/team</span><span class="invisible">-cherry-clarify-hollow-knight-silksong-will-be-out-before-the-2025-holiday-season/</span></a></p><p><a href="https://mastodon.social/tags/HollowKnight" class="mention hashtag" rel="tag">#<span>HollowKnight</span></a> <a href="https://mastodon.social/tags/Silksong" class="mention hashtag" rel="tag">#<span>Silksong</span></a></p>
<p>Khronos Group announce the Vulkan Video Decode VP9 Extension <a href="https://www.gamingonlinux.com/2025/06/khronos-group-announce-the-vulkan-video-decode-vp9-extension/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gamingonlinux.com/2025/06/khro</span><span class="invisible">nos-group-announce-the-vulkan-video-decode-vp9-extension/</span></a></p><p><a href="https://mastodon.social/tags/Vulkan" class="mention hashtag" rel="tag">#<span>Vulkan</span></a> <a href="https://mastodon.social/tags/GameDev" class="mention hashtag" rel="tag">#<span>GameDev</span></a></p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> <span class="h-card" translate="no"><a href="https://glauca.space/@r" class="u-url mention">@<span>r</span></a></span> Yeah, figured it was one of those.</p><p>I'm surprised they don't localise the list of payment methods, but it's kinda nice, tbh. It's often very frustrating when websites obscure potentially useful info based on whatever region you happen to be in.</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.gamedev.place/@lunarood" class="u-url mention">@<span>lunarood</span></a></span> <span class="h-card" translate="no"><a href="https://glauca.space/@r" class="u-url mention">@<span>r</span></a></span> it's jlcpcb</p>