skysight-inc/HackerNews huggingface dataset:
I see this argument a lot that "if only they priced in externalities the numbers would come out in favor of electricity" but I haven't seen a calculation of those externalities that isn't effectively just making up a number.

Like I just picked one from a .edu https://scarab.bates.edu/cgi/viewcontent.cgi and it's just comical with 980% externalities. A number that can be turned into actual policy seems impossible to reach.

It seems like the way forward is just make the thing you want people to do cheaper than the status quo, artificially or not, and let people's economic incentive kick in. But if it's artificial you can't do a California and rug pull net metering.
Thank you, I have seen it, but I prefer Make.
Serious question: Is this what Hubble originally captured? Or unlike bodies in our solar system, maybe with a galaxy compositing isn't necessary?
It’s all about leverage. What leverage does the US have on ASML?
Payments in general is a shitshow from a DX point of view and if I had time I might look into the same idea (biggest threat is Stripe copies you. biggest opportunity is Stripe buys you!).

The problem comes down to rate limits. You can't inline query Stripe "has this user got a subscription?" so you need to roll you own webhooks, syncing etc. Libraries for this suck because they need to keep up with API changes and ergonomically such too.

The solution right now may be those $2k starter repos but I need to drop $2k to find out if they did it right!
It's more about giving the team and the overall strategy a thumbs up or down, so yes.
> How would you react if someone demanded you pay them 8% of your annual revenue? Yeah. Like that.

If I built my product on the labour of that "someone", I would pay it. Seems these days, doing what's honourable is not that simple.
No idea what signature scanning is, but found this resource for those curious:

https://www.unknowncheats.me/forum/general-programming-and-r...
Curious what you'd make of these holdings, I'm not up on all the nonsense that's happened:

- It was reasonable, in that it is fair and sensible, in that it was not trying to attain an unjust advantage. It might not be generous. But that's life in the big leagues.

