HNHacker News
TopNewBestAskShowJobs

kronicum2025

31 karma · joined September 12, 2025

submissionscomments
kronicum2025··on I know we're in an AI bubble because nobody wants me
I see a lot of comments here criticizing the author, and I think both teams have a point. There's definitely a bubble, because companies are buying up infrastructure which doesn't need to be used right now.

But also, the companies are buying up this infrastructure because whoever controls the infrastructure also controls the industry in around 5 years time.

kronicum2025··on The current state of the theory that GPL propagates to AI models
A GPL license is a contract in most other countries. Just not US probably.
kronicum2025··on KDE Plasma 6.8 Will Go Wayland-Exclusive in Dropping X11 Session Support
The other commentator is right. I have an AMD graphics card and I can do this as well. https://imgur.com/a/7mjm8O9
kronicum2025··on KDE Plasma 6.8 Will Go Wayland-Exclusive in Dropping X11 Session Support
I could set my screen to 75%, not really 73% but close may be?
kronicum2025··on KDE Plasma 6.8 Will Go Wayland-Exclusive in Dropping X11 Session Support
You can. KDE Wayland allows you to even set fractional scaling. I had 125% on one monitor and 100% on three others. all work like a chgarm
kronicum2025··on KDE Plasma 6.8 Will Go Wayland-Exclusive in Dropping X11 Session Support
KDE on Linux is the way. Extremely Stable.
kronicum2025··on KDE Plasma 6.8 Will Go Wayland-Exclusive in Dropping X11 Session Support
I use Discord App on Arch on KDE on Wayland. What are the issues that you are facing?
kronicum2025··on After my dad died, we found the love letters
> He grew up in a social environment where coming out as gay would make everyone around him sad and angry/ashamed at him

That's the good case. The bad case would be he would lose his job, and be forced into poverty.

kronicum2025··on Iran president says capital move now a necessity as water crisis deepens
tbh US made a choice for them long ago.
kronicum2025··on Europe is scaling back GDPR and relaxing AI laws
> But when we talk privacy and personal data there should be no gray zone. It has to be black and white.

you are wrong. If one followed your ways, we would never do a lot of things. There are things called regulatory sandboxes for a reason. But those don't really work in fields where the "scale of the data" is the core reason of why things work.

Chat control is stupid.

kronicum2025··on Maybe you’re not trying
What's the opposite? Where solving your problems is easy and but solving your friend's problems are very difficult because your advice are never relevant?
kronicum2025··on Myna: Monospace typeface designed for symbol-heavy programming languages
Is it really impossible? I'm not disputing you, but for my own learning. Is there somewhere I could read about impossibility of ligatures and monospace?
kronicum2025··on Sanders: Government should break up OpenAI
Break it off from Microsoft definitely. Same with Github I think.
kronicum2025··on Why formalize mathematics – more than catching errors
I'm leaning a lot into AI + lean. It's a fantastic tool to find new proofs. The extremly rigid nature of lean means you can really check programs for correctness. So that part of AI is solved. The only thing that remains is generating proofs, and that is where there's nothing in AI space right now. As soon as we do get something, our mathematical knowledge is going to explode.
kronicum2025··on Germany outfitted half a million balconies with solar panels
Yup, bad point. Sorry about that. I forgot about the feeding into the grid aspect of solar.
kronicum2025··on Germany outfitted half a million balconies with solar panels
There are definitely economics of scale. They are just not visible in Germany due to outdated building and policy practices.

> I'm not talking about prices, which may incorporate subsidies, permitting costs, taxes such as tariffs, transaction costs, lawsuits against non-performing building contractors, and market inefficiencies such as homeowners not having access to the zero-marginal-cost excess power that can be produced on sunny days for regulatory reasons.

Every single thing here is policy failure by German government.

kronicum2025··on Germany outfitted half a million balconies with solar panels
> I don’t understand this sentiment at all. They didn’t sacrifice their balcony, and this is electricity that the central utility organizations couldn’t generate. Many parts of the world don’t even allow this kind of solar panel to be used by individuals, so its legality is actually a policy success.

