Is there a website out there that's more technical than HN, has less negativity, and leaves out the "social" aspects of technology? What I'm looking for is a site where I can discuss things like: -Programming language design (functional languages, different type systems, point-free style, etc...) -Interesting mathematics (deeper understanding of statistics, implications of Godel's incompleteness theorem) -Interesting science (advances in quantum mechanics, optical gyroscopes, etc.) -Other technical oddities (Turing complete systems, global illumination on GPUs, supercomputing) -News on start-ups that solve technical rather than social problems (DE Shaw instead of Socialcam) I'd like to avoid: -Tech products -Heated arguments that make me feel bad after reading the comments instead of enlightened