- Going about it boorishly (ex. the login checkbox), then reacting poorly in an attempt to own the haters, definitely crossed a line (I'm sure stealing their plugin did as well, assuming they overrode someone else's code with their own in people's installs)
> When I entered this industry it [... didn't] care about titles or clothes or what your genitals are.

Are we experiencing the same industry? Because as an LGBT person, I have experienced a tech industry so drunk and fixated on identity that it can't shut up about it. It's patronizing, insulting, and divisive.
I think its up for debate how much their bows were compared to other steppe people. Since we don't know exactly how the bow making changed across the centuries.

Even if we would accept that their bows were better then some other steppe peoples, he still thought many people that for sure had the same bows as he did.

In fact, most of his life, he thought people who had the same technology, including the invasion of the Qara Khitai.

Then the Jin had allies that likely had the same bow technology. However it seems most of those allies just switched sides.

Only the Khwarazmian Empire and Xia likely didn't have significant troops armed the same way.
A heat pump can be well over 100% efficient based on the energy input for equivalent resistive / chemical heating. E.g. your heat pump could use 100w of electricity to move 400w worth of heat (if generated resistively) from the outside to inside.

There have been multiple studies done that show that current generation heat pumps are quite a bit more efficient for a given volume of gas to burn it in an electrical generation plant and use a heat pump than it is to burn it in the house / building.
Even Rick Beato is out of a job now.
The real point of this article is how busted the PG&E rate plans are. The author says:

> Do we really need 106 different rate plans in California? Why don’t utilities automatically put people on the cheapest rate plan for them, and reevaluate monthly based on usage?

And I think it makes sense to simplify, but I would bet that the old plans are required to persist for existing customers. That's how the NEM 2 folks are sticking with their previous contracts. It would be more efficient for everyone if PG&E could rationalize these various plans, but to do so, they'd also need to forcibly migrate people to other plans.
I don't think it's about trying to lower prices; it's about energy independence, and about allowing American business to profit off of prices being where they are.
> quite sure most of them would never notice any real speed difference with their modest codebase

On the contrary, within only a year or so of coding by a small team, this ecosystem takes single digit seconds or less, while the traditional tools are taking minutes and more.

Particularly in analytics or scientific computing we've seen minutes versus under a second.

Having the tools not require additional/parallel Python dependency management is a plus.

Note that we watched these tools for a long time, and jumped in when rye converged with uv. It was promising to see fewer ways to do it.

// More on that here: https://news.ycombinator.com/item?id=41309072
You're missing the point because you're too wrapped up in left-right. The comment above about virtue signaling devolving into extremism could easily be re-written for the social issues relevant to 1500s Europe, 1790s France, or any other time and still be true.
> If the output of a mathematical model trained on an aggregate of knowledge that contains copyrighted material is derivative and infringing, then ipso facto, all works since the inception of copyright are derivative and infringing.

I'm not saying every LLM output is necessarily infringing, I'm saying that some are, which means the underlying LLM (considered as a work on its own) must be. If you ask a human to come up with some copy for your magazine ad, they might produce something original, or they might produce something that rips off a copyrighted thing they read. That means that the human themselves must contain enough knowledge of the original to be infringing copyright, if the human was a product you could copy and distribute. It doesn't mean that everything the human produces infringes that copyright.

(Also, humans are capable of original thought of their own - after all, humans created those textbooks in the first place - so even if a human produces something that matches something that was in a textbook, they may have produced it independently. Whereas we know the LLM has read pirated copies of all the textbooks, so that defense is not available)
Beyond Panic, there’s even a surprisingly large community of Mac/iOS developers making their living selling “premium”software with traditional licensing models. Rogue Amoeba, Omnigroup, Flying Meat, along with a bunch of one to two person shops are still around. There’s fewer of them than there used to be (some bought some folded), and many of the bigger ones switched to subscription pricing (1Password), but they’re still out there doing their thing if you know where to look.
"This one goes to Alan Holdsworth"
Moderators didn't touch this. Users flagged it.

That's nearly always the case when you see [flagged] on a submission, btw. This is in the FAQ: https://news.ycombinator.com/newsfaq.html.

(It's a bit more complex with comments, but also the majority of [flagged] comments are flagged by users, not mods.)
Twine Data
Java does have exhaustiveness checking on switch statements for sealed types, but not enums (for backward compatibility), which is probably what you're using.

Try this:

sealed interface Shape permits Circle, Rectangle { }
record Circle(double radius) implements Shape { }
record Rectangle(double length, double width) implements Shape { }

void test() {
Shape shape = new Circle(5);
switch (shape) {
case Circle _ -> System.out.println("Circle");
case Rectangle _ -> System.out.println("Rectangle"); // Comment out this line to get an error.
}
}
+1, unfortunately counter-intuitive. A bit of a song comes to mind:

"A junkie won't bounce until he hits the ground" - Say Hey There, Atmosphere

My family and I all tried to help a sibling for something like 20 years. Nothing stuck [from us], they had to choose it. The ground helped. Trying to minimize harm just created more :/
A big reason we got to this point in the us is that repeating falsehoods over and over ahead on say fox news convinces a good number of people they are true. We have social media too. It's very successful. The success of this strategy is notable. The propaganda capabilities of today exceed the original electronic propaganda schemes in the early 20th century.

This is a separate question about whether the propaganda methods are spreading correct or false information. I think that's a question with an obvious answer but I'm sure people will differ.
Personally, I think excellence is a virtue in tooling in and of itself. The Python world just hasn't experienced this kind of excellence before.
Every reasoning inquiry should start with this Reasoning 101 question. R1 got it right -

https://chatlabsai.com/open-chat?shareid=MbSUx-vUDo

How many words are there in your response to this prompt?

There are 7 words in this response.

Promising start.

For comparison here is the 4o response - https://chatlabsai.com/open-chat?shareid=PPH0gHdCjo

There are 56 words in my response to this prompt.
The speaker is presenting a new AI tool that can synthesize proofs of mathematical theorems. The tool uses a combination of numerators and primitives to prove theorems exponentially fast, even on a single core. The speaker notes that the tool has limitations, such as only recursing on row numbers and not being able to learn or predict the next token in a symbolic transform. However, they believe that the tool will be useful for programming and solving big problems, such as the Riemann Hypothesis or making a whole game from scratch. The speaker plans to release a playground soon, allowing users to experiment with the tool and have fun using it.

Some key points from the presentation include:

* The tool can prove mathematical theorems exponentially fast, even on a single core.
* It uses a combination of numerators and primitives to prove theorems.
* It has limitations, such as only recursing on row numbers and not being able to learn or predict the next token in a symbolic transform.
* The tool will be useful for programming and solving big problems.
* A playground will be released soon, allowing users to experiment with the tool and have fun using it.

Overall, the speaker is excited about the potential of the tool and believes it could be a valuable addition to the field of AI research and development.
You are making it sound like it was a single person who could not pay their bills.

It was not. That's a $7.5 billon company threatening $1 billion company over totally frivolous reasons.
> This cost is driven by relatively high wages in London

I disagree on this cause, FWIW, and would say the cost is driven entirely by the constrained supply you mention. It's a very, very politically difficult problem to fix, because if you increase the housing supply, people who already own houses see their net-worth decrease. I am sure there are some smart solutions, but most MPs and many voters already own homes and don't have much of an interest in fixing it yet.
The WordPress community of developers/contributors has been under the impression that the dot org site was under the control of the nonprofit WP foundation. However Matt recently declared that dot org has been his personal website this whole time, and that entitles him to solely decide when someone else can no longer use it. However documents of the founding seem to indicate that dot org is indeed under the foundation: https://x.com/sneakytits85/status/1881119968215142462?s=46
These days I just feel sad for some of the richest people. First their wealth seem to have pulled them away from their humanity. Now I just see them lead troubled existence and inflict pain on others, amplified by the said wealth. All the money in the world and no humanity or peace at heart.
What does “subject to the jurisdiction of” mean? Everyone seems to be equating that with diplomatic immunity, but that seems to arise from the state department’s historical interpretation of the term in determining citizenship of children of foreign diplomats.

Wong Kim Ark doesn’t answer the question, because it doesn’t even try to interpret the term. Instead it assumes that the framers of the 14th amendment meant to incorporate English common law of citizenship. Maybe that’s true, but that’s not what the Court thought the term meant in the Slaughterhouse Cases two decades before that.

Justice Harlan also had a well reasoned dissent in that case, noting that English common law on citizenship arose out of feudalism and wasn’t necessarily an appropriate source on the question.

I think it’s unlikely this will get overturned, but it’s not a frivolous argument.
I have issues with some of Black’s formatting decisions but I’ve also suffered from inconsistent formatting and there is no question in my mind that consistent formatting that I find ugly sometimes is 1000% better than the alternative. And after so many years of dealing with it it’s so refreshing to just “give up” and let the formatter win.
Users flagged it.

See https://news.ycombinator.com/item?id=42775519 for more
> At that time, death was just a part of the puzzles of the game. Repetition was not a hindrance.

Some of this design philosophy continued into arcade games (where inserting a new token was profitable) and onwards to early home consoles. ("Nintendo Hard.")
Haven't you seen and heard from the zionist figures about how they are now claiming that Lebanon and parts of Saudi Arabia are theirs?
So the smartest guy in the world doesn't know that flashing a Nazi salute is bad?

Also, he's not an aspy. I worked with him. He's an Asshat.
They mostly don't work.
Doesn’t Black mostly stick to PEP-8 style? What rules do you consider ugly?
TensorRight: Automated Verification of Tensor Graph Rewrites
It sure looks like Meta stole a lot of books to build its AI
TextPattern needs more attention and love in general! (Although to be fair, it also needs to be developed a wee bit faster.)
This also?

Reverse Engineering Bambu Connect - https://news.ycombinator.com/item?id=42764602 - Jan 2025 (316 comments)
Yoo haha Unknowncheats, now there's a blast from the past.

Milworm (milw0rm?) also got me started back in the day.
Astral toolchain?
It is incredibly sad that the world's richest man was allowed to buy and trash a public square. Worse is coming.

He cheats at video games, lies about it, and knee-jerk abuses his power over twitter to ban and personally attack people who point this out.

America bought this shit, and now it's going to pay for it.
Sorry if it's OT but on the topic of search engines and 1989: https://www.youtube.com/watch?v=6UepmSNd3TY
Resource intensive, and it's been crashing on me far too regularly to be relied on at all.
I'm very impressed by the recent developer experience improvements in the python ecosystem. Between ruff, uv, and https://github.com/gauge-sh/tach we'll be able to keep our django monolith going for a long time.

Any opinions about the current state of the art type checker?
He's got a whole box of Sharpies.
> Self-congratulatory, self-righteous prigs are all over the place within human society.

They try to be. A given social movement will be judged on how well it deals with them - whether it embraces/encourages them (or, worse, makes them its leaders), or discourages them. Bullies, grifters, and sexual predators are everywhere, but "this organisation protects/doesn't do enough against its bullies/grifters/sexual predators" is a legitimate criticism (in cases where it's accurate); it's the same with prigs.

> The core issue for me is whether transgender people can show up in their preferred gender.

Break down what that means. Are you talking about whether these people act in a particular way? Or whether they demand that other people treat them in a particular way? Those are very different asks.
Best wishes on your fight. When I was facing a near death situation my now wife used Creative Visualization. She pictured us walking on our favorite walk in our local park with ducks, which I love to watch. https://en.wikipedia.org/wiki/Creative_visualization It can also be used to help focus your immune system. These suggestions are to be used combined with evidence based medicine not as an alternative.
So here's a related thought...

Google is currently being sued by journalist Jill Leovy for illegally downloading and using her book "Ghettoside" to train Google's LLMs [1].

However, her book is currently stored, indexed and available as a snippet on Google Books [2]. That use case has been established in the courts to be fair use. Additionally, Google has made deals with publishers and the Author's Guild as well.

So many questions! Did Google use its own book database to train Gemini? Even if they got the book file in an illegal way, does the fact that they already have it legally negate the issue? Does resolving all the legal issues related to Google Books immunize them from these sorts of suits? Legally, is training an LLM the same as indexing and providing snippets? I wonder if OpenAI, Meta and the rest will be able to use Google Books as a precedent? Could Google license its model to other companies to immunize them?

Google's decade-long Books battle could produce major dividends in the AI space. But I'm not a lawyer.

1. https://www.bloomberglaw.com/public/desktop/document/LeovyvG...

2. https://books.google.com/books?id=bZXtAQAAQBAJ
I imagine there's also a potential exploit if you're ever allowed to name your pet, and the LLM isn't shielded from ever knowing the name.
Yeah there was a song by silverchair(?) saying ~ “money isn’t everything, but I’d like to see you try to live without it”. When money has been tight for us in the past, that itself brings stress. Though knowing we have great community, who we could rely on to not starve, to be clothed, and have a roof over our heads alleviates a lot.

I think a lot of times those who don’t have great community around them, are often the ones who will really chase money over other things, because the impact of not having it is so much higher for them.
Ask HN: Service for helping me protect family members from scams
After dealing with a parent who likes to click on scammy email links for the millionth time, I’m wondering if there’s a way that I can vet his emails/text messages before he ever even sees them.

Does such a service exist? Is there any way to have your email go to someone else for review before being released to your device?
> If, in the United States, your commute is over one hour you are an extreme outlier in the "wtf are you thinking?" direction.

In a post-pandemic world the "what they were thinking" may well have been that had 2 years when they weren't permitted to work in an office, and made decisions on the basis that this would continue.

My dad moved to an entirely different city 8 hours away from where he was originally living (although in his case he checked that he would allowed to continue working remotely before moving (which he has been able to), and was close to retiring anyway).
As a big history fan, history just writes the best stories. There is so much more. It never ends.

I have been binging on the Swedish Empire recently.

Currently I'm trying to get a bit into pre-Columbus and early Colonial Americas. That's something I don't know much about because its just so separated from what some world historians call the 'Imperial Core'.

If you are interested in late medival times, I highly recommend this series on the Dutch Revolt, its among the best and most detailed series of video on any history topic I have found:

https://www.youtube.com/playlist?list=PL5kdplBvGykV1KKcYbH6X...
> This seems the least likely to me

So you think there's a >50% chance that one of your scenarios will happen? Would you like to put some money on that bet?
In the abstract, yeah, that'd probably be fine. Maybe not 100% legally -- the injunction that WP Engine got seems to imply that blocking one specific competitor from using the infrastructure might not be cool -- but if it was a restriction that was in place from the beginning, it'd probably have been acceptable.

It's mostly that WordPress maintained that infrastructure for a very long time without having any sort of restrictions on who could use it -- whether you're a self-hosted WordPress site, or you're using some sort of managed hosting (like WP Engine or WordPress.com). Plus it's literally hardcoded into WordPress to use it; you can't change that without maintaining your own patched version. So everyone involved in the WordPress community viewed it as a general public good for all users of WordPress... and it suddenly getting weaponized didn't play well. For one thing, it put up a lot of people who were just users of WordPress as collateral damage.

(And the cost of the infrastructure doesn't seem to have been one of Matt's complaints, in general. If it was, and he'd been up-front about that, I suspect reactions might have been different.)
For Django projects, what's fast that will cover Python, HTML, CSS and JavaScript files? Ruff only does Python?
They "sponsor the work" because the work is already done. Apple would only be creating more headache for themselves down the line trying to refactor FreeBSD patches that don't include their upstream code. By paying other developers to publish their work, they effectively launder the responsibility of maintaining to their code to the community.

It's a pittance. Like complimenting Google for all their "generous" contributions to the Chromium project even though Chrome is used as an accessory for the AdSense monopoly.
I don't know what kinds of codebases you've worked with, but I can tell you that pylint is so far from instant, it became the longest running CI job in multiple reasonably sized codebases I've worked with. Think tens of minutes. Other linters were not much better, until ruff came along. But that's far from the only advantage that ruff brings.

There are other issues with what you said, but the biggest one is: you have some strongly worded criticism for a project that has set a new bar for usability and consistency in Python code quality tooling. These tools are developed by humans like you and distributed to you for free with no obligation to use them. No matter how I look at your comment, I don't see how it's helping.
While the story is definitely very important, a point-and-click adventure game without puzzles is basically just a book where you turn pages by clicking the mouse.

Of course there are good puzzles that integrate well with the world (like reading from the world's most boring book to help the oyster fall asleep in King's Quest VI), and bad puzzles (cough arbitrary sliding tile puzzle cough).
Reddit is demanding a login. Age verification?
Don't assume bad faith where it doesn't exist.

As I clearly think, given what I said above, most of what trans people want is obviously fair and just. To go through life, being treated as their preferred gender, and not facing discrimination of various kinds for that choice.

But that isn't where we are. Instead we are in a world where Kamala Harris was, completely unforced, recorded talking about protecting trans rights in prisons back in 2019. Trump ran ads showing those clips with the tagline, "Kamala is for they/them. President Trump is for you." And now Trump is President.

Is it being brought up now as a gotcha? Absolutely! But back when Kamala was running the first time for President, SHE brought up her support for the policy. Unforced. Because it was how to signal her support for that issue. And now we're all paying the price for how activist extremism creates backlash.