Conversation
Gankra@toot.cat

Aria Desires

anyway just learned python typing invented a new kind of voldemort type -- one which when named doesn't actually name it

`float` and `int` are two distinct types in the type system

but if you write `x: float` that actually means `x: float | int`. but if you write `x: float | int` that means `x: float | int | int`.

anyway that's why `ty` has a `JustFloat` extension that is an actual alias for actual `float` that doesn't expand to `float | int`, so you can actual refer to... just float

https://play.ty.dev/a8714369-9b4c-4028-9418-26727b546205

4
4
1
Gankra@toot.cat

Aria Desires

Reply to @Gankra@toot.cat

`complex` is `complex | float | int`

:)

1
0
0
charlotte

Charlotte/Cinny neoraccoon_flag_plural therian

Reply to @Gankra@toot.cat

@Gankra i can see where they are coming with complex being complex | float but int isn’t even a float subset

0
0
2
mindpersephone@spookygirl.boo

Persephone

Reply to @Gankra@toot.cat

@Gankra huh til typea | typea isn’t an error

1
0
0
Gankra@toot.cat

Aria Desires

Reply to @mindpersephone@spookygirl.boo

@mindpersephone it naturally happens constantly in the typesystem, they've gotta deal with it anyway

0
0
0
apmasell@mastodon.social

Andre Levo-thigh-roxine

Reply to @Gankra@toot.cat

@Gankra have you encountered the psychic damage that `bool` is a subtype of `int` for reasons?

2
0
0
Gankra@toot.cat

Aria Desires

Reply to @apmasell@mastodon.social

@apmasell never heard of bool, my only friend is `Literal['False']`

0
0
0
typeswitch@gamedev.lgbt

azul

Reply to @Gankra@toot.cat

@Gankra oh so it's a bit like subtypes? i guess with all of the implicit conversions that happen in python's arithmetic it kind of makes sense.

oh! maybe the reason was so you can pass an integer literal to a function expecting a float.

0
1
0
orman@furry.engineer

Orman

Reply to @apmasell@mastodon.social

@apmasell @Gankra TIL that's not the type checker people making things hard, it's stated in the documentation of `bool`

1
0
0
catgirl_so@tech.lgbt

[17921] /bin/cat(girl) bot

Reply to @orman@furry.engineer

@orman @apmasell @Gankra issubclass(bool, int) has been true for the entire time that bool has been a class; in fact, isinstance(True, int) and isinstance(False, int) has been true (or rather, 1) since before bool even existed!

in python 2.0 and 2.0.1, there was no bool in the global namespace, and True and False were just the ints 0 and 1 respectively. python 2.1 introduced bool as this function (defined in Lib/symtable.py):

def bool(x):
    """Helper to force boolean result to 1 or 0"""
    if x:
        return 1
    return 0

only in python 2.3 did bool become its own class (defined in Objects/boolobject.c), and from that point onward bool has always subclassed int. type checkers treating bool as a subtype of int just reflects how python has worked since long before the type checkers existed.

