220 karma · joined July 25, 2019
Even so, there are a lot more high leverage ways to spend tax money on reducing carbon than car rebates. Car rebates are a way to buy votes. I think it's pretty obvious that $7500 could be spent in way that reduces much more CO2 and doesn't benefit people that are already pretty well off.
I went to an all boys school. I believe it was terrible for social development and made it hard to relate to women. When I see that same-sex education is on the rise I feel we're making a big mistake.
I'm betting that national healthcare will cause a fitness boom. We'll start seeing each other's poor health as tax money, and there will be more stigma for being overweight.
Please stop parroting this. Coal is cheaper than solar in the same way that a house with no down payment is free. The environmental debt from coal's CO2 emissions will far exceed costs of solar.
Source WHO: https://www.who.int/water_sanitation_health/dwq/Boiling_wate...
Yes! I really hope I keep hearing more of this sentiment and that eventually we collectively take action. What would be the first practical step? There's a lot of effort duplicating the same functionality across different languages and frameworks. Is reducing this duplication a good first goal? Should we start at the bottom and convince ARM/x86/AMD64 to use the same instruction set? After that, should we reduce the number of programming languages? It seems there's still a lot of innovation going on, would it be worth stifling that?
I only remember hearing about "mathematically proven software" as an undergrad and just googled to find this name. I've always been interested in learning more of what it's about but never jumped in.