Choose To Be Happy
Related to: I'm Scared; Purchase utilons and fuzzies separately Expanded from this comment. You have awakened as a rationalist, discarded your false beliefs, and updated on new evidence. You understand the dangers of UFAI, you do not look away from death or justify it. You realize your own weakness, and the Vast space of possible failures. And understanding all this, you feel bad about it. Very bad, in fact. You are afraid of the dangers of the future, and you are horrified by the huge amounts of suffering. You have shut up and calculated, and the calculation output that you should feel 3^^^3 times as bad as over a stubbed toe. And a stubbed toe can be pretty bad. But this reaction of yours is not rational. You should consider the options of choosing not to feel bad about bad things happening, and choosing to feel good no matter what. Your bad feelings, whether of fear, empathetic suffering, or something else, are probably counterproductive. Not only do you feel bad - a loss of utility in itself - but such feelings probably hurt, rather than help, your efforts to change the world for the better. You may believe that your emotional outlook must be "rational": that it must correspond to your conscious estimates of the present or the future. Perhaps you expect to die of old age, or perhaps you are aware of people being tortured in secret prisons. You are forcing your emotions to match the future you foresee, and so you feel unhappy and afraid. I suggest that you allow your emotions to become disconnected from your conscious long-term predictions. Stop trying to force yourself to be unhappy because you predict bad things. Say to yourself: I choose to be happy and unafraid no matter what I predict! Emotions are not a a tool like rational thought, which you have to use in a way that corresponds to the real world. You can use them in any way you like. It's rational to feel happy about a bleak future, because feeling happy is a good thing and there is no point in
It's impossible to prove that an arbitrary program, which someone else gave you, is correct. That's halting-problem equivalent, or Rice's theorem, etc.
Yes, we can prove various properties of programs we carefully write to be provable, but the context here is that a black-box executable Crowdstrike submits to Microsoft cannot be proven reliable by Microsoft.
There are definitely improvements we can make. Counting just the ones made in some other (bits of) operating systems, we could:
- Rewrite in a memory-safe language like Rust
- Move more stuff to userspace. Drivers for e.g. USB devices can and should be written in userspace, using something like libusb. This goes for every device that doesn't need performance-critical code or to
... (read more)