shakedown.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A community for live music fans with roots in the jam scene. Shakedown Social is run by a team of volunteers (led by @clifff and @sethadam1) and funded by donations.

Administered by:

Server stats:

271
active users

#mypy

0 posts0 participants0 posts today
Adam Johnson :django: :python:<p>I’m busy re-applying this “gradual import” technique on a client project today. Will slowly get them up to a full django-stubs installation.</p><p><a href="https://fosstodon.org/tags/Python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Python</span></a> <a href="https://fosstodon.org/tags/MyPy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MyPy</span></a></p><p><a href="https://adamj.eu/tech/2022/08/23/python-type-hints-gradually-add-types-for-third-party-packages/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">adamj.eu/tech/2022/08/23/pytho</span><span class="invisible">n-type-hints-gradually-add-types-for-third-party-packages/</span></a></p>
Olivia A-C<p>New account, so new <a href="https://transfem.social/tags/introduction" rel="nofollow noopener noreferrer" target="_blank">#introduction</a><span>. Let's do it again!<br><br>I have a </span><a href="https://transfem.social/tags/MastersDegree" rel="nofollow noopener noreferrer" target="_blank">#MastersDegree</a> in <a href="https://transfem.social/tags/ComputerScience" rel="nofollow noopener noreferrer" target="_blank">#ComputerScience</a> and <a href="https://transfem.social/tags/ComputerEngineering" rel="nofollow noopener noreferrer" target="_blank">#ComputerEngineering</a>. I went to <a href="https://transfem.social/tags/NMU" rel="nofollow noopener noreferrer" target="_blank">#NMU</a> for undergrad and <a href="https://transfem.social/tags/MSU" rel="nofollow noopener noreferrer" target="_blank">#MSU</a> for my graduate degree. I currently work at <a href="https://transfem.social/tags/UChicago" rel="nofollow noopener noreferrer" target="_blank">#UChicago</a> for the <a href="https://transfem.social/tags/TMWCenter" rel="nofollow noopener noreferrer" target="_blank">#TMWCenter</a><span>, which focuses on helping young children acquire language (and therefore other learning skills) faster.<br><br>In my spare time, I develop </span><a href="https://transfem.social/tags/OpenSourceSoftware" rel="nofollow noopener noreferrer" target="_blank">#OpenSourceSoftware</a><span> such as<br>- a </span><a href="https://transfem.social/tags/SphinxDoc" rel="nofollow noopener noreferrer" target="_blank">#SphinxDoc</a> extension that embed <a href="https://transfem.social/tags/Fediverse" rel="nofollow noopener noreferrer" target="_blank">#Fediverse</a><span> comments on your page<br>- a library to talk to </span><a href="https://transfem.social/tags/ManifoldMarkets" rel="nofollow noopener noreferrer" target="_blank">#ManifoldMarkets</a> from native <a href="https://transfem.social/tags/Python" rel="nofollow noopener noreferrer" target="_blank">#Python</a><span><br>- a </span><a href="https://transfem.social/tags/PredictionMarket" rel="nofollow noopener noreferrer" target="_blank">#PredictionMarket</a><span> manager using the above<br>- a </span><a href="https://transfem.social/tags/transpiler" rel="nofollow noopener noreferrer" target="_blank">#transpiler</a> from a subset of Python to <a href="https://transfem.social/tags/OpenStreetMaps" rel="nofollow noopener noreferrer" target="_blank">#OpenStreetMaps</a>'s <a href="https://transfem.social/tags/OverpassQL" rel="nofollow noopener noreferrer" target="_blank">#OverpassQL</a><span><br>- bug fixes to many other projects, including </span><a href="https://transfem.social/tags/mypy" rel="nofollow noopener noreferrer" target="_blank">#mypy</a>, <a href="https://transfem.social/tags/base58" rel="nofollow noopener noreferrer" target="_blank">#base58</a>, <a href="https://transfem.social/tags/attrs" rel="nofollow noopener noreferrer" target="_blank">#attrs</a>, <a href="https://transfem.social/tags/CPython" rel="nofollow noopener noreferrer" target="_blank">#CPython</a><span>, &amp; more<br><br>I spend a fair bit of my time these days on </span><a href="https://transfem.social/tags/MathResearch" rel="nofollow noopener noreferrer" target="_blank">#MathResearch</a>, specifically into the <a href="https://transfem.social/tags/ThueMorse" rel="nofollow noopener noreferrer" target="_blank">#ThueMorse</a><span> Sequence and its extensions.<br><br>I'm also a hobbyist editor on OpenStreetMap.<br><br></span><a href="https://transfem.social/tags/Demisexual" rel="nofollow noopener noreferrer" target="_blank">#Demisexual</a>, <a href="https://transfem.social/tags/transfem" rel="nofollow noopener noreferrer" target="_blank">#transfem</a>, and happily engaged to my <a href="https://transfem.social/tags/enby" rel="nofollow noopener noreferrer" target="_blank">#enby</a><span> sweetheart.<br><br>We have two cats: </span><a href="https://transfem.social/tags/OpheTheLoaf" rel="nofollow noopener noreferrer" target="_blank">#OpheTheLoaf</a> and <a href="https://transfem.social/tags/MayalaranTheCat" rel="nofollow noopener noreferrer" target="_blank">#MayalaranTheCat</a> (yes, from <a href="https://transfem.social/tags/StormlightArchive" rel="nofollow noopener noreferrer" target="_blank">#StormlightArchive</a>) See <a href="https://transfem.social/notes/a4im5yv5i02700my" rel="nofollow noopener noreferrer" target="_blank">here</a><span> for more on them!<br><br>I speak English fluently, Spanish haltingly, and am trying to learn Chinese<br><br></span><a href="https://transfem.social/tags/queer" rel="nofollow noopener noreferrer" target="_blank">#queer</a> <a href="https://transfem.social/tags/Chicago" rel="nofollow noopener noreferrer" target="_blank">#Chicago</a></p>
Olivia A-C<p>Oh dang, my <a href="https://tech.lgbt/tags/introduction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>introduction</span></a> post is waaay out of date now. Let's do it again!</p><p>I have a <a href="https://tech.lgbt/tags/MastersDegree" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MastersDegree</span></a> in <a href="https://tech.lgbt/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ComputerScience</span></a> and <a href="https://tech.lgbt/tags/ComputerEngineering" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ComputerEngineering</span></a>. I went to <a href="https://tech.lgbt/tags/NMU" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NMU</span></a> for undergrad and <a href="https://tech.lgbt/tags/MSU" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MSU</span></a> for my graduate degree. I currently work at <a href="https://tech.lgbt/tags/UChicago" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>UChicago</span></a> for the <a href="https://tech.lgbt/tags/TMWCenter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TMWCenter</span></a>, which focuses on helping young children acquire language (and therefore other learning skills) faster.</p><p>In my spare time, I develop <a href="https://tech.lgbt/tags/OpenSourceSoftware" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OpenSourceSoftware</span></a> such as</p><ul><li>a library to talk to <a href="https://tech.lgbt/tags/ManifoldMarkets" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ManifoldMarkets</span></a> from native <a href="https://tech.lgbt/tags/Python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Python</span></a></li><li>a <a href="https://tech.lgbt/tags/PredictionMarket" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PredictionMarket</span></a> manager using the above</li><li>a <a href="https://tech.lgbt/tags/transpiler" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>transpiler</span></a> from a subset of Python to <a href="https://tech.lgbt/tags/OpenStreetMaps" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OpenStreetMaps</span></a>'s <a href="https://tech.lgbt/tags/OverpassQL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OverpassQL</span></a></li><li>bug fixes to many other projects, including <a href="https://tech.lgbt/tags/mypy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mypy</span></a>, <a href="https://tech.lgbt/tags/base58" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>base58</span></a>, <a href="https://tech.lgbt/tags/attrs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>attrs</span></a>, <a href="https://tech.lgbt/tags/CPython" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CPython</span></a>, &amp; more</li></ul><p>I spend a fair bit of my time these days on <a href="https://tech.lgbt/tags/MathResearch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MathResearch</span></a>, specifically into the <a href="https://tech.lgbt/tags/ThueMorse" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ThueMorse</span></a> Sequence and its extensions.</p><p>I'm also a hobbyist editor on OpenStreetMap.</p><p><a href="https://tech.lgbt/tags/Demisexual" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Demisexual</span></a>, <a href="https://tech.lgbt/tags/transfem" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>transfem</span></a>, and happily engaged to my <a href="https://tech.lgbt/tags/enby" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>enby</span></a> sweetheart.</p><p>We have two cats: <a href="https://tech.lgbt/tags/OpheTheLoaf" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OpheTheLoaf</span></a> and <a href="https://tech.lgbt/tags/MayalaranTheCat" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MayalaranTheCat</span></a> (yes, from <a href="https://tech.lgbt/tags/StormlightArchive" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>StormlightArchive</span></a>)</p><p><a href="https://tech.lgbt/tags/queer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>queer</span></a> <a href="https://tech.lgbt/tags/Chicago" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Chicago</span></a></p>
Paolo Melchiorre<p>Enjoyed a morning walk listening to Intervista Pythonista italian podcast 🎙️</p><p>Marco Santoni &amp; Cesare Placanica hosted Alan Franzoni who discussed type-checking in Python and its application at Aiven with mypy 🐍</p><p>Highly recommend 👇<br><a href="https://podcasters.spotify.com/pod/show/marco-santoni/episodes/Type-checking-statico-su-grandi-codebase--Ep-55-e2lufum" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">podcasters.spotify.com/pod/sho</span><span class="invisible">w/marco-santoni/episodes/Type-checking-statico-su-grandi-codebase--Ep-55-e2lufum</span></a></p><p><a href="https://fosstodon.org/tags/Python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Python</span></a> <a href="https://fosstodon.org/tags/TypeChecking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TypeChecking</span></a> <a href="https://fosstodon.org/tags/Podcast" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Podcast</span></a> <a href="https://fosstodon.org/tags/MyPy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MyPy</span></a> <a href="https://fosstodon.org/tags/IntervistaPythonista" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IntervistaPythonista</span></a></p>
jtmoulia 🐁<p>A guide on integrating <a href="https://mstdn.social/tags/emacs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>emacs</span></a> + <a href="https://mstdn.social/tags/python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>python</span></a> + <a href="https://mstdn.social/tags/hatch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>hatch</span></a> using [mostly] builtin tooling and project local .dir-locals.el variables.</p><p>Specifically, this setup uses <a href="https://mstdn.social/tags/Eglot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Eglot</span></a> + <a href="https://mstdn.social/tags/pyright" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pyright</span></a> for live syntax checking, <a href="https://mstdn.social/tags/pytest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pytest</span></a> for code running, <a href="https://mstdn.social/tags/MyPy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MyPy</span></a> for type-checking, and <a href="https://mstdn.social/tags/IPython" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IPython</span></a> as the shell</p><p>Feedback would be welcome -- trying to get it robust + idiomatic.</p><p><a href="https://jtmoulia.srht.site/guides/emacs-python-hatch/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jtmoulia.srht.site/guides/emac</span><span class="invisible">s-python-hatch/</span></a></p>
chris 🥐<p>TIL in my <a href="https://hachyderm.io/tags/python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>python</span></a> <a href="https://hachyderm.io/tags/mypy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mypy</span></a> adventures, the proper way to set up a class that returns itself is to use the `Self` typing annotation and return values by calling `self.__class__` on the new value</p><p>```python<br>from typing import Self<br>class ImActuallyAString(str):<br> def one_longer(self) -&gt; Self:<br> return self.__class__(self + "one")<br>``` </p><p>ᕕ( ᐛ )ᕗ (please tell me if I'm wrong lol)</p>
Cyril Brulebois<p><span class="h-card" translate="no"><a href="https://hachyderm.io/@nedbat" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>nedbat</span></a></span> I couldn't find a cached version (quite probably I didn't look hard enough).</p><p>In my case, the offending part was:</p><p>class Foo:<br> bar: Bar = None</p><p>Tried:</p><p>class Foo:<br> bar: Optional[Bar] = None</p><p>This makes <a href="https://mamot.fr/tags/mypy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mypy</span></a> happy in that spot, but then I would have needed to disambiguate the type (via asserts and the like) all the time, so I went for something simple yet not entirely satisfactory:</p><p>class Foo:<br> bar: Bar = None # type: ignore</p><p>And everything else expects bar to be Bar, not None.</p>
partizan<p><span class="h-card"><a href="https://mastodon.social/@ambv" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>ambv</span></a></span> so, what do you think about this problem?</p><p>It also behaves the same way in mypy. But here bug is not closed, and i'm hoping it can be fixed.</p><p><a href="https://github.com/python/mypy/issues/11583" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/python/mypy/issues/</span><span class="invisible">11583</span></a></p><p><a href="https://mstdn.social/tags/Python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Python</span></a> <a href="https://mstdn.social/tags/PythonTyping" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PythonTyping</span></a> <a href="https://mstdn.social/tags/Mypy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mypy</span></a> <a href="https://mstdn.social/tags/Pyright" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Pyright</span></a></p>
Łukasz Langa<p>Anybody found a way to make the <a href="https://mastodon.social/tags/Pylance" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Pylance</span></a> type checker understand Click decorators?</p><p><a href="https://mastodon.social/tags/Mypy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mypy</span></a> understands them just fine.</p><p><a href="https://mastodon.social/tags/Python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Python</span></a> <a href="https://mastodon.social/tags/PyRight" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PyRight</span></a></p>
Paolo Melchiorre<p>MyPy 1.0.0 has been released 🎉</p><p>"Mypy is a static type checker for Python. This release includes new features, performance improvements and bug fixes." ✨</p><p>Some of them 👇<br>- the new version numbers will be of form x.y.z 🏷️<br>- version 1.0 is up to 40% faster than 0.991 ⚡<br>- it will now generate an error if you use a variable before it’s defined 🐛<br>- mypyc can now compile Python 3.10 match statements ✅</p><p><a href="https://mypy-lang.blogspot.com/2023/02/mypy-10-released.html" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mypy-lang.blogspot.com/2023/02</span><span class="invisible">/mypy-10-released.html</span></a></p><p><a href="https://fosstodon.org/tags/mypy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mypy</span></a> <a href="https://fosstodon.org/tags/python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>python</span></a> <a href="https://fosstodon.org/tags/type" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>type</span></a> <a href="https://fosstodon.org/tags/check" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>check</span></a></p>