<p>ok here&#39;s dumb q #1 bc i haven&#39;t seen this before: lambda at the type level is a forall right</p><p>like in the families section that&#39;s just a forall right</p>

<p><span class="h-card" translate="no"><a href="https://social.coop/@chrisjrn" class="u-url mention">@<span>chrisjrn</span></a></span> <span class="h-card" translate="no"><a href="https://aus.social/@voltagex" class="u-url mention">@<span>voltagex</span></a></span> <span class="h-card" translate="no"><a href="https://publicidentity.net/@jezdez" class="u-url mention">@<span>jezdez</span></a></span> The only pre 1.0 release linked on python.org is 0.9.1 (the initial release).. <a href="https://www.python.org/download/releases/early/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">python.org/download/releases/e</span><span class="invisible">arly/</span></a></p><p>For reasons known to me and not to others, I happen to have the Python 0.9.6, 0.9.7b, and 0.9.8 releases in my possession. I&#39;m not sure if these are easily reconstructed from the cPython Github repo or not.</p>

<p><span class="h-card" translate="no"><a href="https://hachyderm.io/@fasterthanlime" class="u-url mention">@<span>fasterthanlime</span></a></span> Buffer (probably) still works, but they didn&#39;t bother to update the name or logo on most of their website.</p>

<p><span class="h-card" translate="no"><a href="https://hachyderm.io/@fasterthanlime" class="u-url mention">@<span>fasterthanlime</span></a></span> I’m trying out <a href="https://openvibe.social/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">openvibe.social/</span><span class="invisible"></span></a> right now to cross post on Bluesky and Mastodon, it seems pretty good except when replying to myself (to make a thread) I still need to copy paste. Having all notifications in one place is nice though</p>

<p><span class="h-card" translate="no"><a href="https://hachyderm.io/@fasterthanlime" class="u-url mention">@<span>fasterthanlime</span></a></span> We&#39;re one step closer to utopia :)</p>

<p>Whoa there really isn’t any cross posting solution targeting Twitter anymore huh? Renato abandoned his project, moa party is now a parked domain… it’s post manually or ignore the platform now.</p>

<p><span class="h-card" translate="no"><a href="https://aus.social/@voltagex" class="u-url mention">@<span>voltagex</span></a></span> <br />Look, I&#39;ve already been testing on 1.6, and I could easily install back to 1.0.1 onto my MacBook (thanks to <span class="h-card" translate="no"><a href="https://publicidentity.net/@jezdez" class="u-url mention">@<span>jezdez</span></a></span>&#39;s suggestion). I&#39;m honestly looking for something 0.9 vintage.</p><p><span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span></p>

<p><span class="h-card" translate="no"><a href="https://social.coop/@chrisjrn" class="u-url mention">@<span>chrisjrn</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> a godbolt-like site for old Python versions could be cool (or a security nightmare, or both)</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> Did I remember you playing around with ancient versions of Python recently?</p><p>I&#39;m wondering how far back I can make my implementation of &quot;generators&quot; work (<a href="https://social.coop/@chrisjrn/113162398622169905" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">social.coop/@chrisjrn/11316239</span><span class="invisible">8622169905</span></a>)</p>