jojomodding

6 ms·

1.
by jojomodding 18d ago
And who is "they" in this case?
2.
by jojomodding 29d ago
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?
3.
by jojomodding 1mo ago
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 "Urheim
4.
by jojomodding 1mo ago
Yes it is true in the unique model of second order PA, aka the computable model, aka the "standard" model.
5.
by jojomodding 1mo ago
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 astronomical (heh) whe
6.
by jojomodding 2mo ago
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.
7.
by jojomodding 2mo ago
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 fully cl
8.
by jojomodding 2mo ago
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.
9.
by jojomodding 2mo ago
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.
10.
by jojomodding 2mo ago
Chaitin's constant. Or rather, you can never see that it has been laid out in your infinite universe.
11.
by jojomodding 2mo ago
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 that users need
12.
by jojomodding 2mo ago
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.
13.
by jojomodding 2mo ago
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 in tot
14.
by jojomodding 2mo ago
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 the latter comes from t
15.
by jojomodding 2mo ago
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.
16.
by jojomodding 3mo ago
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 gives stipends to up
17.
by jojomodding 3mo ago
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 expected future inco
18.
by jojomodding 3mo ago
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 taking away income fro
19.
by jojomodding 3mo ago
Ah, that's what they're building the power plants for. Blasting things into space.
20.
by jojomodding 3mo ago
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 sufficient for me to re
21.
by jojomodding 3mo ago
The judge will decide if the evidence is admissible or not.
22.
by jojomodding 3mo ago
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 it's not entire
23.
by jojomodding 3mo ago
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 go buy the
24.
by jojomodding 4mo ago
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
25.
by jojomodding 4mo ago
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 this mayb
26.
by jojomodding 4mo ago
Once it shortens the loop, the compiler can also observe that `tab` is a local variable and therefore move the writes up "to the initializer." It can then see that the variable is unused and delete it, and also delete the loop.
27.
by jojomodding 4mo ago
Interestingly, the way in which Grothendieck conceived of equality is nowadays being questioned, especially due to the rise of formalized mathematics and Lean. More concretely, there is this fun paper by Kevin Buzzard which deconstructs it:
28.
by jojomodding 4mo ago
This also makes it obvious that at some point, the halting problem becomes "unprovably hard." There must be Turing Machines for which it is independent of the accepted axioms of mathematics whether or not they halt. And indeed, co
29.
by jojomodding 4mo ago
That title is a gross misrepresentation of what is actually happening. This is actually about an Iranian Cloud Provider wanting to be added to the public suffix list.
30.
by jojomodding 4mo ago
Not sure what is particularly autistic about the observation that "couldn't we just all get along" is unfortunately not how the world works even if we would like it to?

More ›