MurphyA/hacker-news huggingface dataset:
by Analemma_ | 2025-04-21 18:52:35+00:00
The top-line number doesn't accurately explain what's going on in China: they have a bunch of coal plans, but many of them operate at 10% or less of rated capacity, probably out of a combination of "these are peaker and/or worst-case (i.e. American oil embargo) scenario energy security plants" and old-fashioned deficiencies in central planning. In any case, you should measure coal burned instead of capacity installed, which is leveling off: [1]

[1]: https://www.statista.com/statistics/265491/chinese-coal-cons...
by LUmBULtERA | 2025-04-21 18:52:55+00:00
China is deploying far more solar generation, at an increasing rate. [0]

Increasingly cheap battery storage, also built in China, is also being deployed rapidly.

It all makes a lot of difference.

[0] https://www.pv-magazine.com/2024/02/02/chinas-new-pv-install...
by aaronbaugher | 2025-04-21 18:53:01+00:00
Pope St. Pius X put it in Pascendi: "It is one of the cleverest devices of the Modernists (as they are commonly and rightly called) to present their doctrines without order and systematic arrangement, in a scattered and disjointed manner, so as to make it appear as if their minds were in doubt or hesitation, whereas in reality they are quite fixed and steadfast."

Francis, like other Modernists, had the knack of saying heretical things in a way that the intended effect was obvious, but his defenders could say, "He never said that! And here's how you could interpret him in a completely consistent with Catholic teaching." Or they'd argue that he was speaking off-the-cuff and shouldn't be taken literally, or that he was misquoted by an atheist interviewer (to whom he kept giving interviews and never corrected the record). But everyone who wasn't in denial knew what he was doing.
by w0m | 2025-04-21 18:53:19+00:00
> My personal experience is that adoptive parents are overwhelmingly conservative.

The current republican leadership has been pretty shit lately insofar as being human. “The fundamental weakness of Western civilization is empathy” being a direct and recent quote by arguably the most powerful man on the planet.

That isn't to disagree with your personal experience by any stretch; just point out that those in power/pushing these laws are much more... raging asshole. MGT celebrating the popes death today as another example.

That's why the current voting trends frustrate me so much; base morality seems to have left the conversation. :(
by f30e3dfed1c9 | 2025-04-21 18:54:12+00:00
Re: "does it really matter if it can be described as cognition or not?"

To Chomsky? He'd have to speak for himself, but I suspect the answer is "yes, obviously, at least to be of interest to me."

Note that I'm not saying LLMs are useless or even that what they do is usefully described as "plagiarism."

But it seems entirely unsurprising to me that Chomsky would be unimpressed and uninterested -- even to the point of dismissiveness, he's pretty much like that -- precisely because they are unrelated to "cognition."
Show HN: I made a backdoor for web freelancers to avoid unpaid bills
by raphaelgvl | 2025-04-21 18:54:30+00:00
I’ve been building websites for clients for years — and like many freelancers and small studios, I’ve dealt with that sinking feeling when a client loves the work… and then vanishes when it’s time to pay.

Chasing payments sucks. Going legal is slow, expensive, and messy.

So I asked myself: “What if we could prevent this from the start, without sounding aggressive or unprofessional?”

That’s why I built Braum.

It's like a legal backdoor to get back your peace of mind when you give the keys of your website to your client. If he pays, everything is ok, but if he doesn't, you can display a message, of an error page (404, 500, etc)...
by dghlsakjg | 2025-04-21 18:54:32+00:00
It provably does matter.

Western transition away from fossil fuel usage is still a reduction in net fossil fuel usage when compared to no shift at all. In other words fossil fuel usage might still be growing, but it is growing at a slower rate. If we accept that fossil fuel usage should be minmized then it very much matters.

