I have been a professional computer programmer for several years. I am a writer and an amateur mathematician.
I have a blog that often carries articles about programming and computer science matters.
20 Finding interesting anagrams jun 7 '12
12 Is there a sometimes-efficient algorithm to solve #SAT? jan 16 '13
6 Invariant Proof of For Loops? nov 10 '12
4 Finding interesting anagrams jun 12 '12
3 Sorting with gaps aug 18
3 Find a simple path visiting all marked vertices sep 17 '13