Veganism Social

sumanthvepa<a href="https://mastodon.social/tags/ChatGPT" class="mention hashtag" rel="nofollow noopener" target="_blank">#ChatGPT</a> introduced me to a couple of cool things in <a href="https://mastodon.social/tags/Python" class="mention hashtag" rel="nofollow noopener" target="_blank">#Python</a> today. When you know that a function returns a specific type you can use assert to let <a href="https://mastodon.social/tags/mypy" class="mention hashtag" rel="nofollow noopener" target="_blank">#mypy</a> know that. Or you can use the cast() or TypeGuard. <a href="https://chatgpt.com/share/67d9f37a-5434-8009-884a-60eed44951cb" rel="nofollow noopener" translate="no" target="_blank">https://chatgpt.com/share/67d9f37a-5434-8009-884a-60eed44951cb</a>

Olivia A-CNew account, so new <a href="https://transfem.social/tags/introduction" rel="nofollow noopener" target="_blank">#introduction</a>. Let's do it again! I have a <a href="https://transfem.social/tags/MastersDegree" rel="nofollow noopener" target="_blank">#MastersDegree</a> in <a href="https://transfem.social/tags/ComputerScience" rel="nofollow noopener" target="_blank">#ComputerScience</a> and <a href="https://transfem.social/tags/ComputerEngineering" rel="nofollow noopener" target="_blank">#ComputerEngineering</a>. I went to <a href="https://transfem.social/tags/NMU" rel="nofollow noopener" target="_blank">#NMU</a> for undergrad and <a href="https://transfem.social/tags/MSU" rel="nofollow noopener" target="_blank">#MSU</a> for my graduate degree. I currently work at <a href="https://transfem.social/tags/UChicago" rel="nofollow noopener" target="_blank">#UChicago</a> for the <a href="https://transfem.social/tags/TMWCenter" rel="nofollow noopener" target="_blank">#TMWCenter</a>, which focuses on helping young children acquire language (and therefore other learning skills) faster. In my spare time, I develop <a href="https://transfem.social/tags/OpenSourceSoftware" rel="nofollow noopener" target="_blank">#OpenSourceSoftware</a> such as - a <a href="https://transfem.social/tags/SphinxDoc" rel="nofollow noopener" target="_blank">#SphinxDoc</a> extension that embed <a href="https://transfem.social/tags/Fediverse" rel="nofollow noopener" target="_blank">#Fediverse</a> comments on your page - a library to talk to <a href="https://transfem.social/tags/ManifoldMarkets" rel="nofollow noopener" target="_blank">#ManifoldMarkets</a> from native <a href="https://transfem.social/tags/Python" rel="nofollow noopener" target="_blank">#Python</a> - a <a href="https://transfem.social/tags/PredictionMarket" rel="nofollow noopener" target="_blank">#PredictionMarket</a> manager using the above - a <a href="https://transfem.social/tags/transpiler" rel="nofollow noopener" target="_blank">#transpiler</a> from a subset of Python to <a href="https://transfem.social/tags/OpenStreetMaps" rel="nofollow noopener" target="_blank">#OpenStreetMaps</a>'s <a href="https://transfem.social/tags/OverpassQL" rel="nofollow noopener" target="_blank">#OverpassQL</a> - bug fixes to many other projects, including <a href="https://transfem.social/tags/mypy" rel="nofollow noopener" target="_blank">#mypy</a>, <a href="https://transfem.social/tags/base58" rel="nofollow noopener" target="_blank">#base58</a>, <a href="https://transfem.social/tags/attrs" rel="nofollow noopener" target="_blank">#attrs</a>, <a href="https://transfem.social/tags/CPython" rel="nofollow noopener" target="_blank">#CPython</a>, & more I spend a fair bit of my time these days on <a href="https://transfem.social/tags/MathResearch" rel="nofollow noopener" target="_blank">#MathResearch</a>, specifically into the <a href="https://transfem.social/tags/ThueMorse" rel="nofollow noopener" target="_blank">#ThueMorse</a> Sequence and its extensions. I'm also a hobbyist editor on OpenStreetMap. <a href="https://transfem.social/tags/Demisexual" rel="nofollow noopener" target="_blank">#Demisexual</a>, <a href="https://transfem.social/tags/transfem" rel="nofollow noopener" target="_blank">#transfem</a>, and happily engaged to my <a href="https://transfem.social/tags/enby" rel="nofollow noopener" target="_blank">#enby</a> sweetheart. We have two cats: <a href="https://transfem.social/tags/OpheTheLoaf" rel="nofollow noopener" target="_blank">#OpheTheLoaf</a> and <a href="https://transfem.social/tags/MayalaranTheCat" rel="nofollow noopener" target="_blank">#MayalaranTheCat</a> (yes, from <a href="https://transfem.social/tags/StormlightArchive" rel="nofollow noopener" target="_blank">#StormlightArchive</a>) See <a href="https://transfem.social/notes/a4im5yv5i02700my" rel="nofollow noopener" target="_blank">here</a> for more on them! I speak English fluently, Spanish haltingly, and am trying to learn Chinese <a href="https://transfem.social/tags/queer" rel="nofollow noopener" target="_blank">#queer</a> <a href="https://transfem.social/tags/Chicago" rel="nofollow noopener" target="_blank">#Chicago</a>

