2 ms·

safe is trivial to define. all the safe languages defined and implemented it. with rust we are still waiting for those promises. remember how eBPF was formall

by rurban 5y ago

safe is trivial to define. all the safe languages defined and implemented it. with rust we are still waiting for those promises. remember how eBPF was formally proven to be safe also? until meltdown came along and all those proofs fell down.

newca12 5y ago
Ho well probem solved then. I wonder why people keep searching ;-)
kaba0 5y ago
With all due respect, you don’t know too much about this topic to have such a strong opinion. There is no safe language, as that would imply the solution of Rice’s theorem, Halting problem, etc.