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 :)
Hello! I noticed your message and responded accordingly.
Also, I've taken you saying "couldn't find a way to contact you" to heart and decided to include an email contact address on my blog. Thank you! :)