Mark T. TomczakThe static type annotation system in Python (and associated typecheckers) really turns it into a business-ready language. I'm making some big refactors, and I don't know how I would pull them off without type verification.So many situations where I change a function signature and discover it's being called ⬅️ ⬅️ ⬅️ ⬅️ ⬅️ ⬅️ ⬅️ ⬅️ alllllll the way over there and would just runtime-error without mypy letting me know the signatures no longer match.Seriously, static type annotation alone has moved Python from "cute toy language" to "production-worthy" in my professional toolbox.<a href="https://mastodon.fixermark.com/tags/Python" class="mention hashtag" rel="nofollow noopener" target="_blank">#Python</a> <a href="https://mastodon.fixermark.com/tags/mypy" class="mention hashtag" rel="nofollow noopener" target="_blank">#mypy</a>

Olivia A-COh dang, my <a href="https://tech.lgbt/tags/introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#introduction</a> post is waaay out of date now. Let's do it again!I have a <a href="https://tech.lgbt/tags/MastersDegree" class="mention hashtag" rel="nofollow noopener" target="_blank">#MastersDegree</a> in <a href="https://tech.lgbt/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#ComputerScience</a> and <a href="https://tech.lgbt/tags/ComputerEngineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#ComputerEngineering</a>. I went to <a href="https://tech.lgbt/tags/NMU" class="mention hashtag" rel="nofollow noopener" target="_blank">#NMU</a> for undergrad and <a href="https://tech.lgbt/tags/MSU" class="mention hashtag" rel="nofollow noopener" target="_blank">#MSU</a> for my graduate degree. I currently work at <a href="https://tech.lgbt/tags/UChicago" class="mention hashtag" rel="nofollow noopener" target="_blank">#UChicago</a> for the <a href="https://tech.lgbt/tags/TMWCenter" class="mention hashtag" rel="nofollow noopener" target="_blank">#TMWCenter</a>, which focuses on helping young children acquire language (and therefore other learning skills) faster.In my spare time, I develop <a href="https://tech.lgbt/tags/OpenSourceSoftware" class="mention hashtag" rel="nofollow noopener" target="_blank">#OpenSourceSoftware</a> such as<ul><li>a library to talk to <a href="https://tech.lgbt/tags/ManifoldMarkets" class="mention hashtag" rel="nofollow noopener" target="_blank">#ManifoldMarkets</a> from native <a href="https://tech.lgbt/tags/Python" class="mention hashtag" rel="nofollow noopener" target="_blank">#Python</a></li><li>a <a href="https://tech.lgbt/tags/PredictionMarket" class="mention hashtag" rel="nofollow noopener" target="_blank">#PredictionMarket</a> manager using the above</li><li>a <a href="https://tech.lgbt/tags/transpiler" class="mention hashtag" rel="nofollow noopener" target="_blank">#transpiler</a> from a subset of Python to <a href="https://tech.lgbt/tags/OpenStreetMaps" class="mention hashtag" rel="nofollow noopener" target="_blank">#OpenStreetMaps</a>'s <a href="https://tech.lgbt/tags/OverpassQL" class="mention hashtag" rel="nofollow noopener" target="_blank">#OverpassQL</a></li><li>bug fixes to many other projects, including <a href="https://tech.lgbt/tags/mypy" class="mention hashtag" rel="nofollow noopener" target="_blank">#mypy</a>, <a href="https://tech.lgbt/tags/base58" class="mention hashtag" rel="nofollow noopener" target="_blank">#base58</a>, <a href="https://tech.lgbt/tags/attrs" class="mention hashtag" rel="nofollow noopener" target="_blank">#attrs</a>, <a href="https://tech.lgbt/tags/CPython" class="mention hashtag" rel="nofollow noopener" target="_blank">#CPython</a>, & more</li></ul>I spend a fair bit of my time these days on <a href="https://tech.lgbt/tags/MathResearch" class="mention hashtag" rel="nofollow noopener" target="_blank">#MathResearch</a>, specifically into the <a href="https://tech.lgbt/tags/ThueMorse" class="mention hashtag" rel="nofollow noopener" target="_blank">#ThueMorse</a> Sequence and its extensions.I'm also a hobbyist editor on OpenStreetMap.<a href="https://tech.lgbt/tags/Demisexual" class="mention hashtag" rel="nofollow noopener" target="_blank">#Demisexual</a>, <a href="https://tech.lgbt/tags/transfem" class="mention hashtag" rel="nofollow noopener" target="_blank">#transfem</a>, and happily engaged to my <a href="https://tech.lgbt/tags/enby" class="mention hashtag" rel="nofollow noopener" target="_blank">#enby</a> sweetheart.We have two cats: <a href="https://tech.lgbt/tags/OpheTheLoaf" class="mention hashtag" rel="nofollow noopener" target="_blank">#OpheTheLoaf</a> and <a href="https://tech.lgbt/tags/MayalaranTheCat" class="mention hashtag" rel="nofollow noopener" target="_blank">#MayalaranTheCat</a> (yes, from <a href="https://tech.lgbt/tags/StormlightArchive" class="mention hashtag" rel="nofollow noopener" target="_blank">#StormlightArchive</a>)<a href="https://tech.lgbt/tags/queer" class="mention hashtag" rel="nofollow noopener" target="_blank">#queer</a> <a href="https://tech.lgbt/tags/Chicago" class="mention hashtag" rel="nofollow noopener" target="_blank">#Chicago</a>

