Visibility problem in the plane

We disprove the visibility conjecture in the plane and prove the sharp upper bound for the almost-sure dimension of visible parts. Precisely, let $K\subset {\mathbb{R}}^2$ be a compact set. For $\sigma \in S^1$, let ${\mathrm{V}\mathrm{i}\mathrm{s}}_{\sigma }(K)\subset K$ be the visible part of $K$ in direction $\sigma$. We prove that ${\dim }_{\mathrm{H}}{\mathrm{V}\mathrm{i}\mathrm{s}}_{\sigma }(K)\le \frac{3}{2}$ for ${\mathcal{H}}^1$ almost every $\sigma \in S^1$. This is sharp: we construct a compact set $K\subset {\mathbb{R}}^2$ such that ${\dim }_{\mathrm{H}}{\mathrm{V}\mathrm{i}\mathrm{s}}_{\sigma }(K)\ge \frac{3}{2}$ for all $\sigma \in S^1$.