Hey. I'm also a mathematically oriented programmer inspired by the likes of Dijkstra, Knuth and Gries. I looked at your sudoku repo and wanted to be a programmer friend and work on similar projects just for fun, but couldn't find a way to contact you. Have sent you a Twitter follow :)