Whole-known-network
<p><span class="h-card" translate="no"><a href="https://fosstodon.org/@abosio" class="u-url mention">@<span>abosio</span></a></span> yup. Flipped to Windows 11 last night. All working fine now. Although, Windows 11 is also 🤢</p>
<p>I finally got around to redeploying <a href="https://sherlorocq.sirref.org" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">sherlorocq.sirref.org</span><span class="invisible"></span></a> -- a search index over all of the sources in Rocq's main opam repository</p>
<p>Huh. I wonder how sighted people like it.</p><p>If you get it, boost it.</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@brandon_rhodes" class="u-url mention">@<span>brandon_rhodes</span></a></span> <span class="h-card" translate="no"><a href="https://hachyderm.io/@nedbat" class="u-url mention">@<span>nedbat</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> I've seen a lot of design patterns reinvented, and done it myself quite a few times, but: every time I've seen someone go "Stand back! I know Design Patterns!" it's been a disaster 🙃</p>
<p><span class="h-card" translate="no"><a href="https://fosstodon.org/@kev" class="u-url mention">@<span>kev</span></a></span> Oh, that is a bit 🤢</p>
<p><span class="h-card" translate="no"><a href="https://hachyderm.io/@nedbat" class="u-url mention">@<span>nedbat</span></a></span> <span class="h-card" translate="no"><a href="https://aus.social/@neoluddite" class="u-url mention">@<span>neoluddite</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> The Composite was a solid Design Pattern, man. Like, lxml uses that.</p>
<p><span class="h-card" translate="no"><a href="https://fosstodon.org/@kev" class="u-url mention">@<span>kev</span></a></span> does dmesg output anything useful when the disconnect happens?</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.sdf.org/@ando" class="u-url mention">@<span>ando</span></a></span> I'm using port 1. I tried port 3 too, but it didn't work.</p>
<p><span class="h-card" translate="no"><a href="https://shitposter.world/users/Lars" class="u-url mention">@<span>Lars</span></a></span> I'm not using a hub. It's a 38" ultrawide with a USB hub built into it. So you just connect the USB cable to the laptop and the screen does everything else. I'm considering buying a hub, as the one I have doesn't support 4k, but I really don't want to since my other machines work fine with what I have.</p>