And that's how I ended up on mastodon

@elyn @aburka Yeah, a Lovecraft quote repurposed to reference programming definitely means you should be here.

(Do you also have cats and/or like fungi?)

@michaelgemar @aburka I've had two cats, but unfortunately, they've both been taken by the fungi
@michaelgemar @aburka No hard feelings toward the fungi tho, they're such fun guys after all
@michaelgemar @elyn @aburka it is also possible to have fungi and like cats, though of course you may "have" fungi in the same way you "have" cats, ie you are their staff, so the question of ownership is at the very least complex.... I need to go and lie down.

@elyn Oh hang on I gotta give you the obligatory admonition about using alt text while disregarding that you did in fact use alt text 😛

(welcome! this is sweet)

@elyn that is excellent. Welcome aboard, you'll fit right in. ❤️
@elyn it's not exactly a self-fulfilling prophecy, but almost?

@elyn

Architheuthis Flux was not wrong. 7 reshares already! That must be close to a world record.

@elyn I bet we can in fact make this a hit toot
@elyn
One of us! One of us! One of us!

@dzwiedziu @elyn

There are dozens of us. Dozens!

@pikesley @dzwiedziu That's so many more than a few!
@elyn Nice to see you there. I hope you'll stay for longer 😊
@agturcz With people this interesting, how couldn't I?
@elyn Welcome to Mastodon! Come for the toots, stay for the company :)

It's like tumblr but humblr

@ben @elyn

@elyn so, how do you like it here?

@elyn Python types:

"Everything's an object, right"

"OK, sure"

"So type, the type of types, is a subclass of object"

"OK, ..."

"And object, since it's a type, is an instance of type"

"... wat?"

(the amount of "lying to computers" involved in starting a Python interpreter is genuinely fun, for a given definition of "fun")

@ancoghlan that's insane
@ancoghlan I love that every last component that goes into making a computer do stuff is lying to every other component making the computer do stuff

@elyn Yeah, I advise folks to steer clear of the core type machinery implementation unless they actually *want* to stretch their brains into weird shapes in order to understand it. Lots of "this isn't quite true yet, but it will be true before it needs to be true, just trust us on that, computer".

I also love the fact that it is all completely *un*necessary knowledge for folks that just want to use Python without worrying about the fiddly details of how it works.

@ancoghlan I love fiddly details and non-euclidean neurology! It's good compilers don't appear to be conscious. I can't fathom the depths of their paranoia if they had to experience all the lies and coercion we put them through

@elyn @ancoghlan a lot of the python internal type machinery was added before python had spellable types, which now shows up as those strange breaks in the type math.

there's a similar case where `float` actually means `float | int`, so there's now no way of saying just float, no int, even though `isinstance(1, float) == False`.

@konstin @ancoghlan Maybe they should just change it, surely there's no historical precedent indicating that changing foundational design details would ever stifle adoption or fracture a community!
@konstin @ancoghlan That's genuinely really cool to know tho, thank u :D
@konstin @elyn Oof, I had managed to forget how much worse it all was before the classic class emulation bits were dropped, but that observation reminded me. I shudder to think how much harder it would have been to start defining type forms if those were still around (as you say, it's hard enough retrofitting a comprehensive description language to the status quo).
@ancoghlan @elyn I didn't mean to, but I have been in the past couple days, and I am not even working in anything conceptually complex 😅

@elyn @ancoghlan well you started with the Lovecraftian scenery. Welcome to cosmic horror of comp...oh god

The̸̖̕ya̸͕͆̈́̈̀͘r̶͎̀̏̾ė̷̥̣͙̰̭͜͝ ̵̙̖̫̦͉̊͒̍͑͗͐ͅc̸͕̮̱̖̒̀ǒ̶̙̬͔̿̉̾m̵̉̓̏̑i̵̟̬͕̥̠̐͋ng̸̽̌͘.̸̧̳̜͇̓̽̇.̵̻̽̌̋̿̄.̶̝̫̮̻͆͌͊̓̔͑͝͠

@elyn damn Architeuthis Flux was not wrong
@elyn everyone has an origin story
@elyn Some days I wake up and decide I want to invent a new type of number. I'm glad Python supports this.
That's a hit toot on Mastodon


I got it from the trending bot so, yeah, that's indeed a hit toot on Mastodon

@csolisr @ArchiteuthisFlux is a prophet, truly
@elyn @csolisr I mean, complaining about Python's type system and edited Lovecraft quotes on their own are popular pastimes here. You blended them together with a sprinkle of 4th wall breaking into pure Mastodon catnip.
@ArchiteuthisFlux @csolisr the alchemical formula for mastodon catnip has thus been revealed
@elyn you found The Place (tm)
@elyn I was about to ask you for a link to the original Mastodon post, to be able to boost that one and to give the author credit. Luckily I read the last post just before posting myself :D.
Edit: And hi and welcome 👋
@T_X thank you!! And hey, if you're looking for anyone else to give some credit to, check out @ArchiteuthisFlux , the post wouldn't exist without him telling me it'd be well received here!

@elyn Welcome!

I'd say I hope you'll like it here, but I have a feeling that you will!

@stefan and you're so right!