Y
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.