SharlatanGood news <a href="https://mastodon.social/tags/NumPy" class="mention hashtag" rel="nofollow noopener" target="_blank">#NumPy</a> is built 1.23.2->1.24.4 with the latest <a href="https://mastodon.social/tags/pytest" class="mention hashtag" rel="nofollow noopener" target="_blank">#pytest</a> and <a href="https://mastodon.social/tags/MyPy" class="mention hashtag" rel="nofollow noopener" target="_blank">#MyPy</a>, any other versions up to 1.26.4 could not be built without a higher level of wizardry.<a href="https://mastodon.social/tags/Pandas" class="mention hashtag" rel="nofollow noopener" target="_blank">#Pandas</a> has been built on the latest version!Fixing failing dependency to build <a href="https://mastodon.social/tags/SciPy" class="mention hashtag" rel="nofollow noopener" target="_blank">#SciPy</a> hoping to refresh it to the latest version when chaning packages are resolved.70+ commits are in the queue for the python team in <a href="https://mastodon.social/tags/Guix" class="mention hashtag" rel="nofollow noopener" target="_blank">#Guix</a>. Oh Brave New World...

Chris is.How on earth are users of django-stubs getting the “id" field to work properly? Does nobody ever refer to it in code? Am I holding it wrong? I have so many instances of ‘error: "NominatingMemberProfile" has no attribute "id"' in my mypy output, and I can't help but wonder what the hell I'm doing wrong. <a href="https://wandering.shop/tags/django" class="mention hashtag" rel="nofollow noopener" target="_blank">#django</a> <a href="https://wandering.shop/tags/mypy" class="mention hashtag" rel="nofollow noopener" target="_blank">#mypy</a> <a href="https://wandering.shop/tags/python" class="mention hashtag" rel="nofollow noopener" target="_blank">#python</a>

