It can be shown (see Is every paracompact, Hausdorff, locally contractible space homotopy equivalent to a CW complex?) that if $X$ is a locally contractible paracompact Hausdorff space such that the $\infty$topos $Sh(X)$ of sheaves on $X$ is hypercomplete then $X$ is homotopy equivalent to a CW complex. On the other hand, if $X$ is actually a CW complex then $X$ is a locally contractible paracompact Hausdorff space. However, it is not clear if in this case $Sh(X)$ is necessarily hypercomplete (it is true, for example, if $X$ is finite dimensional). Note that we are talking about the $\infty$topos of all sheaves, not just the locally constant ones. The question then naturally arises  is $Sh(X)$ hypercomplete for every CW complex $X$?
1 Answer
ETA The answer is yes in general. Replace 2 below with a reference to HTT, Prop. 7.1.5.8.
Since this has been open for a while, let me give a partial answer which hopefully is already interesting: I believe that the ∞topos of sheaves on any locally finite (equivalently, locally compact) CW complex $X$ is hypercomplete. Since we know this is true if $X$ is finitedimensional, the following two observations imply the result:
Any colimit of hypercomplete ∞topoi is hypercomplete.
If a locally compact space $X$ is a filtered union of closed subspaces $X_i$, then the ∞topos $\operatorname{Shv}(X)$ is the colimit of the ∞topoi $\operatorname{Shv}(X_i)$. (Here "locally compact" can be in the sense of Higher Topos Theory, Def. 7.3.1.7.)
One might hope to answer the question for arbitrary CW complexes by generalizing 2.
Assertion 1 follows from the fact that hypercomplete ∞topoi form a coreflective subcategory of ∞topoi (HTT, Prop. 6.5.2.13).
Assertion 2 can be proved using the description of sheaves on locally compact spaces in terms of Ksheaves (HTT, Def. 7.3.4.1, Cor. 7.3.4.10). I claim that, if $i: Y\hookrightarrow X$ is a closed embedding of locally compact spaces, then precomposition with $i$ preserves Ksheaves.
The only nontrivial point to check is the colimit condition: if $F$ is a sheaf on $X$ and $K\subset Y$ is compact, we must show that $$F(K)=\operatorname{colim}_{K\Subset_Y K'} F(K').$$ The LHS is the colimit of $F(U)$ over the filtered poset of opens $U\subset X$ containing $K$, while the RHS is the colimit of $F(U)$ over the filtered poset of pairs $K'\subset U$ with $K\Subset_Y K'$ and $U$ open in $X$. Since $X$ is locally compact and $Y$ is closed in $X$, it is clear that the "forget $K'$" map between these posets is cofinal.
Thus, the pullback functor $i^*: \operatorname{Shv}(X) \to \operatorname{Shv}(Y)$ is simply given by $(i^*F)(K) = F(i(K))$. Since any compact subset of $X$ belongs to $X_i$ for some $i$ (by a standard argument), we see that a Ksheaf on $X$ is the same thing as a compatible family of Ksheaves on the subspaces $X_i$, which is exactly what Assertion 2 is saying (colimits of ∞topoi being computed as limits of underlying ∞categories).

1$\begingroup$ I just saw the ETA, that's fantastic! too bad I can't vote up twice. $\endgroup$ Commented Mar 27, 2017 at 17:31