Deep spec: the science of deep specification | Dark Hacker News