| Check out Ask HN: What are some alternatives to HN? - https://news.ycombinator.com/item?id=7254884 All the subreddits listed below were aggregated into
http://www.reddit.com/user/Widdershiny/m/hackernews 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/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/ |