The Manifold Discord now has a bot that lets you bet on markets from discord!
This is very cool, but I worry whenever I put my mana in the hands of another.
This market resolves Yes if I learn that any major bugs are discovered with the bot between now and market close.
For example, if the bot bet more mana than it was supposed to or bet in the opposite direction, or bet on the wrong market. The bot failing to place a bet is not a major error.
I will not trade in this market.
Edit: Apparently this bot has existed for a while and I just didn't know about it 😅
@MichaelWheatley it updates regularly for a while, then will stop after activity lulls. It should update after any bets
@Stralor This sounds pretty major. But from the description I got an impression that the bug must involve losing mana. Also, what you described kinda matches "The bot failing to place a bet is not a major error."
@roma you appear to be correct. there I go assuming without reading the description. I was trying to bet on this question with it, so idk it not doing what it's supposed to seems major to me, though reading it now I guess the spirit of this is supposed to be like a mana leak rather than about functionality.