A rigorous .md specification for AI Daemons · HackerTrans