Marijn Heule uses turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them.

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.