[-] chrismit3s@feddit.de 6 points 8 months ago* (last edited 8 months ago)

Die Komplexen Zahlen sind auch nur eine Untermenge der reellen 2x2 Matrizen, also lassen sich zumindest so darstellen.

Wenn jemand also behauptet, das es die komplexen Zahlen nicht gibt, sollte man ihn mal Fragen, ob es überhaupt die reelen oder ganzen Zahlen gibt.

Sogar bei den natürlichen Zahlen kann man streiten, weil 3 existiert eben auch nicht physikalisch. Nur 3 Äpfel beispielsweise.

Zahlen waren schon immer nur Werkzeuge, die weder richtig/falsch oder existent/nicht existent sein können. Die konkreten Konzepte und Ideen dahinter sind das entscheidende. Wie man diese dann darstellt ist nur nebensächlich.

[-] chrismit3s@feddit.de 6 points 1 year ago

If you wrote the type signature of get_user as tuple[User, None] | tuple[None, Exception], the assertion would not be necessary and the type checker wouldn't complain.

[-] chrismit3s@feddit.de 1 points 1 year ago

+1, no problems at all so far, been using them almost daily for a year now on both linux and android.

[-] chrismit3s@feddit.de 8 points 1 year ago

and even today, by using an old Android API iirc

Nope, the required API to have your app in the Playstore constantly rises, and if you don't comply you get kicked. The current API version is something around 26, and definitely has the permissions model integrated.

[-] chrismit3s@feddit.de 3 points 1 year ago

Well how do you want to use said get function?

let x = config.get("key").await;

So what type should x have?

[-] chrismit3s@feddit.de 1 points 1 year ago

You can see it in the image you linked.

[-] chrismit3s@feddit.de 8 points 1 year ago

What do you mean exactly? A running system shouldn't spontaneously break from not being updated. It's just that partial upgrades can break compatibility/dependencies, but running full system upgrades should be fine, as long as you pay attention to breaking changes and major version bumps. Also with timeshift it should always be possible to get back to a working state.

[-] chrismit3s@feddit.de 6 points 1 year ago

Can you still hibernate and suspend?

chrismit3s

joined 1 year ago