skysight-inc/HackerNews huggingface dataset:
I'm not sure that the statement "some compositional problems will always be beyond the ability of transformer-based LLMs" is even controversial to be honest.

There's a reason all of the AI labs have been leaning hard into tool use and (more recently) inference-scaling compute (o1/o3/Gemini Thinking/R1 etc) recently - those are just some of the techniques you can apply to move beyond the unsurprising limitations of purely guessing-the-next-token.
> the puzzle is probably in the training data somewhere

Given that these models can perform translation I'm not sure why you think renaming things is sufficient to put your version out of distribution.
Has anyone seen an in-depth comparison between radeon 7900 xtx vs 3090 rtx specific to R1?
Things We Learned from Shipping an AI Coding Agent [video]
It seems extraordinary to me that in the past ~decade the idea of Amazonia being this primordial rainforest has been demolished. I'm now curious whether there's any trace of this in the ethnology and folklore of the native people there? Any oral histories about the downfall of civilization? No one would have been expecting it before, so it seems like it could have been overlooked.
Remember how a few days ago, headlines were exploding how DeepSeek wouldn't answer questions about Tiananmen Square and other "sensitive topics"?

Well, welcome to the inside part of a great wall in the making. Thoughts and prayers y'all.
There isn't anything that any other party has done that is equitable to what is happening now.
I am not a lawyer but this CDC order seems contrary to Trump’s recent Executive Order “RESTORING FREEDOM OF SPEECH AND ENDING FEDERAL CENSORSHIP”.

This Executive Order states in part: “Government censorship of speech is intolerable in a free society.

…
Sec. 2. Policy. It is the policy of the United States to: (a) secure the right of the American people to engage in constitutionally protected speech;

(b) ensure that no Federal Government officer, employee, or agent engages in or facilitates any conduct that would unconstitutionally abridge the free speech of any American citizen;
…

Sec. 3. Ending Censorship of Protected Speech.
(a) No Federal department, agency, entity, officer, employee, or agent may act or use any Federal resources in a manner contrary to section 2 of this order.”

https://www.whitehouse.gov/presidential-actions/2025/01/rest...
Overtures of fascism. I expect we’ll see thinly-veiled euphemisms and rephrasings that just evade the banned list, if not outright refusal. Ultimately this falls short for the same reason that simple filters of all kinds fail in their (apparent) objective, to the extent that it doesn’t even feel like the point is to actually stop the discussion, but rather to send a message.
It is, but the resistance you will see is with the label. It doesn't need the label to be horrific and counterproductive.
Reddit ;)
And it's flagged.
"Language places heavy constraints on what can and cannot be expressed in poetry more than prose does."

If by this you mean "rhymes and meters", then perhaps. But, there is a whole world of interesting poetry unconstrained by such concerns. The form is significantly less constrained than prose - so much so that when prose does not conform to certain standards, readers often wonder if it is not too "poetic" to be considered prose.

In fact, poetic language is described as "the fullest possible language" where poets "pack the absolute maximum of meaning (in every sense of the word) into every part of the poem." This density of meaning and the ability to use language in unconventional ways actually expands the expressive possibilities in poetry beyond what is typically found in prose.

https://pressbooks.bccampus.ca/engl1130/chapter/chapter-four...
Related discussion of the existing ideology: https://news.ycombinator.com/item?id=32595083
It'll be tough to silence the overwhelming consensus in essentially every single field of science.
There's a few people in here doing whataboutism like this. Where are you getting the idea that the "left" or whoever banned words in scientific articles?
Help me understand what research was suppressed before under the other 'one ideology'.
+1. I wholeheartedly agree. That "lazy way" looks all too familiar haha.
Why exactly do you think that a model of gender created by a bunch of people who didn't know anything about germ theory, let alone statistics, describes biological reality? Have you been so unlucky in life that you never ever have considered this?
Pretending to ignore politics is the most political act of all.
I wonder how will this affect private institutions and private publications?

