I have a blog (http://poleiro.info) about the Coq proof assistant, please check it out!
Q&A for professional and enthusiast programmers
Q&A for those using, extending or developing Emacs
Q&A for people studying math at any level and professionals in related fields
Q&A for Ubuntu users and developers
Q&A for professional mathematicians
Q&A for users of TeX, LaTeX, ConTeXt, and related typesetting systems
Q&A for students, teachers, and linguists wanting to discuss the finer points of the French language