Completely disagree. This is definitely electricity that central utility organizations could generate. A central method to generate electricity with solar panels would benefit everyone. This method only benefits the individuals who have their own homes or have balconies.

The biggest problem with the above is that now the govt has even less visibility on planning their electricity needs and therefore cannot plan electric infrastructure better. Also, each home is now a single point of failure for its own electricity and this will inevitably feed back to the main grid.

The real reason this is happening is because govt is in policy paralysis and cannot provide cheap electricity from solar themselves and have to depend on each individual doing it on its own.

kronicum2025··on Investigating a Forged PDF
> Because there’s no Photoshop for PDFs, maybe?

Xournal++

kronicum2025··on Why today's humanoids won't learn dexterity
Only because of your training otherwise.
kronicum2025··on Athlon 64: How AMD turned the tables on Intel
And such a terrible architecture for the time.
kronicum2025··on Implicit ODE solvers are not universally more robust than explicit ODE solvers
In such cases, you do need to switch between methods. If you already know how to deal with origin, then getting to origin can be done with a normal stepper. Decide how low you are okay with your step to go. Set that as your target `t_target` which would typically be a very small number. Approach that number with normal stepping methods and then once you are there, start your series solve.
kronicum2025··on Restrictions on house sharing by unrelated roommates
So, people were not allowed to have their grandparent live in the same household as the parents? That seems awfully bad for social health.
kronicum2025··on In Defense of C++
I meant to say exclusively owned references.
kronicum2025··on South Korea's President says US investment demands would spark financial crisis
The problem is how difficult it is to remove someone once they are in power. In parliamentary democracies, it's simply loss of majority.
kronicum2025··on South Korea's President says US investment demands would spark financial crisis
You assume that the current admin is not simply asking for gifts.
kronicum2025··on Oh no, not again a meditation on NPM supply chain attacks
The title does not do justice to public course of thinking which is more like "Oh no, not again! Anyway, look at this shiny new tool."
kronicum2025··on In Defense of C++
The safety part in this article is incorrect. There's a google doc somewhere where Google did an internal experiment and determined that safety c annot be achieved in C++ without an owning reference (essentially what Rust has).
kronicum2025··on Implicit ODE solvers are not universally more robust than explicit ODE solvers
It depends on your dimensions of the system. If your system is one or low dimensional or if the function has sufficient smoothness, then it makes sense to assume that the function is a series of some kind, and then iterative solve on the least squares using gradient descent. If you pick the correct kind of series, you would get extremely quick convergence.

When number of dimensions become very high or if the function becomes extremely irregular, then variations of monte carlo are generally extremely better than any other methods and have much higher accuracy than other methods, but the accuracy is still much lower than low dimensional methods.

kronicum2025··on How to become a pure mathematician or statistician (2008)
Getting a good mentor is the most difficult part for most people following this list.
kronicum2025··on How to become a pure mathematician or statistician (2008)
As a young person growing up in India, enrolled in engineering in a small desolate city, when I wanted to be a mathematician, with no real path in sight, this blog post is actually what I followed, and learnt everything that is mandatory on this blog post during my undergraduate on my own, and then applied for entrance examinations for grad institutes in India, and now have successfully finished my PhD nicely in US.

So, in that sense, this blog post is for people like me, who had no exposure to research scientists in around 2012 in the places we are growing up. (I didn't yet have stable internet then, only once an hour every evening). They still have some years before they could actually come in contact with researchers who can give them good problems to work on. and the local universities are horribly out of whack in their skill/desire to teach the students properly.

And so, in the meantime, till you get access to good research problems, you prepare yourself to be ready for the problem when the day finally comes. And this blog post along with another one: https://webspace.science.uu.nl/~hooft101/theorist.html was what kept motivating me when I was studying.

The list of books is as important as anything else. To be fair, in 2012, math.stackexchange.com had grown up quite a bit, but I was not aware of it for various reasons.