I could imagine people moving away from CDC into private sector, and considering it's long been a "model" US view that things progress best when done in a free market, it might actually be a boon to medical research.

But, a couple of quick searches tells me 1/3rd of healthcare costs per person comes from the federal government (data from 2023), and NIH puts majority of it's $48B budget towards external (83%) and internal (11%) research.

Obviously, only some research would have (or need to have) the forbidden terminology, so perhaps nothing really happens.

Edit: and lest it remains unsaid, let's also take this with a grain of salt until it comes out from multiple sources or officially.
The Wikipedia page on this is sufficient. If F:X -> Y is a function between normed linear spaces then DF:X -> L(X,Y), where L(X,Y) is the vector space of linear operators from X to Y, satisfies F(x + h) = F(x) + DF(x)h + o(h). A function is differentiable if it can be locally approximated by a linear operator.

Some confusion arises from the difference between f:R -> R and f':R -> R. It's Fréchet derivative is Df:R -> L(R,R) where Df(x)h = f'(x)h. Row vectors and column vectors a just a clumsy way of thinking about this.

BTW, all you need in order to publish on arixv.org is to know a FoF. There is no rigorous peer review. https://arxiv.org/abs/1912.01091, https://arxiv.org/abs/2009.10852.
Me. I'm the citation. It is not the FAA chief's fault - nor is it because there was no FAA chief for 8 days - that a rogue military helicopter was flying above its well-defined airspace ceiling.

https://youtu.be/uFc6JFb2MqY
Yes, it's your bias.
HN is not a RW stronghold. There are RW posters and I've even seen a few threads dominated by them (but not recently). That's the extent.
We absolutely do not and never have.
"The government of Columbia has agreed to all of President Trump's terms, including the unrestricted acceptance of all illegal aliens from Colombia returned from the United States, including on U.S. military aircraft, without limitation or delay. Based on this agreement, the fully drafted IEEPA tariffs and sanctions will be held in reserve, and not signed, unless Colombia fails to honor this agreement. The visa sanctions issued by the State Department, and enhanced inspections from Customs and Border Protection, will remain in effect until the first planeload of Colombian deportees is successfully returned. Today's events make clear to the world that America is respected again. President Trump will continue to fiercely protect our nation's sovereignty, and he expects all other nations of the world to fully cooperate in accepting the deportation of their citizens illegally present in the United States."
Oh go on then - how do you make a zig interface that has equivalent behaviour to a rust trait? I want something that has a documented interface, default function implementations, can be stored in other structs, and allows both monomorphization and dynamic dispatch.

If the authors of the zig standard library can't do it, I assume its impossible. And hence this article talking about 3 different definitions of a "writer" appearing in the standard library, each trying to make up for shortcomings of the others. You have anytype, AnyWriter and GenericWriter. All with weird and complex tradeoffs and interactions. Not only do people need to learn 3 different interfaces, they also need to figure out how to convert from one kind of writer to another!

I talked to Rob Pike, back before Go hit version 1.0. I told him I really thought he should have not only enums, but parametric enums in Go. Of course, he disagreed. He said enums don't add enough value. Honestly I'm not sure if he'd ever used a language with parametric enums - and he didn't understand their value. Having used typescript, and now rust and swift, going back to C or Go and needing to build my own enums out of union structs and so on is awful. It feels like I'm trying to build a house using a rock and a piece of flint.

I see rust's trait system as just like that. What a pity that Zig doesn't have something similar. To me, traits seem like an obvious thing to copy into the language.
Counterpart was excellent - until it got cancelled :/
> While the policy is only meant to apply to work that might be seen as conflicting with President Trump’s executive orders, CDC experts don’t know how to interpret that.

This seemed key to me. The managerial/editorial layer is acting in a way that any manager would when there is unclear interpretation: risk-adversity.

It's much easier to do than undo, so you stop until things are cleared up.

However, it seems the organizational layer whose work is being affected is assuming this risk-adverse interpretation is the new policy coming from the top. No doubt, legacy media will take the same interpretation.

