http://www.reddit.com/r/ReverseEngineering/

http://www.reddit.com/r/lowlevel/

http://www.reddit.com/r/vrd/

http://www.reddit.com/r/systems/

http://www.reddit.com/r/math/

http://www.reddit.com/r/types/

http://www.reddit.com/r/dependent_types/

http://www.reddit.com/r/Coq/

http://www.reddit.com/r/haskell/

http://www.reddit.com/r/ocaml/

http://www.reddit.com/r/crypto/

http://www.reddit.com/r/fsharp/

http://www.reddit.com/r/scala/

http://www.reddit.com/r/lisp/

http://www.reddit.com/r/ProgrammingLanguages/

http://www.reddit.com/r/dataisbeautiful/

http://www.reddit.com/r/PhilosophyofMath/

http://www.reddit.com/r/AcademicPhilosophy/

http://www.reddit.com/r/PhilosophyofScience/

http://www.reddit.com/r/MachineLearning/

http://www.reddit.com/r/IPython/

http://www.reddit.com/r/statistics/

http://www.reddit.com/r/Design/

http://www.reddit.com/r/museum/