<p>who up trying to understand predicativity (pls help)</p>

<p><span class="h-card" translate="no"><a href="https://types.pl/@ionchy" class="u-url mention">@<span>ionchy</span></a></span> that&#39;s why i was asking lol it&#39;s literally u</p>

<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 other day I was thinking about GTA 6 and was sure that Rockstar will definetly enable Anti-Cheat on online mode.</p><p>I was not expecting GTA V to get that treatment. But I have seen the amount of cheating on GTA V, it is justified. I myself always played with Closed Friends Session to keep cheaters out.</p>

<p><span class="h-card" translate="no"><a href="https://types.pl/@ionchy" class="u-url mention">@<span>ionchy</span></a></span> idk seems to be ur alter ego <a href="https://proofassistants.stackexchange.com/users/75/couchy" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">proofassistants.stackexchange.</span><span class="invisible">com/users/75/couchy</span></a></p>

<p><span class="h-card" translate="no"><a href="https://rebel.ar/@nowis" class="u-url mention">@<span>nowis</span></a></span> <span class="h-card" translate="no"><a href="https://fosstodon.org/@brettcannon" class="u-url mention">@<span>brettcannon</span></a></span> Sure. That&#39;d be great.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@gamingonlinux" class="u-url mention">@<span>gamingonlinux</span></a></span> </p><p>This is surely going to make things salty who bought GTA V on Steam Deck.</p>

<p>how could my program run into ABI incompatibility when I SPECIFICALLY requested it not to ☹️</p><p>(but yes, this is what I was concerned might happen: if you reinterpret a `String` as a `CompactString`, things go wrong VERY QUICKLY)</p>

<p><span class="h-card" translate="no"><a href="https://ciberlandia.pt/@seyon" class="u-url mention">@<span>seyon</span></a></span> no it won&#39;t <a href="https://www.gamingonlinux.com/2024/09/microsoft-windows-kernel-changes-dont-suddenly-mean-big-things-for-linux-gaming/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gamingonlinux.com/2024/09/micr</span><span class="invisible">osoft-windows-kernel-changes-dont-suddenly-mean-big-things-for-linux-gaming/</span></a></p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> <br />Like <span class="h-card" translate="no"><a href="https://fosstodon.org/@brettcannon" class="u-url mention">@<span>brettcannon</span></a></span> Struct?<br /><a href="https://snarky.ca/proposing-a-struct-syntax/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">snarky.ca/proposing-a-struct-s</span><span class="invisible">yntax/</span></a></p>