chris 🥐i apparently wasn't running <a href="https://hachyderm.io/tags/mypy" class="mention hashtag" rel="nofollow noopener" target="_blank">#mypy</a> from the right directory to access my `mypy.ini` config, so after fixing that, my humble 358 errors turned into a whopping 1418 errors 🫣🫠🫥 [internal screaming]<a href="https://hachyderm.io/tags/python" class="mention hashtag" rel="nofollow noopener" target="_blank">#python</a>

chris 🥐TIL in my <a href="https://hachyderm.io/tags/python" class="mention hashtag" rel="nofollow noopener" target="_blank">#python</a> <a href="https://hachyderm.io/tags/mypy" class="mention hashtag" rel="nofollow noopener" target="_blank">#mypy</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```python from typing import Self class ImActuallyAString(str): def one_longer(self) -> Self: return self.__class__(self + "one") ``` ᕕ( ᐛ )ᕗ (please tell me if I'm wrong lol)

David Ellis<a href="https://techhub.social/tags/Typescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#Typescript</a>, <a href="https://techhub.social/tags/Mypy" class="mention hashtag" rel="nofollow noopener" target="_blank">#Mypy</a>, etc have been popular for a few years now. If you prefer them to regular <a href="https://techhub.social/tags/Javascript" class="mention hashtag" rel="nofollow noopener" target="_blank">#Javascript</a>, <a href="https://techhub.social/tags/Python" class="mention hashtag" rel="nofollow noopener" target="_blank">#Python</a>, etc, what's the *main* reason why?

GlyphPEP 593 is a bit vague on how you’re supposed to actually consume arguments to `Annotated`; here is my proposal.<a href="https://blog.glyph.im/2023/12/annotated-at-runtime.html" rel="nofollow noopener" translate="no" target="_blank">https://blog.glyph.im/2023/12/annotated-at-runtime.html</a><a href="https://mastodon.social/tags/python" class="mention hashtag" rel="nofollow noopener" target="_blank">#python</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a> <a href="https://mastodon.social/tags/mypy" class="mention hashtag" rel="nofollow noopener" target="_blank">#mypy</a>

Folker<a href="https://mastodon.social/@zenforyen" class="u-url mention" rel="nofollow noopener" target="_blank">@zenforyen</a> <a href="https://mastodon.social/@askonomm" class="u-url mention" rel="nofollow noopener" target="_blank">@askonomm</a> <a href="https://mindly.social/@cazabon" class="u-url mention" rel="nofollow noopener" target="_blank">@cazabon</a> <a href="https://mastodon.km6g.us/@kevin" class="u-url mention" rel="nofollow noopener" target="_blank">@kevin</a> <a href="https://furry.engineer/@ado" class="u-url mention" rel="nofollow noopener" target="_blank">@ado</a> How would you express something like the following architecture in <a href="https://mastodon.social/tags/mypy" class="mention hashtag" rel="nofollow noopener" target="_blank">#mypy</a> friendly <a href="https://mastodon.social/tags/python" class="mention hashtag" rel="nofollow noopener" target="_blank">#python</a> code or even better in different programming languages like <a href="https://mastodon.social/tags/cpp" class="mention hashtag" rel="nofollow noopener" target="_blank">#cpp</a>, <a href="https://mastodon.social/tags/java" class="mention hashtag" rel="nofollow noopener" target="_blank">#java</a>, <a href="https://mastodon.social/tags/golang" class="mention hashtag" rel="nofollow noopener" target="_blank">#golang</a> etc?(One part of our software is fundamentally based on countless such calls all over the place.)def f(smart_evaluator, a, b): ...def g(...): x = smart_evaluator.exec(f, someting_extra, a, b)Of course it is possible, but the question is how natural, easy and elegant it is.

