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