1: \begin{abstract}
2: The probabilistic method is a technique for proving combinatorial existence results by means of showing that a randomly chosen object has the desired properties with positive probability. A particularly powerful probabilistic tool is the Lov\'asz Local Lemma \ep{the LLL for short}, which was introduced by Erd\H os and Lov\'asz in the mid-1970s. Here we develop a version of the LLL that can be used to prove the existence of continuous colorings. %satisfying certain combinatorial constraints.
3: We then give several applications in Borel and topological dynamics. %, including the following.
4: \begin{itemize}[wide]
5: \item Seward and Tucker-Drob showed that every free Borel action $\G \acts X$ of a countable group $\G$ admits an equivariant Borel map $\pi \colon X \to Y$ to a free subshift $Y \subset 2^\G$. We give a new simple proof of this result.
6:
7: \item We show that for a countable group $\G$, $\Free(2^\G)$ is weakly contained, in the sense of Elek, in every free continuous action of $\G$ on a zero-dimensional Polish space. This fact is analogous to the theorem of Ab\'ert and Weiss for probability measure-preserving actions and has a number of consequences in continuous combinatorics. In particular, we deduce that a coloring problem admits a continuous solution on $\Free(2^\G)$ if and only if it can be solved on finite subgraphs of the Cayley graph of $\G$ by an efficient deterministic distributed algorithm \ep{this fact was also proved independently and using different methods by Greb\'ik, Jackson, Rozho\v{n}, Seward, and Vidny\'{a}nszky}. This establishes a formal correspondence between questions that have been studied independently in continuous combinatorics and in distributed computing.
8: \end{itemize}
9: \end{abstract}
10: