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

At the core of the program is the idea that there is no separation between what happens within the church and what happens in ...

Hi, I'm Bill. I'm a software developer with a passion for making and electronics. I do a lot of things and here is where I ...