Seven gay men met in Edendale home on Nov. 11, 1950.
Marijn Heule uses turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them.