Somewhere between “modern convenience” and “nostalgic charm” lies Rupert, Idaho – a place where the town square isn’t a quaint concept but an actual geographic reality.
Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His ...