Hi!

My previous/alt account is yetAnotherUser@feddit.de which will be abandoned soon.

  • 1 Post
  • 24 Comments
Joined 6 months ago
cake
Cake day: June 1st, 2024

help-circle











  • Wouldn’t that be akin to adding new features? Adding support for previously unsupported (due to their lack of existance) hardware is a feature imo.

    Besides, while a program may eventually be bug-free, no modern computer has flawless hardware so creating a large program without bugs will always remain a thought experiment.

    The only possible reason to do it would be if an alien civilization were to demand producing such a program or else they’d destroy Earth (similar to Erdős’s thought experiment with finding Ramsey numbers). Perhaps with all of humanity’s resources and a few decades this could be done.



  • Eventually: Yes.

    There are a finite number of bugs (or bug types rather, you could have infinitely many bugs from the same few lines of code) and it will take finite time to fix them all. You cannot know when you have fixed all of them though. But some games have gone above and beyond with fixing bugs, like Factorio where you will not encounter bugs without explicitly looking for them.






  • No, because by definition criminals have already done an act such that their imprisonment is legal, if done by the state.

    Imprisonment is a legal act of violence if and only if someone has committed a crime. CEOs, while immoral, do not necessarily break laws.

    And yes, calling for a group of people to be imprisoned can fall under §130. Again, I am not a lawyer but there have been court decisions about this.

    Finally, the fact that lemmy.world distributes content advocating for the killing of CEOs could likely fall under this paragraph because the death sentence itself violates human dignity already.


  • According to the 2nd highest court in Germany that can only be overruled by the constitutional court:

    A section of the population - the only one to be considered in the present case - is a group of persons who are distinguishable from the rest of the population on the basis of common external or internal characteristics of a political, national, ethnic, racial, religious, ideological, social, economic, professional or other nature, who are numerically of some significance and thus no longer individually distinguishable.

    BGH 3 StR 602/14, decision from 2015-04-14

    As a layman, CEOs seem to fit that definition due to their economic and professional characteristic.

    This Wikipedia article has an extensive number of court cases and resulting applocations and limitations listed, in case you’re interested in learning more. The English version is far less detailed, so try translating the whole site, i.e. through Firefox Translate:

    https://de.m.wikipedia.org/wiki/Volksverhetzung