Hacker News: jojomodding

New comment by jojomodding in "Zohran and the Short Link"

jojomodding — Sun, 30 Aug 2026 07:13:37 +0000

And who is "they" in this case?

New comment by jojomodding in "Linux 7.3 improves performance when running out of vRAM"

jojomodding — Tue, 18 Aug 2026 10:39:03 +0000

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?

New comment by jojomodding in "Tocharian Online"

jojomodding — Fri, 14 Aug 2026 00:01:06 +0000

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 "Urheimat") and then this leads to everyone wanting to be (indo)-aryan-decendent the most.

New comment by jojomodding in "How Gödel's Proof Works (2020)"

jojomodding — Thu, 13 Aug 2026 21:57:09 +0000

Yes it is true in the unique model of second order PA, aka the computable model, aka the "standard" model.

New comment by jojomodding in "NASA figured out how to keep its Voyager 2 probe running for another year"

jojomodding — Sat, 08 Aug 2026 10:58:47 +0000

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) whereas using the existing tools is basically free.

New comment by jojomodding in "Postmortem for Kernel Soundness Bug #14576"

jojomodding — Sun, 02 Aug 2026 09:47:37 +0000

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.

New comment by jojomodding in "Postmortem for Kernel Soundness Bug #14576"

jojomodding — Sat, 01 Aug 2026 23:08:06 +0000

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 closed counterexample.

New comment by jojomodding in "Premier league bans gambling sponsors"

jojomodding — Sat, 01 Aug 2026 05:01:24 +0000

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.

New comment by jojomodding in "Premier league bans gambling sponsors"

jojomodding — Sat, 01 Aug 2026 04:58:36 +0000

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.

New comment by jojomodding in "How real are real numbers? (2004)"

jojomodding — Tue, 28 Jul 2026 09:54:44 +0000

Chaitin's constant. Or rather, you can never see that it has been laid out in your infinite universe.

New comment by jojomodding in "Decathlon Germany adds Wero payment option to decathlon.de website"

jojomodding — Tue, 28 Jul 2026 09:51:14 +0000

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 to log into their online banking and the unfair leveling of risk onto the consumer.

New comment by jojomodding in "French firefighters face 'pyrocumulonimbus' for first time"

jojomodding — Mon, 27 Jul 2026 18:58:20 +0000

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.

New comment by jojomodding in "BYD Yangwang U8 has remarkable emergency floating function that would save lives"

jojomodding — Sun, 26 Jul 2026 19:33:31 +0000

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 total drown.

New comment by jojomodding in "German battery maker Varta files insolvency applications"

jojomodding — Fri, 24 Jul 2026 12:35:03 +0000

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 the mismatch between supply and demand in electricity markets, so in a sense the battery operators hope to do arbitrage in a way that will also increase the efficiency of the market (by allowing the use of solar after dark).

This is very much a market-based solution. What the state has to do is provide permits and stuff for getting the batteries etc. actually built; which the state is doing but not as fast as it could right now. (at least in Germany)

New comment by jojomodding in "German battery maker Varta files insolvency applications"

jojomodding — Fri, 24 Jul 2026 12:30:21 +0000

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.

New comment by jojomodding in "GitHub shouldn't be a dependency for publishing Rust on crates.io"

jojomodding — Wed, 24 Jun 2026 21:32:09 +0000

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-and-coming contributors for Open Source outreach programmes, but this are not really the people who you want to have immediately work on your critical infrastructure code.

New comment by jojomodding in "Founding a company in Germany: €9600, 152 days and I still can't send an invoice"

jojomodding — Wed, 24 Jun 2026 18:12:27 +0000

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 income. This is usually hard to prove, but if your assets are 0 and there was never a viable plan all along they'll likely found you guilty. This means you become personally liable to the creditors and might also face jail time.

New comment by jojomodding in "How Japan's railways stayed one while splitting apart"

jojomodding — Fri, 19 Jun 2026 09:15:16 +0000

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 from the rail companies (after making it cheaper).

New comment by jojomodding in "Swiss parliament lifts ban on new nuclear power plants"

jojomodding — Thu, 18 Jun 2026 19:43:37 +0000

Ah, that's what they're building the power plants for. Blasting things into space.

New comment by jojomodding in "Want your images back? That'll be $5"

jojomodding — Thu, 18 Jun 2026 00:56:05 +0000

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 realize which picture it is, or at the very least a file listing. Ah yes and they must do so without charging me anything.