Hacker News
points by pyrphoros 3 days ago | 0 comments
No software of normal complexity can be "provable".
Aún no hay comentarios.