If I were to approach this rationally, I would probably want to see clarification before running with the Hitlerian comparisons.
Someone should tell him about it then...
I'm trying to wade through Varoufakis' Technofeudalism. It's obvious most billionaires lack ideological loyalty except which might make them the most money. The problem is the manufacturing of consent amongst the populous of a belief that a tiny fraction of the population should be celebrated and enriched without regard to all other concerns. This, I think, is what allowed inverted totalitarianism to give way to more overt totalitarianism. The US is presently exhibiting themes of ochlocracy, anocracy, kleptocracy, and plutocracy.
> Today we are even more closed than CCP

No, we're not. Not even close.

Please stop with the obvious deranged takes.
This is what happens when people decide for dictorship, hard times ahead, unfortunately saying we have told you so isn't going to sort out things now.
I’m pretty sure this is the first time I’ve seen a politician make an absurd campaign promise and then follow through on it successfully. I’d find it terrifying if it weren’t about the most first-world of all first-world problems.
I think a lot of people here maybe haven't used a PR + squash merge flow? Because I agree with you, when I'm doing operations on git history I just see the PR title from the squash merge. Squash merge lets the PR be the atomic unit, so commit messages don't matter as much.

But if I read these comments as "I wouldn't let an AI write my PR description", I strongly agree.
I guess I also "wish we lived in an alternate timeline where AI was automating drug discovery or protein folding faster than it was art"

At the same time, however, I feel like this kind of catastrophizing about the end art has happened so many times before (e.g., with the invention of photography, the rise of abstract art, or the emergence of digital art tools).

Each time, artists have adapted, found new ways to express themselves, and pushed the boundaries of creativity. AI might change the landscape of art (it certainly will), but it's unlikely to spell its end. Instead, it could (it certainly will) become a new tool for artists to explore and expand their creative horizons, much like how digital tools have been integrated into many artistic practices today.
The implication of the term is that there are other contexts for "male" or "female" other than "biologically". If "non-woke" contexts assume that male/female are inherently biological terms, then "biologically [male/female" is obviously "woke".
One problem was also that the 2600, hardware-wise, had run its course. Some of the other contemporary consoles were a bit better, but most of them were well below the arcade games of the day.

Yes, there are some impressive things being made with the continuing efforts of hobbyists today, but under the resources and commercial pressures of the time, the 2600 wasn't going to produce a stream of new and exciting hits.

There's a demake of Super Mario for the 2600, but it's clearly blockier and clunkier than the day-1 NES launch title, and it took decades of hobbyist effort to get even there.

I wonder if Atari didn't really know how to deal with the idea of an upgrade. Most home goods don't require a sudden upgrade to play popular new content (colour TV was intentionally compatible with black-and-white sets, and even hi-fi had a long transition period where you could get new albums in LP/tape/8-track/CD), so even if the 5200 had not been awkward, it would have been difficult to get the right mix of manufacturing, new game development, and backporting to smoothly transition.

The 7800 would probably have competed very well with the NES if they had launched at the same time-- backwards compatibility would have offered a placeholder as the 7800-native library was built out-- just give people a voucher for a stack of free bargain-bin games in the box.
Xi Jinping and his colleagues must be opening a champagne bottle over the US being this stupid. They could have never imagined an enemy so retarded
Meta settled a lawsuit with president Trump for $25 million. He was suing them for violating his first amendment for banning his account (along with many other platforms) in the wake of January 6th 2021. This was a completely baseless case which he would have lost had it actually been fought, so many have interpreted this decision to settle as a form of bribe payment. This is especially suspicsious since Zuckerberg's hard pivot towards trying to get in the good graces of the new adminitration.
As a former christian, I don’t agree with that at all. I consider my ability to stop believing to be an opportunity that I was lucky enough to receive based on being exposed to the right ideas at the right time in my life. I wouldn’t for a moment look down on anyone who kept believing because they had a different life experience.
It's hard to keep up I know, deleting climate science was 24 hours ago:

