remolueoend

That might be true, but does not contradict the parent: if the design of the EU overall allows this to happen, it is indeed very undemocratic. How does the fact that the EP rejected it (multiple times), help the population of the EU states, that never pushed for this? Even worse: your argument implies, that the EU is enabling national politicians to push through unpopolar decisions, that likely would have no chance on a purely national stage.

Agreed, but there's always the possibility of a referendum or even an initiative, to oversteer a decision of the representatives, given enough supporters.

'any' has always been intended as an escape hatch, so no abuse here [1]. The type representing the set of all possible values (the top type in the type lattice) is 'unknown'.

[1] https://www.typescriptlang.org/docs/handbook/2/everyday-type...

[2] https://www.typescriptlang.org/docs/handbook/release-notes/t...

Aegis [1] seems to be a great alternative, at least on Android. Besides a search bar, it allows you to backup or export all your entries in an ecrypted vault. You can also include them in the Android cloud backups.

[1] https://github.com/beemdevelopment/Aegis

You are of course right, "Reisendenpünktlichkeit Fernverkehr" hasn't even been published by DB before January 2024 - my bad.

> Another figure illustrates why the practice is necessary from a Swiss perspective: in 2023, 92.5 percent of all trains in Switzerland reached their destination on time, compared to only 64 percent for long-distance trains in Germany.

To add a bit more detail: SBB (Swiss federal railways) consider a train on time if it reaches its destination with less than three minutes’ delay [1]. DB (Deutsche Bahn) puts the threshold at 15 minutes ("Reisendenpünktlichkeit") [2].

[1] https://company.sbb.ch/en/the-company/responsibility-society...

[2] https://www.deutschebahn.com/de/konzern/konzernprofil/zahlen...

The isabelle AFP project (https://www.isa-afp.org) might be interesting to you.

Acorn to Arabella https://youtube.com/c/AcornToArabella: They're building a 38' sailboat from stump to ship, then taking it around the world. Already 223 episodes in and very educational.

Michael Penn https://youtube.com/c/MichaelPennMath: Covering calculus, number theory and more. Classic black board lectures, highly enjoyable.

Andreas Kling https://youtube.com/c/AndreasKling: Livestreaming development on SerenityOS (https://github.com/SerenityOS/serenity)

Why not both? Making use of "crypto banks" but still be able to freely interact with the underlying financial network whenever I wish to? That's pretty hard today without relying on middlemen such as Stripe et. al. thanks to the fact that most banks do not provide any useful APIs.

Your last point is interesting. When I switched from macOS to Linux, the tool is missed most was definitely Karabiner-Elements. I got nightmares from xkb & related tools.

Depending on your version of MacOS, I'd recommend Karabiner-Elements for remapping: https://karabiner-elements.pqrs.org/

There are some default completion replacements out there, such as fzf-tab for zsh: https://github.com/Aloxaf/fzf-tab

There is a great lecture from Robert Sapolsky/Stanford [2010] about behavioral evolution / prisoner's dilemma / tit for tat strategy: https://youtu.be/Y0Oa4Lp5fLE

a painted masterpiece on a bikeshed.

Sion (Switzerland) is currently testing a self-driven shuttle-bus in and around the city [1].

[1] https://www.postauto.ch/en/news/start-public-testing-autonom...