After several iterations and eight months of parliamentary wrangling the DUA does do some good, not least in smart data. It also leaves many questions unanswered. It does not deliver cross-cutting ...

One computer scientist’s “stunning” proof is the first progress in 50 years on one of the most famous questions in computer ...