Ganak: The making of a high-performance model counter | Dark Hacker News