<p><span class="h-card" translate="no"><a href="https://mastodon.social/@gamingonlinux" class="u-url mention">@<span>gamingonlinux</span></a></span> :(</p>

<p>The GamingOnLinux Forum is shutting: <a href="https://www.gamingonlinux.com/forum/topic/6463/page=1/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gamingonlinux.com/forum/topic/</span><span class="invisible">6463/page=1/</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> pain begets pain /hj</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> That&#39;s sounds like a nice thing to do tho. Busy the brain to forget the body</p>

<p><span class="h-card" translate="no"><a href="https://hachyderm.io/@qdoit" class="u-url mention">@<span>qdoit</span></a></span> gives me respite from pain</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> It&#39;s weird how much I enjoy &quot;Return of the Obra Dinn&quot;. You are basically an insurance adjuster working for the East India Company. So you&#39;re kind of investigating the ship&#39;s doom, but mostly to assign blame, figure back pay, look for individual liability, etc.</p>

<p>game i would like to play: Factorio but you *only* do compliance paperwork</p>

<p>apparently my idea of what to do on a big pain day is to learn Lean 4 from the reference manual</p>