<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>

<p><span class="h-card" translate="no"><a href="https://social.noyu.me/@hikari" class="u-url mention">@<span>hikari</span></a></span> a long thin metal tube *will* move</p><p>maybe if you go for carbon fiber, and even then</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> oh God thanks, I am really bad with numbers but I only had a hunch because I read up sth in this reference like ages ago. Well carry on 👋🏾</p>

<p><span class="h-card" translate="no"><a href="https://social.tchncs.de/@ppxl" class="u-url mention">@<span>ppxl</span></a></span> maybe 😇</p>

<p><span class="h-card" translate="no"><a href="https://radiosocial.de/@hennichodernich" class="u-url mention">@<span>hennichodernich</span></a></span> <span class="h-card" translate="no"><a href="https://ioc.exchange/@azonenberg" class="u-url mention">@<span>azonenberg</span></a></span> oh, i even have the flashes somewhere, it would be almost trivial</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> is this a Polish pope reference, again?</p>