C.<a href="https://mastodon.social/@folkerschamel" class="u-url mention" rel="nofollow noopener" target="_blank">@folkerschamel</a> <a href="https://furry.engineer/@ado" class="u-url mention" rel="nofollow noopener" target="_blank">@ado</a> Asking for specific <a href="https://mindly.social/tags/examples" class="mention hashtag" rel="nofollow noopener" target="_blank">#examples</a> type checking finds is ... unproductive. You write 2 modules of code, run <a href="https://mindly.social/tags/mypy" class="mention hashtag" rel="nofollow noopener" target="_blank">#mypy</a>, and get a list of the 11 places you need to fix - before you've even written unit tests that may or may not have caught the same problem.If I tried to keep track of them all, I wouldn't have time to write code.[...]<a href="https://mindly.social/tags/TypeHints" class="mention hashtag" rel="nofollow noopener" target="_blank">#TypeHints</a> <a href="https://mindly.social/tags/TypeChecking" class="mention hashtag" rel="nofollow noopener" target="_blank">#TypeChecking</a> <a href="https://mindly.social/tags/tests" class="mention hashtag" rel="nofollow noopener" target="_blank">#tests</a> <a href="https://mindly.social/tags/lint" class="mention hashtag" rel="nofollow noopener" target="_blank">#lint</a>

Olivia AppletonIt's time for a re-<a href="https://mastodon.social/tags/introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#introduction</a>!I'm a <a href="https://mastodon.social/tags/MastersStudent" class="mention hashtag" rel="nofollow noopener" target="_blank">#MastersStudent</a> in <a href="https://mastodon.social/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#ComputerScience</a>. In my spare time, I develop <a href="https://mastodon.social/tags/OpenSourceSoftware" class="mention hashtag" rel="nofollow noopener" target="_blank">#OpenSourceSoftware</a> such as - a library to talk to <a href="https://mastodon.social/tags/ManifoldMarkets" class="mention hashtag" rel="nofollow noopener" target="_blank">#ManifoldMarkets</a> from native <a href="https://mastodon.social/tags/Python" class="mention hashtag" rel="nofollow noopener" target="_blank">#Python</a> - a <a href="https://mastodon.social/tags/PredictionMarket" class="mention hashtag" rel="nofollow noopener" target="_blank">#PredictionMarket</a> manager using the above - a transpiler from a subset of Python to <a href="https://mastodon.social/tags/OpenStreetMaps" class="mention hashtag" rel="nofollow noopener" target="_blank">#OpenStreetMaps</a>'s OverpassQL - bug fixes to many other projects, including <a href="https://mastodon.social/tags/mypy" class="mention hashtag" rel="nofollow noopener" target="_blank">#mypy</a>, <a href="https://mastodon.social/tags/base58" class="mention hashtag" rel="nofollow noopener" target="_blank">#base58</a>, <a href="https://mastodon.social/tags/attrs" class="mention hashtag" rel="nofollow noopener" target="_blank">#attrs</a>, <a href="https://mastodon.social/tags/cpython" class="mention hashtag" rel="nofollow noopener" target="_blank">#cpython</a>, and moreI'm also a hobbyist editor on OpenStreetMap.<a href="https://mastodon.social/tags/Bi" class="mention hashtag" rel="nofollow noopener" target="_blank">#Bi</a>, <a href="https://mastodon.social/tags/transfem" class="mention hashtag" rel="nofollow noopener" target="_blank">#transfem</a>, and happily dating my enby sweetheart

Recent searches

Search options

Administered by:

Server stats:

#mypy