dolev--yao··on Ask HN: Help Me Identify the Name of This Stock Betting Platform StartupThat's it, thank you!