Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
I'm a mathematical physicist, working as a programmer, etc.
Blog: Ariadne's thread Navigating the Labyrinth of Formal Proofs with Mizar
Notebook full of PDFs.