Computer geek; done a lot, learned a lot, willing to share.
In addition to answering questions on StackOverflow, I use this site as a knowledge base for documenting problems I've encountered and solved.
3 Why isn't the naive PRIMES algorithm in P? feb 3 '13
1 Proving that a formula cannot be proven (has no formal proof) in a given deduction system mar 11 '12
1 Does little-o notation imply going into infinity? jan 28 '13
0 Transformation between 2D coordinate systems may 10 '14