Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
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:

289
active users

shakedown.social: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.4

#mypy

1 post1 participant0 posts today
Public
Olivia A-C

New account, so new #introduction. Let's do it again!

I have a #MastersDegree in #ComputerScience and #ComputerEngineering. I went to #NMU for undergrad and #MSU for my graduate degree. I currently work at #UChicago for the #TMWCenter, which focuses on helping young children acquire language (and therefore other learning skills) faster.

In my spare time, I develop #OpenSourceSoftware such as
- a #SphinxDoc extension that embed #Fediverse comments on your page
- a library to talk to #ManifoldMarkets from native #Python
- a #PredictionMarket manager using the above
- a #transpiler from a subset of Python to #OpenStreetMaps's #OverpassQL
- bug fixes to many other projects, including #mypy, #base58, #attrs, #CPython, & more

I spend a fair bit of my time these days on #MathResearch, specifically into the #ThueMorse Sequence and its extensions.

I'm also a hobbyist editor on OpenStreetMap.

#Demisexual, #transfem, and happily engaged to my #enby sweetheart.

We have two cats: #OpheTheLoaf and #MayalaranTheCat (yes, from #StormlightArchive) See here for more on them!

I speak English fluently, Spanish haltingly, and am trying to learn Chinese

#queer #Chicago

TransFem SpaceOlivia A-C (@LivInTheLookingGlass)These are our cats, #OpheTheLoaf and #MayalaranTheCat. Ophelia was originally my partner's, we live together full time now, and are an integrated family Fun facts about Ophelia: * She is missing a tooth, so her lip sometimes gets stuck open in a cute way * She has an "activation noise" that sounds kinda like a pigeon * She will often do 10/10 loafs, hence the nickname Some facts about Maya: * Her favorite hobby is judging the neighbors * She is very anxious * She has an incredibly dainty play style * She has a series of increasingly ridiculous nicknames: Mayalaran -> Maya -> Mayo -> Aioli -> Au Jus (Follow the hashtags if you want just my cats) #CatsOfMastodon #CatsOfFedi (📎8)
Public
Olivia A-C

Oh dang, my #introduction post is waaay out of date now. Let's do it again!

I have a #MastersDegree in #ComputerScience and #ComputerEngineering. I went to #NMU for undergrad and #MSU for my graduate degree. I currently work at #UChicago for the #TMWCenter, which focuses on helping young children acquire language (and therefore other learning skills) faster.

In my spare time, I develop #OpenSourceSoftware such as

I spend a fair bit of my time these days on #MathResearch, specifically into the #ThueMorse Sequence and its extensions.

I'm also a hobbyist editor on OpenStreetMap.

#Demisexual, #transfem, and happily engaged to my #enby sweetheart.

We have two cats: #OpheTheLoaf and #MayalaranTheCat (yes, from #StormlightArchive)

Two cats are by a sliding glass window. The one towards the top of the frame (named Ophelia) is laying on a heat pad and staring at the second cat. The second cat (named Maya) is towards the bottom of the frame. She is sat on the entry rug with her body poked between the blinds on the window, so that she can look outside.
There are two cats in frame, near a very small cat tower. On top of the tower, Ophelia is laying down. Below, in a meercat-like pose, is Maya. She is trying to get a better view of the other cat. They didn't know each other very well at this time.
A gray cat, Maya, is laying on the couch. She is curled up such that her belly and paws are all exposed, though her tail is tucked near her feet. She looks peacefully asleep
A gray/gray-orange cat is laying on a white blanket. Her name is Ophelia, and she has one eye half open, which is a brilliant green-orange. She is very relaxed. You get the faint impression of a person's legs underneath the blanket
#queer#Chicago
Public
Paolo Melchiorre

Enjoyed a morning walk listening to Intervista Pythonista italian podcast 🎙️

Marco Santoni & Cesare Placanica hosted Alan Franzoni who discussed type-checking in Python and its application at Aiven with mypy 🐍

Highly recommend 👇
podcasters.spotify.com/pod/sho

Spotify for PodcastersType-checking statico su grandi codebase. Ep 55 by Intervista PythonistaConosciamo Alan Franzoni, Engineering manager presso Aiven. Approfondiremo il ruolo del controllo dei tipi statici in Python e strumenti come mypy. Ci siamo concentrati su come il team di Alan abbia impostato il processo di migrazione su una grande codebase. I blog di Alan https://www.franzoni.eu/ https://techandtheitaly.franzoni.eu/
#Python#TypeChecking#Podcast
Public
jtmoulia 🐁

A guide on integrating #emacs + #python + #hatch using [mostly] builtin tooling and project local .dir-locals.el variables.

Specifically, this setup uses #Eglot + #pyright for live syntax checking, #pytest for code running, #MyPy for type-checking, and #IPython as the shell

Feedback would be welcome -- trying to get it robust + idiomatic.

jtmoulia.srht.site/guides/emac

HogLog · Emacs + Python + HatchPython has yet another packaging tool, Hatch. Here’s an opinionated configuration for Hatch based projects that plays well with Emacs. It uses a .dir-locals.el approach to make the config project specific, so you can drop it into a project without impacting any existing Python config. The sections below walk through the configuration and tooling for a Python project. Each section works standalone to add some particular functionality, and the full configuration is at the bottom of this post.
Public *
chris 🥐

TIL in my #python #mypy 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)

Replied in thread
Public
Cyril Brulebois

@nedbat I couldn't find a cached version (quite probably I didn't look hard enough).

In my case, the offending part was:

class Foo:
bar: Bar = None

Tried:

class Foo:
bar: Optional[Bar] = None

This makes #mypy 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:

class Foo:
bar: Bar = None # type: ignore

And everything else expects bar to be Bar, not None.

Public
Paolo Melchiorre

MyPy 1.0.0 has been released 🎉

"Mypy is a static type checker for Python. This release includes new features, performance improvements and bug fixes." ✨

Some of them 👇
- the new version numbers will be of form x.y.z 🏷️
- version 1.0 is up to 40% faster than 0.991 ⚡
- it will now generate an error if you use a variable before it’s defined 🐛
- mypyc can now compile Python 3.10 match statements ✅

mypy-lang.blogspot.com/2023/02

mypy-lang.blogspot.comMypy 1.0 Released We’ve just uploaded mypy 1.0 to the Python Package Index ( PyPI ). Mypy is a static type checker for Python. This release includes new f...
#mypy#python#type
ExploreLive feeds
About