Let me adopt the following definitions:
A real number $x$ is weakly computable if it satisfies one of equivalent definitions given here.
A real number $x$ is strongly computable if the binary expansion of $x$ is a computable string (we don't need to worry about nonuniqueness of expansion for dyadics, since then both expansion are computable).
As it was explained to me in comments to this answer, these two notions are not equivalent, at least not in an obvious way, because if $x$ had some extremely good dyadic rational approximations, then we couldn't decide whether the binary expansion will contain $0111...$ or $1000...$. Here is my question:
Are there any known weakly computable reals which aren't strongly computable?
A possible, but unlikely, example is $\gamma$, for which we don't have any estimates on well-approximability (at least I don't know of any) of it. Of course many numbers are known to be strongly computable, and we know this because we can show that rational approximations can't be too good. To name a few examples: $\pi$, $e$, any algebraic number and actually any non-Liouville number.
I was thinking of constructing an example using Busy Beaver sequence to get long trails of ones and zeroes, but I didn't manage to get a number which would be weakly but not strongly computable.
Thanks in advance.