There is an algorithm to compute étale cohomology in finite time (but we don't know how long it takes) — [link](https://arxiv.org/abs/1304.5376)