stravanasu

  • 63 Posts
  • 270 Comments
Joined 3 years ago
cake
Cake day: July 5th, 2023

help-circle
  • I think we need a redefinition of “bug” though. If something hasn’t been noticed for 10+ years, is it really a “bug”? I think the definition should depend on the probability of negative effects, not just on the possibility.

    In fact, my impression is that any piece of code can be shown to have some bug, if taken from a particular angle or in particular contexts or scenarios.

    (I think there are also connections with mathematical-logical foundations. For example, it is impossible to build an axiomatic system that is enough powerful and does not have undecidable propositions. Whenever you fix the axioms to fix one of the undecidable propositions, another one automatically pops up.)










  • As events unfolded, the participant who drew attention to the posts was banned first. The author of the offensive material was banned later after their identity was verified.

    I’ve also noticed a tendency of censorship in KDE’s forums, for posts that are simply inconvenient, even if written in a civilized way.

    Funny that instead of learning from Windows 11’s failure, some people just want to follow the same path…