<p><span class="h-card" translate="no"><a href="https://mastodon.social/@regehr" class="u-url mention">@<span>regehr</span></a></span> did u see his presentation at POPL this yr</p>

https://inkxolotl.tumblr.com/post/741783132435628032 https://gelbooru.com/index.php?id=10669551&page=post&s=view

<p>even the POPL people are going to break out in a cold sweat over this one</p>

<p>just a reminder that this 2-page Patrick Cousot paper exists</p><p><a href="https://www.di.ens.fr/~cousot/publications.www/CousotCousot-POPL14-ACM-p2-3-2014.pdf" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">di.ens.fr/~cousot/publications</span><span class="invisible">.www/CousotCousot-POPL14-ACM-p2-3-2014.pdf</span></a></p>

https://twitter.com/CrisppyBoat/status/1757083009033843020 https://danbooru.donmai.us/posts/8147989

<p><span class="h-card" translate="no"><a href="https://hachyderm.io/@fasterthanlime" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>fasterthanlime</span></a></span> 💀</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@gamingonlinux" class="u-url mention">@<span>gamingonlinux</span></a></span> It&#39;s like Rockstar is just fucking over any person on Linux or has proper security measures on their computer.</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>No, it&#39;s pretty normal. Steam is the one promising stuff, they&#39;re the ones that get to deliver. </p><p>Honestly, I don&#39;t even know why anyone would allow their game to be run on Deck. If Steam messes up or doesn&#39;t update fast enough, people will blame the devs anyway.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> <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> </p><p>struct.Point(x=int, y=int)</p><p>It&#39;s almost the struct keyword, but kinda ugly underneath...</p><p>class Struct:<br /> def __getattr__(self, name):<br /> caller_globals = inspect.stack(0)[1].frame.f_globals</p><p> def make_dataclass(**args):<br /> new_class = dataclass(type(name, (), dict(__annotations__=args)))<br /> caller_globals[name] = new_class</p><p> return make_dataclass</p><p>struct = Struct()</p><p>struct.Point(x=int, y=int)</p><p>print(Point(x=1, y=2))</p>