K2-think: A parameter-efficient reasoning system | Dark Hacker News