A field report of using Alloy with agent-based development | Hacker News Reader