Logic for Programmers Is Now Available | Dark Hacker News