Hacker News new | ask | show | jobs
by nerpderp82 275 days ago
Byzantine Incompleteness enters the chat.

Either you go formal, or you test the tests, and then test those ...