alt Hacker News> When [...] all outputs are formally verified based on exquisite architectures and standards
and we all live in a green utopia of flying cars and peace upon the world.
> When [...] all outputs are formally verified based on exquisite architectures and standards
and we all live in a green utopia of flying cars and peace upon the world.
if all the resources spent in useless wars were poured into working towards this goal, we would be there for some time already