Aside from that; this argument reduces to an exceptionally bad moral stance which is: Someone else is doing bad things, therefore that justifies me doing that bad thing. Or as you might phrase the counter-argument to a young child: just because someone else is littering doesn't mean that it is ok for you to litter.
by daxfohl | 2025-04-21 18:54:55+00:00
This is irrelevant. First, quantum programs don't "get" anything just by virtue of being quantum code, any more than classical computers "get" the foundations of electricity and magnetism because they use electrons. Second, classical computers absolutely can simulate quantum systems. They're inefficient, but they can do it. Third, determining whether an agent is stuck in an infinite loop has nothing to do with the physical world. They're just binary code running on a Turing machine. Fourth, the halting problem is provably unsolvable in both classical and quantum systems, so there's not even a relationship here. Fifth, what do you mean by quantum systems are physical? Does this mean classical systems aren't? Are physical systems only those that use every aspect of physics? Then quantum systems aren't physical either because they can't account for gravity. So do we need quantum gravitational computers? Sixth, what does "getting" quantum mechanics that have to do with AI agents? Do I need to understand quantum physics before I can have a conversation with someone? Can I not read an email without an appeal to hilbert space? Just, none of this is related to quantum computing. It's like having a bug in a deployment and saying string theory would've prevented that.
by davepeck | 2025-04-21 18:55:08+00:00
> This is such a strange take on t-strings

I understand why this seems strange at first!

As Paul mentioned, we spent quite a lot of time considering these issues as PEP 750 came together. In the end, we concluded (a) the PEP leaves open quite a few potential approaches for tools to adopt (not just the one you suggest, as others here have pointed out), and (b) it's ultimately something that the broader tooling community needs to rally around and should probably be out of scope for the PEP itself.

So, with that background in mind, I am indeed hopeful we'll see the ecosystem adapt! :-)
by odo1242 | 2025-04-21 18:55:19+00:00
A lot of open source software operates on the same principles of academic research. Most academic research is considered freely available, and other researchers can generally use your work as they please, so long as they cite the original author.

In this context, not "citing the original author" in the copyright statement, labeling the repository as a "fork" on GitHub, clearly crediting the original author in a way that clearly describes the fact that a significant portion of their code is used in the new project isn't just a violation of the license, it's plagiarism.

So in that sense it could be better potentially.
by brianberns | 2025-04-21 18:55:49+00:00
These are indeed very similar. Thanks for the link!

The math is a bit over my head, but this formulation seems more difficult than the one I'm familiar with. For example, x^2 is represented as 0::0::2 instead of 0::0::1 (because 2! = 2) and x^3 is represented as 0::0::0::6 instead of 0::0::0::1 (because 3! = 6). Is there a benefit to that?
by bigyabai | 2025-04-21 18:56:30+00:00
Not sure why you're so skeptical. This was a widely reported incident, it is highly-studied in tactical circles and information on the shootdown is available online and in print. The details they are referring to is likely the flight schedule and formations of the various missions flying out of the airbase. Knowing that a stealth aircraft has no anti-radiation escort means that you can illuminate them with a high-powered radar and not expose yourself as a target. In 1999 it would not be infeasible to use EOTS for a targeting solution too, like the parent comment says all you have to do is "solve" for the constraints.

> How does that apply here?

Because jets don't materialize in midair when they're needed and disappear when their mission is over. They are logistical nightmares to plan for, and part of that chain of logistics concerns keeping your flight plans private. Otherwise, you risk pilot lives so your enemy can use 1950s tactics against you. Air combat isn't the Cold War anymore, shootdowns like the one in 1999 emphasize how important secrecy is in contested airspace.
by lo_zamoyski | 2025-04-21 18:56:42+00:00
Indeed.

I’ll also add that many of his admirers as well as his detractors exaggerated his virtues, his merits, and his flaws. He was both the victim of a media and film industry all too eager to spin him into the “progressive pope” — never shying away from quoting him out of context to push an agenda — and the issuer of problematic and ambiguous documents and off-the-cuff remarks that only served to generate confusion.

Intellectually, Benedict XVI and John Paul II were in a different league. As far as the Jesuits are concerned, I know that in the popular imagination, the Jesuits are imagined to be some kind of “progressive”, intellectually superior order, but historically, they were sort of the shock troops of the Church. They certainly have merits to their name. While they did become involved in education, they drew from the traditions of education in the Church. Education and scholarship, however, are not their charism. Compare that with the Dominicans, for example, who have teaching and education as their mission (Thomas Aquinas is probably their most famous member).
by 9rx | 2025-04-21 18:56:48+00:00
"Enterprise" being a euphemism for low-quality developers who don't know how to write quality software (the sloppy developers referenced in an earlier comment)? Perhaps not. Go does seem to scare off anyone who relies on crutches to work around shoddy work and inability.

