Writing a Weaver solver | Dark Hacker News