Tatami Project: distributed cooperative design, specification and validation | Hacker News Reader