I am a student who enjoys type theory, formal verification, and compilers. Mostly I write Haskell, sometimes Agda, Coq, or C.
I occasionally can be convinced to do some abstract algebra or category theory as well.
Q&A for professional and enthusiast programmers
Q&A for professional programmers interested in conceptual questions about software development
Q&A for programming puzzle enthusiasts and code golfers
Q&A for students, researchers and practitioners of computer science
Stack Exchange Network staging zone, where users come together to build new Q&A sites
Q&A for users and developers of hardware and software for Raspberry Pi
Q&A for peer programmer code reviews
Q&A for users of Linux, FreeBSD and other Un*x-like operating systems.
Q&A for meta-discussion of the Stack Exchange family of Q&A websites
Q&A for Ubuntu users and developers
Q&A for active researchers, academics and students of physics
Q&A for people studying math at any level and professionals in related fields
Q&A for electronics and electrical engineering professionals, students, and enthusiasts
Q&A for professional and independent game developers
Q&A for people interested in governments, policies, and political processes