And who is "they" in this case?
Or alternatively, instead of evicting it all, can you move the data around in physical memory while updating the page table, so that you can clear a large enough continuous block of physical memory?
Not so fun fact: Mythicism around Proto-Indo-European is part of what made Hitler come up with the idea of "Aryans" because they hypothesized that there was some relation between the language having come from Iran (as…
Yes it is true in the unique model of second order PA, aka the computable model, aka the "standard" model.
They still have scientific instruments operating. These have produced new insight into the last few years, telling us e.g. how large the Heliosphere is. The investment needed to find this out with a new drone would be…
Yes, in particular the slides by Kevin Buzzard (linked in there or here: https://www.andrew.cmu.edu/user/avigad/meetings/fomm2020/sli... ) are funny and educational on that matter.
No, Lean allows non-constructive proofs so a proof could be like "if the Riemann hypothesis is true the counterexample is 42 otherwise it is the first nontrivial zero" or something like this, and then you don't get a…
Football was doing fine before this all started. It just multiplied the wages of some people who already earn more per year than I will ever own in a lifetime.
Yes. One way to do so is by eradicating gambling (or at least the ads for it). People will never be 100% happy, all the time. And gambling (like many other companies) prey on people in the moments where they feel down.
Chaitin's constant. Or rather, you can never see that it has been laid out in your infinite universe.
They just need to have smaller fees than Visa/Mastercard. Paying by SEPA direct debit in a store checkout situation seems insane. Even with instant payments it can take 20 seconds which is too long. Add to that the fact…
This video is so insane. They're in a combustion engine. I can not fathom why they survived let alone managed to drive out of this. Trains are not build for fire resistance.
Is it gonna be one of those things where increased safety encourages dumb people because "it is watertight you know" so now a lot more people drive into the floods, and even though it's a smaller proportion more people…
I am not sure I understand what you are trying to say. There is currently a lot of demand for building out solar and wind in Germany. There is also large demand for building battery storage. The demand especially for…
You can never know. People in Germany have wildly divergent takes on what would be good for the country right now and some things that are acceptable to say in mainstream circles seem batshit insane to me.
The non-profit (the Foundation) pays for specific things but it is not really there to hire people to work on things. It pays for infrastructure work and to pay the existing maintainers who often do review work. It also…
Probably criminally liable for bankruptcy as well. At least in Germany (where I am vaguely familiar with the law) you lose bankruptcy protection for debts you take on that are knowingly not covered by existing assets or…
You can tell this is a true success in Germany because 95% of local passengers now use it. It also caused a significant increase in ridership, putting the already overloaded rail system under a lot more pressure while…
Ah, that's what they're building the power plants for. Blasting things into space.
In times like this, I am happy I live in the EU where I can request a company send me a copy of all data they have stored about me. That includes all pictures I ever send to them, or at least a low-resolution preview…
The judge will decide if the evidence is admissible or not.
Switzerland already has such a party, the SVP (UDC in French), and in fact they put forward the initiative. This was widely understood to be a vote on how well the SVP can appeal to the center. Turns out pretty well but…
Newspapers have mechanisms like corrections and apologies that can be used to "right" a published falsehoods. This relies on me being able to find out if a newspaper lies about me, which is usually easy since we can all…
Well, you can use tap code: https://en.wikipedia.org/wiki/Tap_code Or you can use "Morse tap code" where two close knocks represent a dot, and if the gap between them is slightly longer it's a dash. That takes two…
Most countries you would consider "developed" in the world (and then some more) switched to having a professional, non-political civil service in the last 100 years, if they hadn't already had one. Do you think that…
And who is "they" in this case?
Or alternatively, instead of evicting it all, can you move the data around in physical memory while updating the page table, so that you can clear a large enough continuous block of physical memory?
Not so fun fact: Mythicism around Proto-Indo-European is part of what made Hitler come up with the idea of "Aryans" because they hypothesized that there was some relation between the language having come from Iran (as…
Yes it is true in the unique model of second order PA, aka the computable model, aka the "standard" model.
They still have scientific instruments operating. These have produced new insight into the last few years, telling us e.g. how large the Heliosphere is. The investment needed to find this out with a new drone would be…
Yes, in particular the slides by Kevin Buzzard (linked in there or here: https://www.andrew.cmu.edu/user/avigad/meetings/fomm2020/sli... ) are funny and educational on that matter.
No, Lean allows non-constructive proofs so a proof could be like "if the Riemann hypothesis is true the counterexample is 42 otherwise it is the first nontrivial zero" or something like this, and then you don't get a…
Football was doing fine before this all started. It just multiplied the wages of some people who already earn more per year than I will ever own in a lifetime.
Yes. One way to do so is by eradicating gambling (or at least the ads for it). People will never be 100% happy, all the time. And gambling (like many other companies) prey on people in the moments where they feel down.
Chaitin's constant. Or rather, you can never see that it has been laid out in your infinite universe.
They just need to have smaller fees than Visa/Mastercard. Paying by SEPA direct debit in a store checkout situation seems insane. Even with instant payments it can take 20 seconds which is too long. Add to that the fact…
This video is so insane. They're in a combustion engine. I can not fathom why they survived let alone managed to drive out of this. Trains are not build for fire resistance.
Is it gonna be one of those things where increased safety encourages dumb people because "it is watertight you know" so now a lot more people drive into the floods, and even though it's a smaller proportion more people…
I am not sure I understand what you are trying to say. There is currently a lot of demand for building out solar and wind in Germany. There is also large demand for building battery storage. The demand especially for…
You can never know. People in Germany have wildly divergent takes on what would be good for the country right now and some things that are acceptable to say in mainstream circles seem batshit insane to me.
The non-profit (the Foundation) pays for specific things but it is not really there to hire people to work on things. It pays for infrastructure work and to pay the existing maintainers who often do review work. It also…
Probably criminally liable for bankruptcy as well. At least in Germany (where I am vaguely familiar with the law) you lose bankruptcy protection for debts you take on that are knowingly not covered by existing assets or…
You can tell this is a true success in Germany because 95% of local passengers now use it. It also caused a significant increase in ridership, putting the already overloaded rail system under a lot more pressure while…
Ah, that's what they're building the power plants for. Blasting things into space.
In times like this, I am happy I live in the EU where I can request a company send me a copy of all data they have stored about me. That includes all pictures I ever send to them, or at least a low-resolution preview…
The judge will decide if the evidence is admissible or not.
Switzerland already has such a party, the SVP (UDC in French), and in fact they put forward the initiative. This was widely understood to be a vote on how well the SVP can appeal to the center. Turns out pretty well but…
Newspapers have mechanisms like corrections and apologies that can be used to "right" a published falsehoods. This relies on me being able to find out if a newspaper lies about me, which is usually easy since we can all…
Well, you can use tap code: https://en.wikipedia.org/wiki/Tap_code Or you can use "Morse tap code" where two close knocks represent a dot, and if the gap between them is slightly longer it's a dash. That takes two…
Most countries you would consider "developed" in the world (and then some more) switched to having a professional, non-political civil service in the last 100 years, if they hadn't already had one. Do you think that…