But it doesn't really matter which codebases they used, does it? Replication efforts will reveal anything they got wrong. No need to make guesses.
by guessmyname | 2025-04-21 18:56:49+00:00
It’d be better if it was written in C or at least Vala. With Python, you have to wait a couple hundred milliseconds for the interpreter to start, which makes it feel less native than it can be. That said, the latency of the LLM responses is higher than the UI, so I guess the slowness of Python doesn’t matter.
by doodlebugging | 2025-04-21 18:56:49+00:00
I'm not a bluesky user yet but in reading through the post I discovered a problem with their implementation of the ID verification.

They describe it as a "blue check" when in fact it is a white check on a blue circular background.

Just nit-picking I guess but sometimes I read a passage that describes something and I conjure an image in my mind of what I would see should I open my eyes with it all laid out in front of me. This does not fit the image that is described in the post and makes we want to question the author's observational skills.
by palmotea | 2025-04-21 18:57:02+00:00
> I have a feeling that people who got bogged down in step 3 were the kind of people who write a lot of wordy corporate boilerplate with multiple levels of abstraction for every single thing. AKA "best practices" type coding.

Or they're the kind of people who rushed to step 3 too fast, substantially skipping steps 1 and/or 2 (more often step 2). I've worked with a lot of people like that.
by tptacek | 2025-04-21 18:57:04+00:00
This isn't a contest of two vibes, one pro-DNSSEC and one anti-. You can just download the Tranco list and run a for loop over it checking for DS records. DNSSEC adoption in North America has actually fallen sharply in North America since 2023 (though it's starting to tick back up again) and every chart you'll find shows a pronounced plateauing effect, across all TLDs --- damning because the point at which the plateau flattens is such a low percentage.
Ask HN: What to do if stuck without a technical cofounder?
by xanaxspandex | 2025-04-21 18:57:16+00:00
I work on a RAG at a large company. The problem of not having enough human user feedback to quickly validate my evals (cheaply) is obvious to me. Enterprise users are constantly asking my team what they can do to improve our RAG since their leadership mandates the use of AI, but I don't have time to interview them and my eng leadership hasn't invested in robust observability for this tool.

I've vibe coded a non-working prototype so far. I've been turned down by 4 technical founders. I got a $12K quote from a reputable dev shop for finishing it to a working version. It's been 2 months and I still have my day job.

Should I just commit to teaching myself nodejs?
by dang | 2025-04-21 18:57:20+00:00
Thanks! Macroexpanded:

Kate Text Editor and OrgMode - https://news.ycombinator.com/item?id=40899978 - July 2024 (1 comment)

Kate editor on all platforms - https://news.ycombinator.com/item?id=40032869 - April 2024 (153 comments)

Kate Editor Features - https://news.ycombinator.com/item?id=37231529 - Aug 2023 (18 comments)

Integrated Terminal on Windows in KDE Kate - https://news.ycombinator.com/item?id=34824467 - Feb 2023 (1 comment)

Kate - https://news.ycombinator.com/item?id=34697173 - Feb 2023 (23 comments)

Using Kate's Git Features - https://news.ycombinator.com/item?id=34624765 - Feb 2023 (1 comment)

Kate – New Features – August 2022 - https://news.ycombinator.com/item?id=32585221 - Aug 2022 (1 comment)

Kate 22.08 - https://news.ycombinator.com/item?id=32219281 - July 2022 (6 comments)

Kate is a fantastic text editor - https://news.ycombinator.com/item?id=29623909 - Dec 2021 (1 comment)

KDE Advanced Text Editor: A Feature-Packed Text Editor - https://news.ycombinator.com/item?id=26972858 - April 2021 (1 comment)

Kate Editor: Search In Files and Multi-Threading - https://news.ycombinator.com/item?id=25969409 - Jan 2021 (1 comment)

