>>11636129>unhackable"We" have proved that it's impossible to decide if a system is "unhackable".
"Unhackable", however you may define that in detail, is a non-trivial property of a program you can reduce the halting problem onto.
"We" still try to do our best, but if the budget is very limited, you get what you pay for. Also: You get what you hire.
