Can We Generate Software from a Spec? | Dark Hacker News