One of the arguments I’ve heard for why Apple will not allow other browser engines is that they can artificially restrict WebKit. It’s not as good of a competitor to the native apps on the iPhone as ...
Marijn Heule uses turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them.