Trump orders USDA to take down websites referencing climate crisis https://news.ycombinator.com/item?id=42896378

https://www.theguardian.com/us-news/2025/jan/31/trump-order-...
They write and talk in their group lingo so outsiders can't understand it without diving deep into their lore, mindset and community. It's a common thing. Seen it numerous times. Don't waste your time.
Generally when it comes to Trump it is rhetoric indicating the opposite.

He complains about a bias government, to install his own loyalists.

Same goes for science.

Rule of law…
They can't do anything about state AGs. Federalism is kind of silly but it works out here.
> Our new president has shown this approach works- as he has extracted multi million dollar settlements from Facebook and abc for hurting his feelings.

Meta chief is simping over the new president, so to get into his good books they settled as well as announced those new policies.
Thanks. I think. Maybe we can move the statue of Einstein in DC north for a bit.
Many of those things will be litigated, and some may be overturned. That happens to administrations all the time. That is checks and balances. But federal employees are not at liberty to ignore directives from the President because they don’t think it’s “sound policy.” Nobody voted for them. You’re talking about unelected, unaccountable bureaucrats short-circuiting the operation of the democratically accountable branches.

By the way I’d give the same courtesy to any president. His student loan forgiveness was obviously illegal, as well as being bad policy. But it would’ve been beyond the pale for his Department of Education to ignore the directive.

> The executive 'executes' the rules and policies established by the legislative branch. Government employees execute those rules, the President oversees.

Show me where it says anything like this in Article II: https://constitutioncenter.org/the-constitution/articles/art...

Article II is crystal clear. The very first sentence says: “The executive Power shall be vested in a President of the United States of America.” It’s parallel to the congressmen or Supreme Court justices. The “civil service” are just staff. The constitution doesn’t even bother mentioning them.

What you’re saying is that there’s this key organ of government—the “non-political civil service”—with independent responsibilities exercising their best judgment, that somehow isn’t even mentioned in the constitution!
Party trick? That’s just good coding style. I even have that enabled as a lint rule /s
Reviewing the actual problems is highly recommended: https://kts.github.io/arc-viewer/

They're not particularly difficult, but clearly require reasoning to solve.
First they came for the trade-unionists, but you said nothing because you are not a trade unionist.
Lawyers are about the only thing Oracle really, truly understands. You'll finally be speaking their language.

I'd have said money is the other thing, but apparently your money smells bad.
True, unions, in general, hurt employees no matter how competent or incompetent said unions are. Unions are the privatization of governmental bureaucracy: more evil than "exploitative" big tech corps.
Ask HN: Do you listen to AI-generated music?
Recently I caught myself enjoying AI generated music on YouTube. Seems a lot of channels have sprung up lately, full of AI music with no artist attribution.

Any particular AI music you are enjoying these days? What do you think of the proliferation of this AI music?
The adverb correctly identifies that it’s more complicated than that.

The fantasy that “biological reality” is anything other than substantially more complicated and messy than a neat dichotomy with perfect alignment across sex characteristics and gender is both wrong and obviously so.

Nothing in medicine or biology is so simple. There’s always a way for the human organism to be more complicated. It keeps me very busy and in a job.
If you __sincerely__ want to understand the answer to your question about babies dying, you should try steelmanning. It’s the opposite of strawmanning.

Steelmanning would not take the evil committed by humans and hang that around God's neck and blame him. Steelmanning would accept that free will means people can do things that God wouldn't himself choose, and when they do evil, they don't represent him.

Steelmanning would accept that if a Supreme Being exists, then that being is indeed supreme -- even though babies are precious, the supreme being has even more worth because he is supreme.

You and I have the same emotional reaction to something that violates our top priorities (humankind esp loved ones for you, God and then humankind esp loved ones for me)

Everyone's got a top priority. If there is a supreme being, the right top priority arrow should point at that being. Including the supreme being's own top priority arrow!

