Comment by sph
11 hours ago
> 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.
11 hours ago
> 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.
-- Richard Brautigan (1967)
if all the resources spent in useless wars were poured into working towards this goal, we would be there for some time already
Sure, but we should probably plan for what’s actually going to happen