I work on the static analysis of C programs. Sometimes I write blog posts, that may be on the subject of static analysis of C programs, at http://blog.frama-c.com/
Meta Stack Overflow
Q&A for meta-discussion of the Stack Exchange family of Q&A websites
Programmers
Q&A for professional programmers interested in conceptual questions about software development
Theoretical Computer Science
Q&A for theoretical computer scientists and researchers in related fields
Server Fault
Q&A for professional system and network administrators
TeX - LaTeX
Q&A for users of TeX, LaTeX, ConTeXt, and related typesetting systems
Ask Different
Q&A for power users of Apple hardware and software
Mathematics
Q&A for people studying math at any level and professionals in related fields
Unix & Linux
Q&A for users of Linux, FreeBSD and other Un*x-like operating systems.
Photography
Q&A for professional, enthusiast and amateur photographers
Area 51
Stack Exchange Network staging zone, where users come together to build new Q&A sites
