it kinda baffles me that people just blindly trust the output of llms and don't even do any verification personally, even when someone or something that isn't an llm tells me something, i still take it with a grain of salt and look for other sources for confirmation

<p>It&#39;s a really big pool.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@gamingonlinux" class="u-url mention">@<span>gamingonlinux</span></a></span> I&#39;m fighting through Horizon Forbidden West despite all the non playables, but aiming at 30fps is hard 🙂</p>

<p><span class="h-card" translate="no"><a href="https://donotsta.re/users/mwk" class="u-url mention">@<span>mwk</span></a></span> we know you hate Verilog, Wanda</p>

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

<p>the existence of the free enterprise implies the existence of the bound enterprise</p>

<p>OH: &quot;my trip here was directly funded by doing Coq work... quite a significant number of it!&quot;</p>

<p><span class="h-card" translate="no"><a href="https://donotsta.re/users/mei" class="u-url mention">@<span>mei</span></a></span> it&#39;s an open secret that formal methods are much, much harder to get right than informal methods</p>

<p><span class="h-card" translate="no"><a href="https://donotsta.re/users/mwk" class="u-url mention">@<span>mwk</span></a></span> i know at more or less all times but also hide it at more or less all times</p><p>i think your version is better</p>