Odos 🛠 Intro to Semiotic AI: arbitrage, order routing, reinforcement learning, ZKPs