Yeah, when Thomas Larsen mentioned that to me (presumably from a shared source that you’re getting your info from), I mentioned it to MIRI, and they went and asked for feedback and ended up getting the above-mentioned-advice which seemed to indicate it has some costs, but wasn’t like an obviously wrong call.
Yeah, when Thomas Larsen mentioned that to me (presumably from a shared source that you’re getting your info from), I mentioned it to MIRI, and they went and asked for feedback and ended up getting the above-mentioned-advice which seemed to indicate it has some costs, but wasn’t like an obviously wrong call.