An introduction to thinking declaratively and Boolean Satisfaction | Hacker News Reader