The Kate Text Editor in 2020 - https://news.ycombinator.com/item?id=25592677 - Dec 2020 (5 comments)

The Kate text editor is 20 years old - https://news.ycombinator.com/item?id=25424735 - Dec 2020 (81 comments)

Kate is soon 20 years old - https://news.ycombinator.com/item?id=25030096 - Nov 2020 (12 comments)

Kate – A Qt Text Editor for Linux, MacOS and Windows - https://news.ycombinator.com/item?id=16558407 - March 2018 (2 comments)

Kate Turning 10 Years Old - https://news.ycombinator.com/item?id=2876471 - Aug 2011 (20 comments)
by toolslive | 2025-04-21 18:57:36+00:00
In chess, as in most sports, defending is more difficult than attacking. When you're attacking, and you're attack is running out of steam, you can always "throw some extra wood on the fire". When you're defending, one slip and you're lost. One should not underestimate the psychological impact of the above. Most players crumble under prolonged pressure. This not only applies to me (a mere 2000 FIDE rated player), but also to the (2700+) elite.
by freedomben | 2025-04-21 18:57:55+00:00
Fun, I can't get to it because I can't get past the "Making sure you're not a bot!" page. It's just stuck at "calculating...". I understand the desire to slow down AI bots, but . If all the gnome apps are now behind this, they just completely shut down a small-time contributor. I love to play with Gnome apps and help out with things here and there, but I'm not going to fight with this damn thing to do so.
by ComplexSystems | 2025-04-21 18:58:01+00:00
The point is that the author would not really be much happier if Microsoft had added a few lines admitting substantial portions of code were taken from Spegel. They probably will do this, but I doubt he will be satisfied with the result either way.

The comment above, which I mostly agree with, is that the point of the MIT license to permit anyone, including large corporations, doing this kind of thing. Since this doesn't seem like an outcome the author is happy with, maybe a different license would be better.
by somat | 2025-04-21 18:58:28+00:00
This is better than twitters nonsensical verification but still does not close the loop all the way. I think what is needed are a set of equivalency verification's. Sort of like the domain verification used in getting a TLS certificate.

Something like

bluesky user X is equivalent(has control) to domain A(domain verification) to youtube account B (youtube verification) to mastodon account C (mastodon verification) to D@nytimes.com (email verification)

So logically I would expect a protocol that allows cross domain verification. Best I can come up with is something that works sort of like domain verification extended to user@domain verification. that is, a better engineered version of "make a youtube video with the string 'unique uuid code' in the comment" so that we can verify you own that youtube account"

The problem is that some domains would have no problem standing up this sort of verification. The Times only benefits from verifying it's employees. However I can see fellow social media sites balking as this equivalency weakens their walls that keep people in.
by alabastervlog | 2025-04-21 18:58:33+00:00
I wondered what their angle would be for the suit, and the author comments:

> They’re planning to file this week, and the lawsuit is primarily about the President’s power to create tariffs at whim. They’re specifically interested in any businesses directly impacted by the tariffs.

So it looks like it's attacking the way a (plainly, transparently bullshit) "emergency" is being used to invoke emergency powers to levy tariffs purely on the President's authority, including in ways that are totally unrelated to and not even justified in rhetoric by the "emergency".

IOW it reads like this is an attack on the core legal mechanism by which he's doing all this, not some narrower question.
by cobbaut | 2025-04-21 18:58:57+00:00
> As a sole maintainer of an open source project, I was enthused when Microsoft reached out to set up a meeting to talk about Spegel. The meeting went well, and I felt there was going to be a path forward ripe with cooperation and hopefully a place where I could onboard new maintainers.

I bet the Spyglass people had the same thought.

https://en.wikipedia.org/wiki/Spyglass,_Inc.
by thunkingdeep | 2025-04-21 18:59:39+00:00
Bluesky is riddled with pornography, even with the strictest settings enabled. I genuinely don’t feel comfortable scrolling any of the curated feeds in a public place except for my direct “Following” only feed.

