3 ms·
OSHA violation in 2025: operator was not using a deterministic operating system
by olewhalehunter 9y ago
OSHA violation in 2025: operator was not using a deterministic operating system
- lilott8 9y agowhat you are suggesting has grave realities for those who cannot or do not want to mess with formal verification techniques. This is the future of computing and a lot of people will be left behind once this catches on.
- ktta 9y ago>lot of people will be left behind once this catches on if this catches on.