Relationship between simple logical specifications & intuitive user interfaces (they don't coincide often do they?) | Hacker News Reader