Not sure how big of a priority this is for the team that runs it, but I would probably use it 20x more if it was ran competently.
by spilldahill | 2025-04-21 18:59:40+00:00
yeah this was always kinda inevitable. vscode was great because it felt open, but once real money + competition showed up, microsoft was never gonna just sit back.

cursor growing that fast definitely got their attention. makes sense they'd start quietly closing doors rather than doing something heavy-handed like blocking marketplace access outright.

openvsx is a cool idea but still feels half-baked, not sure if it can catch up unless more big players start backing it.
by teddarific | 2025-04-21 19:00:02+00:00
Awesome to hear — our goal is to get to a point where you can copy/paste the design, but we totally recognize that it doesn't always get you to a full high fidelity mock up with the current limitations. So the main use case we've seen a lot of success with is ideating and validating different branches, quickly.

Oh that sounds very neat — definitely similar in nature! Documents and UI are both complex and can require a lot of iterations to get right
by uwagar | 2025-04-21 19:00:14+00:00
guess this is off-topic but in 1999 i flew to uk (for the first time) via malaysia. the 747 stopped for fuel at munich and wandering the aisle i happened to talk to an old chinese lady that stunned me with very fluent tamil! (my mother tongue). she was adopted and brought up by immigrant tamil parents in malaysia. they even married her to a malaysia indian tamil man and she had a daughter that she was going to visit in manchester.
by jcgr | 2025-04-21 19:00:24+00:00
I'm CTO at a startup and Magic Patterns is amazing, my current workflow is to ideate using MP then implement straight to my codebase.

The instant feedback-loop of iterating over components is great and perfect for me when I'm designing a feature that's heavy on the client side of things.

For example it took me half a day to go from idea -> design -> implementation
by jandrewrogers | 2025-04-21 19:00:34+00:00
I understand just fine. Placing any obligations on distribution, either mandating or prohibiting, is a de facto restriction on use in many contexts. There is a lot of source code that you might want to remix with GPL code that the user has no control over the legality of its distribution. That situation comes up often enough, sometimes in unplanned or unexpected ways, to strongly incentivize the blanket bans on GPL source code you commonly see.

No one has to like it but that is the reality. Pretending these aren’t real and valid concerns, often by people who have no power to change these things even if they want to, does a disservice to the health of the open source ecosystem.

It is why I stopped releasing GPL code and went purely permissive. I’ve seen the issues it causes people who just want to use the code many times. (Ironically, even for me with my own GPL code but at least I can relicense.)
by teddyh | 2025-04-21 19:01:03+00:00
A manager went to the master programmer and showed him the requirements document for a new application. The manager asked the master: “How long will it take to design this system if I assign five programmers to it?”

“It will take one year,” said the master promptly.

“But we need this system immediately or even sooner! How long will it take if I assign ten programmers to it?”

The master programmer frowned. “In that case, it will take two years.”

“And what if I assign a hundred programmers to it?”

The master programmer shrugged. “Then the design will never be completed,” he said.

— Chapter 3.4 of The Tao of Programming, by Geoffrey James (1987)
by runjake | 2025-04-21 19:01:09+00:00
It's not perfect, but I like it fine. I definitely like it better than Fink and DarwinPorts, though those may be technically superior.

It's not super simple, but for your htop example, you could probably do something like the following:

# Create a new tap brew tap-new $USER/local-tap # Extract the specific version you want brew extract --version=X.Y.Z htop $USER/local-tap # Install the extracted version brew install htop@X.Y.Z

I'm keeping an eye on the unofficial successor by the original author of Homebrew: https://pkgx.dev/
by rafram | 2025-04-21 19:01:21+00:00
1. Hello it's me your good friend Amazon S3 [1]

2. I've been programming and hosting websites for a decade+ and I would have no idea where to start with any of the things that you propose they "just" require.

3. The OV requirement seems kind of hokey. There's no such thing as "worth registering as an LLC" — anything can be an LLC. You could have an LLC that just holds your dog's assets and call it Internal Revenue Service (LLC), assuming someone else hasn't already grabbed that name in your state, and that would be completely valid.

All of this would make it way too difficult to navigate verification for normal people, and I'm not convinced it would do anything to stop determinated bad actors.

[1]: https://chaos.social/@jonty/110307532009155432