Yes, the Busy Beaver function grows faster than the functions I gave, basically it behaves like f_{w^1_CK} (although this does not really make sense because w^1_CK, the Church Kleen ordinal, is not recursive). By…
The ultimate generalization is to use an inductive definition based on recursive ideals. For instance the fast growing hierarchy f_alpha: https://en.wikipedia.org/wiki/Fast-growing_hierarchy Since ordinals are the…
It would be nice to know the priority of blocking elements between firefox default anti-tracker list, ublock origin, and privacy badger. When I see a tracker hit ublock origin does it mean that it bypassed firefox…
Now that systemd-nspawn also has oci support, I wonder if podman/cri-o are going to switch to nspawn rather than runc.
On the other hand, constructive set theory is still rather a niche part of mathematics (this may change with the recent development of HOTT). It is hard not to use the LEM (and I am not good at it, I am not an expert on…
Some plants have a closed cooling system. And the million figure count fish eggs, which is somewhat cheating. And if you take into account the reduced wildlife area due to solar panel and wind farm needing more space…
Yes long term we should get rid of it (for fusion), but in short term the priority is climate change. And nuclear fision is a tremendous asset for climate change. There are still huge challenge of course, and we are…
> Because it wanted to get rid of nuclear first and as fast as possible. And this killed a few thousand persons and rejected MegaTons of CO2 in the atmosphere that could have been avoided. > The next two decades will…
So still 35% coming from fossil if the remaining nuclear plants are shut down. Again, Germany goals and effort are laudable, but you miss my point, it is not about nuclear vs renewable, but nuclear vs fossils as a…
This is the production capacity (you are right it is not a good measure), but I was replying based on the graphic. If I look at wikipedia: https://en.wikipedia.org/wiki/Electricity_sector_in_Germany Germany went from…
Germany's goal is laudable, but even if it manages to go full renewable by 2050 that's still 40 years of green house gas emissions it could have avoided had it gone both nuclear and renewable. Nuclear can be made…
If I count lignite + coal + natural gas + mineral oil, it goes from 76.9GW in 2010 to 79.3GW in 2019. So it did not go down either. That's because Germany needs a back up energy source for now. It could have gone down…
I am flabbergasted that some commenters here argue against nuclear because of waste and accidents, while ignoring that - coal produce radioactive waste too - it kills a lot more persons (without taking into account…
Any matrix implementation (with fast exponentiation) is going to be much faster, even in a "slow" language. For instance, in ruby, `Matrix[[1,1],[1,0]] * * 46` is instantaneous (real time: 0.000131s). We have to go up…
Yes, the Busy Beaver function grows faster than the functions I gave, basically it behaves like f_{w^1_CK} (although this does not really make sense because w^1_CK, the Church Kleen ordinal, is not recursive). By…
The ultimate generalization is to use an inductive definition based on recursive ideals. For instance the fast growing hierarchy f_alpha: https://en.wikipedia.org/wiki/Fast-growing_hierarchy Since ordinals are the…
It would be nice to know the priority of blocking elements between firefox default anti-tracker list, ublock origin, and privacy badger. When I see a tracker hit ublock origin does it mean that it bypassed firefox…
Now that systemd-nspawn also has oci support, I wonder if podman/cri-o are going to switch to nspawn rather than runc.
On the other hand, constructive set theory is still rather a niche part of mathematics (this may change with the recent development of HOTT). It is hard not to use the LEM (and I am not good at it, I am not an expert on…
Some plants have a closed cooling system. And the million figure count fish eggs, which is somewhat cheating. And if you take into account the reduced wildlife area due to solar panel and wind farm needing more space…
Yes long term we should get rid of it (for fusion), but in short term the priority is climate change. And nuclear fision is a tremendous asset for climate change. There are still huge challenge of course, and we are…
> Because it wanted to get rid of nuclear first and as fast as possible. And this killed a few thousand persons and rejected MegaTons of CO2 in the atmosphere that could have been avoided. > The next two decades will…
So still 35% coming from fossil if the remaining nuclear plants are shut down. Again, Germany goals and effort are laudable, but you miss my point, it is not about nuclear vs renewable, but nuclear vs fossils as a…
This is the production capacity (you are right it is not a good measure), but I was replying based on the graphic. If I look at wikipedia: https://en.wikipedia.org/wiki/Electricity_sector_in_Germany Germany went from…
Germany's goal is laudable, but even if it manages to go full renewable by 2050 that's still 40 years of green house gas emissions it could have avoided had it gone both nuclear and renewable. Nuclear can be made…
If I count lignite + coal + natural gas + mineral oil, it goes from 76.9GW in 2010 to 79.3GW in 2019. So it did not go down either. That's because Germany needs a back up energy source for now. It could have gone down…
I am flabbergasted that some commenters here argue against nuclear because of waste and accidents, while ignoring that - coal produce radioactive waste too - it kills a lot more persons (without taking into account…
Any matrix implementation (with fast exponentiation) is going to be much faster, even in a "slow" language. For instance, in ruby, `Matrix[[1,1],[1,0]] * * 46` is instantaneous (real time: 0.000131s). We have to go up…