Viewing profile — jojomodding

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 fi…

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…

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 peopl…

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 …

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…

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 batter…

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 s…

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 mainta…

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 know…

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 s…

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, …

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 t…

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,…

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 l…

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…

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 …

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, the…

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 ma…