Hacker News new | ask | show | jobs
by layer8 176 days ago
That would require making the behavior of the living things part of the formal specification, which isn’t really possible.