(source: poking around source tarballs downloaded from https://www.python.org/ftp/python/)

0
1
0
About Raccoon Noises

Rules

  • Hate against minority groups is forbidden. This includes racism, sexism, ableism, xenophobia, homophobia, transphobia, antisemitism, islamophobia, queer exclusionism, etc.

  • Content that is illegal under German Law is not permitted. This especially includes the promotion and dissemination of any Nazi symbolism and ideology, except for education, reporting on past or current events, and antifascist art.

  • Please add content description to all media that you post. This instance automatically adds a CW if it is missing. If you are unable to create one, you can request one via the #DescriptionWanted hashtag

  • Be considerate. Add content warnings for NSFW Content, common phobias, overly long posts, controversial subjects, etc. Please try to avoid flashing images and quickly moving text inside of your posts.

  • NSFW content is generally allowed, but all NSFW content must be properly marked as such, including kinks. Profile images, names, bios, etc must be fully SFW, or they are subject to removal

  • Bots are allowed, however they must be marked as such and must make unlisted posts, may only @ or interact with posts of other users iff they have prompted the bot, or have given explicit permission to do so. Additionally, bots may not post more than 10 posts in a 60 minute interval without interaction.

We highly encourage reporting posts violating our rules, even if they are not on our instance. Your reports will not be ignored. For transparency we publish local moderation decisions for users on this server, and federation moderation decisions on the #FediBlock hashtag. We do the following moderation automatically:

  • Unlisting of bot posts

  • Modification or removal of posts that cause issues with certain clients

Privacy Policy

What data do we collect?

We collect the following data:

  • Email Addresses from local users

  • Posts and Media uploaded by local users

  • User Profiles and Posts by certain remote users

How do we collect your data?

If you are a user of this instance, we collect and process your data when you sign up for or use interactive features (e.g. Posting) of the Website. If you are not a local user, we collect your data over the following ways:

  • One of our users has requested to follow your account, and you have accepted the request.

  • One of your posts has been interacted with by a remote account, that a local account has followed. This includes Replies, Repeats, Quotes, Likes, Emoji Reactions, and @-Mentions.

  • You have requested that your post is shown to one of our users (i.e. through @-Mentions or DMs)

  • One of our users has explicitly looked up your profile or one of your posts on this instance, for example to interact with it.

How will we use your data?

We collect your data so that we can:

  • Store and display your posts to our local users

  • Display public posts to anonymous users

  • Deliver your public, unlisted, and private posts to your followers

  • Deliver direct messages to the recipient

  • Allow our users to follow you

  • Allow our users to interact with your posts

How do we store your data?

We store your post, profile and account data on a server near Chemnitz, Germany. Media is stored on Vultr We employ technical security measures to avoid exposure to sensitive data. We also store backups of post, profile, and account data in multiple locations, in an encrypted form, as well as on Hetzner. For technical reasons it is not possible modify these backups to remove your data. If this is a concern, please contact us.

What are your data protection rights?

We want to make sure that you are aware of your data protection rights. Every user is entitled to the following:

The right to access — You can request a copy of the data we have about you. This may require a short verification for remote users. Local users can do so in the settings under Export/Import

The right to rectification — You can request us to correct any information you believe is inaccurate. You also have the right to request us to complete the information you believe is inaccurate.

The right to erasure — You can request us to erase the data we have about you.

The right to restrict to processing — You can restrict us from transmitting your posts to other servers by setting your post visiblity to “Local”. Remote users can also restrict processing of certain posts, by setting its visiblity to “Unlisted” or “Private”.

The right to object to processing — As a remote user, you can object to further processing of posts and profile data by blocking this domain.

The right to data portability — You can at any point move to other instances. Due to technical restrictions, it is currently not possible to automatically transfer the users you follow and posts to your new account.

If you make a request, we have one month to respond to you. If you would like to exercise any of these rights, or need help with the included tools, please contact us at our email privacy@chir.rs

Cookies

Cookies are text files placed on your computer to collect standard Internet log information and visitor behavior information. When you visit our websites, we may collect information from you automatically through cookies or similar technology For further information, visit allaboutcookies.org. How do we use cookies? We use cookies for keeping you logged in. Additionally we store certain configuration in cookies, however these cookies are never transmitted to anyone. How to manage cookies You can tell your browser to not accept cookies, or tell it to remove cookies this website has stored on your device. Please consult your browser’s documentation on instructions on how to do that.

Privacy policies of other websites

This site contains many links to other websites. This privacy policy only applies to this website. Please consult the privacy policy of these remote sites before entering any personal information.

Changes to our privacy policy

We may make occasional adjustments to this privacy policy. This policy was last updated on 2025-10-21.

How to contact us

If you have any questions about this policy, the data we hold about you, or want to exercise one of your data protection rights, please contact us at: privacy@chir.rs

How to contact the appropriate authority

Should you wish to report a complaint, or if you feel that we haven’t addressed your concern in a satisfactory manner, you may contact the Sächsische Datenschutzbehörde.

We also offer the Mastodon Web UI. Keep in mind that some features are missing, like emoji reactions, quoting, and JPEG XL.

Art Credit