he is a computer engineer by training after all.

Raft has a TLA+ proof, which should make it "bug free". I understand your post is a joke, but I wonder if there are actually any errors.

Actually, AFAIU the TLA+ proof is only for a few small cluster sizes - not for all sizes. And the number of nodes in the painting is definitely above that checked by TLA+...

I don't know reverse engineering. But, I guess the ultimate solution would be running a custom OS to fake ptrace results in the kernel level?

You can just use LD_PRELOAD to load your own version of ptrace. Not as stealthy though.

Another way is to load a eBPF program or kernel module for this purpose.

Do you mean using this trick in malware?

Actually our competitor was reverse engineering our LOB app and we used this to protect trade secrets.

No he is referring to happyware.

Shouldn’t that be benware?