http://www.reddit.com/r/REMath/ 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…
http://www.reddit.com/r/sysor/ [2650]
http://www.reddit.com/r/optimization/ [200]
http://www.reddit.com/r/algorithms/ [8960]
http://www.reddit.com/r/machinelearning/ [20000]
http://www.reddit.com/r/BusinessIntelligence/ [2100]
http://www.reddit.com/r/database/ [6700]
http://www.reddit.com/r/datasets/ [6900]
http://www.reddit.com/r/datascience/ [1800]
http://www.reddit.com/r/opendata/ [2800]
http://www.reddit.com/r/analyzit/ [200]
http://www.reddit.com/r/semanticweb/ [2600]
http://www.reddit.com/r/visualization/ [8600]
http://www.reddit.com/r/analytics/ [1600]
Edit: formatting