NomosDA: Building decentralized autonomous jurisdictions with verifiable rules | Dark Hacker News