Jajcus

@Jajcus@kbin.social

Este perfil es de un servidor federado y podría estar incompleto. Explorar más contenido en la instancia original.

Jajcus,

Linux is a general-purpose OS, and that is generally a bad choice for safety-critical real-time applications. And it is not something that Linux can just be adapted for – the biggest problems are: the kernel is big and the code is complex. Anything added do Linux to 'solve that' would just make it even bigger and even more complex. And removing stuff for kernel would just make it worse general-purpose OS.

The solution for proprietary RTOSes used there would be to create a new, open-source one. This should be doable as those are small and simple by definition (to some extent – only as simple as they can be for given task). I guess this will happen one day, though it is harder for it to happen naturally, as that is not something hobbyists would do for their own needs in their own time and that is usually what starts an open source projects.

On the other hand – Linux can co-exist and I am sure it does co-exist with those specialized RTOSes. I would assume that even on a Boeing airplane there are many Linux instances running… or even Windows ones.

Instead of deleting your Reddit account, consider using chatgpt to make comments instead (kbin.fedi.cr)

And make sure not to click on any links. If enough people use chatgpt or other LLM's to generate comments that are wordy but clearly just filler, it'll give advertisers pause and tank the value of the site as training data. Reddit's response will probably be to start banning users it thinks are doing this but normal users will...

Jajcus,

Then people who still prefer Reddit to Lemmy could do the same to us and would be totally justified. Do not make internet even worse than it is now. You don't like a service – don't use it. Do not make it worse for everybody else.

Jajcus,

Google would probably like to take over the user generated content somehow. If people can find it on Google even when it is not available on Reddit then it is pure profit for Google. They already provide a lot of information on their search pages bypassing the sources. Google is not our friend. Not any more.

  • Todo
  • Suscrito
  • Moderado
  • Favoritos
  • random
  • noticiascr
  • CostaRica
  • Todos las revistas