It’s the same thing as ternary, just without the ? : syntax.

For those who don’t get it: https://en.wikipedia.org/wiki/Stationery

Oh yeah, I’m in favor of using type hints. People here are also saying that Pyright is more useful, which I haven’t used yet.

I was involved as the unlucky bastard supposed to sprinkle software engineering on top of a Python project 2+ years ago, and I just remember how much I understood right then and there why Python devs thought static typing was cumbersome. Felt like I had to write Java again, except it also didn’t work half the time.

Interesting. If it’s only in the type checker, can IDEs/editors correctly show the type information of inferred types then? Do they call the type checker themselves to retrieve that info?

Yeah, I only used Mypy so far. I thought it was inherent to the language spec, not the type checker.

I guess, some of your colleagues might have also just used Mypy so far, though…

In the case of Rust, you can also omit the type annotation in the vast majority of cases and the compiler will infer it.

It feels more solid to have a complex program covered by tests, yes, but how can this be confirmed in an objective way? And if it can, for which kind of software is this valid? Are the same methodologies adequate for web programming as for industrial embedded devices or a text editor?

Worth noting here that tests should primarily serve as a (self-checking) specification, i.e. documentation for what the code is supposed to do.
The more competent your type checking is and the better the abstractions are, the less you need to rely on tests to find bugs in the initial version of the code. You might be able to write code, fix the compiler errors and then just have working code (assuming your assumptions match reality). You don’t strictly need tests for that.

But you do need tests to document what the intended behaviour is and conversely which behaviours are merely accidental, so that you can still change the code after your initial working version.
In particular, tests also check the intended behaviour of all the code parts you might not have realized you’ve changed, so that you don’t need to understand the entire codebase every time you want to make a small change.

To be fair, Python doesn’t have type inference, so the type hints are quite obnoxious, and the type checkers for Python are also not as reliable as in languages with native static typing (even if that is often caused by libraries not providing type hints).

I find ants and bees and such interesting in this regard. They work together more seamlessly than humans do and arguably have a higher form of sociality.

Especially in Western cultures, we humans like to think of the individual and compare ourselves to the individual of other species. But that is a logical fallacy.
Are you smarter than an ant? Sure. But are you smarter than a human-sized ant hive? That’s a far trickier question to answer…

Yeah, I don’t like when corporations put stuff like that into their ToS, but at the same time, I 100% understand why every open-source license under the sun has it. You’re giving it away for free, so you don’t want people to sue for more than you’re providing for free.

Mastodon.social is currently very much in the latter camp of giving things away for free. I also understand that a service is yet another beast than a piece of software, since they hold your personal data and may leak/sell it. But yeah, at this point in time, I wouldn’t want someone to be able to sue Mastodon.social out of existence. I guess, it depends a lot on how it’s formulated in the end…

A video game I play recently added on-screen panic buttons, so for all the items you might want to use in a pinch. It’s a turn-based game, so you really have all the time in the world to check your items, but they’re still all listed there to remind you of the options you have. And of course, I still manage to completely ignore them when I get into a panic. 🫠

Those Spectacle changes look good. The old UI made some amount of sense, if the primary use-case was taking complete screenshots, but even for that, there’s probably a single shortcut to do that directly.
And I do find, I generally want a smaller cutout these days, because you can just fit more stuff onto modern displays, some of which is going to irrelevant.

I could imagine that they didn’t want to do something called “Destiny 3”, because people would expect that to be better than Destiny 2, which is virtually impossible, if you’re gonna start over from scratch, with how many years of development have gone into Destiny 2 by now…

Oh damn, I suspected as much, but I interpreted the arm in the third panel to be part of the jaw. So I thought, maybe with the big ears it might be a Dingo, but that seemed awfully specific for what should be the fairly obvious setup for a joke…

I’ve never used Facebook, but I’ve seen people say that Friendica is quite similar to Facebook (in case you care about that).

This song in some Cyrillic language: https://open.audio/library/tracks/102128

Yeah, the wording is confusing. A long time ago, there was no paid software, there was only software where you got the source code and other software where e.g. it was pre-installed on some hardware and the manufacturer didn’t want to give the source code.

In that time, a whole movement started fighting for software freedom, so they called their software “free”.

Well, it didn’t feel like I’m tweaking to my needs (that came afterwards on top), it rather felt like I’m just undoing design decisions that someone made to cater to their specific needs.

And I named the time mainly to give an idea of how much there was to tweak. My main problems were:

• That I could not undo some of those unusual design decisions.
• That it doesn’t exactly make the system more robust when you need lots of non-default settings.

Well, that was just kind of one example to illustrate that it isn’t just a static screenshot, you actually see what’s going on in real-time. It’s also useful when you’re running a longer operation, like OS updates or encoding a video, and want to see when it’s done or that it hasn’t failed. You can just tell when the command output has stopped moving or a popup has appeared…

But thanks for the recommendation anyways!

I certainly think that it has many eccentric design choices. It’s not going to be for everyone. Some parts of it, I also think just look bad, which I had to customize. Well, and openSUSE’s theming made a big difference, too: https://simotek.net/tech/projects/opensuse-e/enlightenment-on-opensuse-13-2/nggallery/thumbnails

“Retro” is also definitely a word I would use, though more positively connoted. It has *different* eye candy to the usual desktop designs, which is a big part of the charm. In a sea of flat designs and tiling window managers, it stands out as its own thing.