About the CS-math-SAT-SMT-geeks category

What may be interesting for true geeks.