Contract-first AI code generation in Go | Dark Hacker News