Otherwise God would be an idolater.

Many will find this repugnant. I know. Probably because we are accustomed to thinking on the level of fellow humans, we're all each worth exactly one human, no more no less.

But if you honestly want to know how this other math works, this is it. We're in the middle of a symphony and parts might sound like they need some resolution. And in the end there will be resolution and the whole symphony will show his supremacy in the _end_ because only in the end are all accounts truly settled. Before the end, things will appear incorrect.

Actually the easiest way to reconcile this in your mind is to imagine you're, say, a Van Halen fan at one of their concerts at the height of their popularity. You want them to go absolutely nuts on stage showing off, because they're the best band ever. When they magnify themselves on stage, it's what you paid to see.

Either you honestly want to understand and you'll steelman or you really just wanted to be a critic and you won't. Btw, I replied on the other branch as well
I don’t disagree, although defunding them and threatening their jobs will go a long ways.
Why are the datasets deleted though? Biden or Trump, Democrats or Republicans - What do they gain?
I choose death. Thanks.
Not disputing the right. What do you think about it, as a policy?
If the US chooses to opt out of science research, China and others will not.

That doesn’t bode well for the US.
The individual scientists' rights to publish uncensored papers??
No true Scotsman, really?
Commenting the same thing all over the place is really tiresome. Try and actually participate.
Fuck that. Stand up for what's right.
Imagine if every country does what Canada has and target specific states? If every country Trump goes after targets goods from the same few states they could devastate that state. Sure the US is bigger, but absolutely devastating just a few states economies could get some attention.
I have no idea what this is but I weirdly enjoyed the experience of inferring what I was supposed to be doing.

Kinda felt like that game from Star Trek TNG that took over the crew.
> sign archives with email/domain/document certificates

I do a bit of web archival for fun, and have been thinking about something.

Currently I save both response body and response headers and request headers for the data I save from the net.

But I was thinking that maybe if instead of just saving that, I could go a level deeper and preserve actual TCP packets and TLS key exchange stuff.

And then, I might be able to get a lot of data provenance “for free”. Because if in some decades when we look back at the saved TCP packets and TLS stuff, we would see that these packets were signed with a certificate chain that matches what that website was serving at the time. Assuming of course that they haven’t accidentally leaked their private keys in the meantime and that the CA hasn’t gone rogue since etc.

To me I think that would make sense to build out web archival infra that preserves the CA chain and enough to be able to see later that it was valid. And if many people across the world save the right parts we don’t have to trust each other in order to verify that data that the other saved was also really sent by the website our archives say it was from.

For example maybe I only archived a single page from some domain, and you saved a whole bunch of other pages from that domain around the same time so the same certificate chain was used in the responses to both of us. Then I can know that the data you are saying you archived from them really was served by their server because I have the certificate chain I saved to verify that.
Right. This is related to the observation that, for companies with a big product line, maybe 20% of the products produce 80% of the profit. So cut the losing 80% of the products, right? Margins get better, and the company becomes smaller and more efficient. Profits increase.

A few iterations of this, and you're down to a tiny but profitable product line. Now you're irrelevant to the larger market and someone with a bigger product line can knock you off by under-pricing their alternatives to your few products.

Stellantis, which owns Chrysler, Jeep, Fiat, and a bunch of other minor brands, did this. There is now only one Chrysler product, a mini-van.[1] Profits down. Stellantis cars sitting on dealer lots for more than a year. Angry letter to CEO signed by most dealers.
CEO fired.

[1] https://www.chrysler.com/all-vehicles.html
i'd love to be able to build web servers in Swift. the language is such a joy to use
Hello testing 1 2 3 4 5 6
I’m sorry you had no choice but to post that nonsense.
I don't - but like I said, I reviewed the thought process in the transcript and it looked legit to me.

I'm not sure what else I could do here to be honest, without coming up with a completely new puzzle that captures the same kind of challenge as the original. I'm not nearly patient enough to do that!