MurphyA/hacker-news huggingface dataset:
by Palmik | 2025-10-19 13:50:50+00:00
The original tweet was clearly misunderstood...

https://x.com/SebastienBubeck/status/1977181716457701775:

> gpt5-pro is superhuman at literature search:

> it just solved Erdos Problem #339 (listed as open in the official database https://erdosproblems.com/forum/thread/339) by realizing that it had actually been solved 20 years ago

https://x.com/MarkSellke/status/1979226538059931886:

> Update: Mehtaab and I pushed further on this. Using thousands of GPT5 queries, we found solutions to 10 Erdős problems that were listed as open: 223, 339, 494, 515, 621, 822, 883 (part 2/2), 903, 1043, 1079.

It's clearly talking about finding existing solutions to "open" problems.

The main mistake is by Kevin Weil, OpenAI CTO, who misunderstood the tweet:

https://x.com/kevinweil/status/1979270343941591525:

> you are totally right—I actually misunderstood @MarkSellke's original post, embarrassingly enough. Still very cool, but not the right words. Will delete this since I can't edit it any longer I think.

Obviously embarassing, but completely overblown reaction. Just another way for people to dunk on OpenAI :)
by adamgordonbell | 2025-10-19 13:51:20+00:00
My 2 cents on BQN: I am certainly a novice with array languages, but I know they have conceptual power.

Looking for a modern, powerful language centered on Ken Iverson's array programming paradigm BQN aims to remove irregular and burdensome aspects of the APL tradition, and put the great ideas on a firmer footing.

And BQN seems like the closest thing to a 'modern' array language. Modern, meaning, looking like my biased version of what language should look like.

Open source, has namespaces, and you can define your own operators and so on.

Heard of it from conor hoekstra
by kaladin-jasnah | 2025-10-19 13:51:56+00:00
I guess that I didn't make it clear, I have extensive experience with assembly and every internship I did in college dealt with it. I also have some OS level experience in my internships. My hobby OS is going to have network stuff as well.

My problem is I have no idea where (what companies?) to be applying to jobs with and not how to get experience in this area on my own.
by drweevil | 2025-10-19 13:52:02+00:00
There are some things that are off topic for any discussion. For example, the humanity of a fellow human being. I'm not prepared to have a civil debate over whether non-white people deserve this or that right that we take for granted. And this is a big issue we're facing now, with ICE raids, poor people losing medical care, people who disagree politically being labeled terrorists, LGBTQ people being targeted, boats being blown out of the water, etc.
by 010101010101 | 2025-10-19 13:52:22+00:00
> When a lottery happens, there is always a winner, that's how they work.

It's possible this is a language and cultural thing, but most (possibly all?) state run lotteries in the United States don't work this way - they simply pick numbers from a pool at random and if no one has selected those exact numbers the prize pool rolls over to the next week. Powerball (afaik the largest US based lottery) works by selecting 5 numbers from a pool of 1-69, and one number from a pool of 1-26, if no one matches all six numbers then the primary prize pool carries into the next drawing. There's no guarantee anyone wins the jackpot on any given week, and often multiple weeks and sometimes months will pass with no winner, ballooning the jackpot further.

I'd more often refer to what you're saying as a "drawing" or a "sweepstakes" where tickets are sold and the winning ticket is selected from the pool of all tickets sold, but that's distinctly different to a "lottery" for me.
by lelanthran | 2025-10-19 13:52:56+00:00
> GCC is hanging on while entire ecosystems build on top of LLVM, primarily for technical reasons.

What are you talking about? GCC usage is well ahead of LLVM usage.

And even if it wasn't ahead, it's still the default compiler for almost every production micro controller in use.

GCC is the default on most deployed systems today.
by lapcat | 2025-10-19 13:53:31+00:00
> Humans "hallucinate" in the AI way constantly

This claim is ambiguous. The use of the word "Humans" here obscures rather than clarifies the issue. Individual humans typically do not "hallucinate" constantly, especially not on the job. Any individual human who is as bad at their job as an LLM should indeed be replaced, by a more competent individual human, not by an equally incompetent LLM. This was true long before LLMs were invented.

In the movie "Bill and Ted's Excellent Adventure," the titular characters attempt to write a history report by asking questions of random strangers in a convenience store parking lot. This of course is ridiculous and more a reflection of the extreme laziness of Bill and Ted than anything else. Today, the lazy Bill and Ted would ask ChatGPT instead. It's equally ridiculous to defend the wild inaccuracy and hallucinations of LLMs by comparing them to average humans. It's not the job of humans to answer random questions on any subject.

Human subject matter experts are not perfect, but they’re much better than average and don’t hallucinate on their subjects. They also have accountability and paper trails, can be individually discounted for gross misconduct, unlike LLMs.
by Theodores | 2025-10-19 13:53:39+00:00
When America sneezes, the rest of the world catches a cold. This was said after the OG 1929 crash and I can remember it said in the 80s. Nobody says it anymore.

Due to exorbitant privilege, with the dollar as the only currency that matters, every country that trades with America is swapping goods and services for 'bits of green paper'. Unless buying oil from Russia, these bits of green paper are needed to buy oil. National currencies and the Euro might as well be casino chips, mere proxies for dollars.

Just last week the IMF issued a warning regarding AI stocks and the risk they pose to the global economy if promises are not delivered.

With every hiccup, whether that be the dot com boom, 2008 or the pandemic, the way out is to print more money, with this money going in at the top, for the banks, not the masses. This amounts to devaluation.

When the Ukraine crisis started, the Russian President stopped politely going along with Western capitalism and called the West out for printing too much money during the pandemic. Cut off from SWIFT and with many sanctions, Russia started trading in other currencies with BRICS partners. We are now at a stage of the game where the BRICS countries, of which there are many, already have a backup plan for when the next US financial catastrophe happens. They just won't use the dollar anymore. Note that currently, China doesn't want any dollars making it back to its own economy, since that would cause inflation. So they invest their dollars in Belt and Road initiatives, keeping those green bits of paper safely away from China. They don't even need exports to the USA or Europe since they have a vast home market to develop.

Note that Russia's reserve of dollars and euros was confiscated. They have nothing to lose so they aren't going to come back into the Western financial system.

Hence, you are right. A market crash won't be a global systematic crisis, it just means that Shanghai becomes the financial capital of the world, with no money printing unless it is backed up by mineral, energy or other resources that have tangible value. This won't be great for the collective West, but pretty good for the rest of the world.
by skeeter2020 | 2025-10-19 13:53:59+00:00
I think you need to get past the literal examples to the concept that they are saying "I wanted AI to free me from the mundane, not imprison me with it". This has long been the promise from the same people who now appear to be quite happy to turn us into the Matrix-style feedstock for AI (again, not literal - but maybe literally?). Natural extrapolation: they may be the last to go, but it won't need them either. How can so many smart people all be Wile E. Coyote?
by Freak_NL | 2025-10-19 13:54:10+00:00
Bricklink seems like a pretty lousy place to sell counterfeit Lego bricks. Sellers get reviewed by the buyers (and vice versa), and the buyers there are pretty much committed to genuine Lego bricks (and vocal of sellers not keeping up their end of the bargain). I doubt if there is much counterfeit stuff on there.

The economy for sellers lies more in picking up unopened new sets for bargain prices from local shops, both on and off-line, and reselling the individual bricks. New Lego sets just are cheaper in Eastern Europe. Part of this economy is that some bricks are much more sought after, which is reflected in the piece prices. This also means that more common pieces will be sold cheaper. It seems to balance out.

Personally, I rarely need to look beyond the Netherlands for bricks I buy for MOCs on Bricklink. Sometimes Germany or Belgium. The prices just are competitive.
by constantcrying | 2025-10-19 13:54:19+00:00
The gig economy is neither contract work nor casual work.

>If I want my lawn mowed, some basement junk hauled away, or my house painted, I want someone on contract/gig to do something for me, but I sure don’t want to hire an employee.

Error of categories. This simply is not the same.

It is normal employment in everything but name. Uber is replacing the taxi industry, which can not compete, because the taxi industry has to pay for labor protections. It is a scheme where Uber tricks existing labor laws to have employees it does not need to treat as employees.

>“employ them” is not the universal answer to Uber

It is. Before Uber ride hailing existed and it was done by employees or self employed people.
by mikkupikku | 2025-10-19 13:54:51+00:00
> My ideal would be a world in which boring, heavy, dangerous, etc work is replaced by machines. Giving humans time and opportunity to pursue creative, fun, stimulating or intellectually challenging tasks.

I can't quite square people seriously believing such things, it seems like it must be wishful thinking crossed with denial. We have more than 200 years of technology taking away the hard and dangerous jobs and it hasn't been playing out that way at all, so why should the latest kind of automation have a dramatically different effect on society?

A hydraulic excavator can do the work of dozens of men with shovels, dozens of times faster too, but that hasn't lead to easy lives of luxury for the sort of men that would have been breaking their backs with shovels. They all had to get other manual labor jobs, because they weren't the capital that got to own and profit from the new machines. The best we can hope for is that when all the women manually spinning thread get replaced by factories, that at least some of them will get to have new factory jobs and the rest will at least be offset by society at large benefiting from clothing so cheap that even the poorest people can own more than one outfit.
by Avicebron | 2025-10-19 13:55:27+00:00
Your spherical cow version of economics is laughably naive and misguided. If "adults" decided tomorrow that it was fine to employ people at only the infrastructure cost of preventing them running away, people would be outraged. But somehow flooding an ecosystem with money to starve meaningful competition and capitalize on people's inherent lack of options, which is "preventing them from running away with extra steps", is somehow... "a robust and dynamic economic ecosystem between consenting adults".. let's not be naive on HN.
by yorwba | 2025-10-19 13:55:54+00:00
Of course the number of scholars killed is large in absolute terms and relative to the size of the Chinese research ecosystem at the time, but it's also small relative to the number of researchers worldwide at the time and to the hundreds of thousands (millions?) of Chinese scientists researching all kinds of things now, which is the result of explosive growth primarily over the past few decades.

Chen-Ning Yang was technically not wrong with his 1998 prediction, since Tu Youyou got 1/3 of the 2015 Nobel in medicine, but it didn't really make sense for him to link this to continued development, since the delay between discovery and award means that most of the prizes from 1998–2018 were for work that was already done before he made his prediction.

Over the same time frame, tertiary school enrollment went from 6.3% to 53.4%, and my 20–40-year prediction is based on a guess of how long it will take for the work of all those freshly-minted scientists to enter the range of consideration for a Nobel.
by cmcaleer | 2025-10-19 13:56:27+00:00
What’s stopping a similar crisis that 23andMe customers faced where their genetic data along with their identifying information getting sold to the highest bidder if you ever become insolvent?

Considering how big a deal that was at the time, and how strong a differentiator it would be, it’s notable how absent from the homepage. It’s nice that Nucleus claims not to sell the data, but 23andMe had similar claims, it wasn’t strong enough to prevent genetic data from being transferred if they were to be acquired.

This has always been something I’ve been interested in but so far no company handles privacy concerns of data that’s so deeply fundamentally personal and private in a satisfactory way, and I’m especially apprehensive post-23andMe.

Taking a dice roll on Nucleus not just pulling another 23andMe seems not worth the ~$3000 saving you claim to be offering.
by JKCalhoun | 2025-10-19 13:56:45+00:00
> How that person chooses to relate to an employer … is their business, not a concern of mine.

I could try and score points and ask if you would be okay if the lawn employee was prison-labor—if you would be okay employing them (money to go to the prison, of course).

My point though simply is that I don't think anyone should be okay hiring someone whose labor may be being exploited.

I was going to say that I don't think that is ever the case with lawn care but remembered that when I was maybe 10 years old, a neighbor had a lawn business during the Kansas summertime and he "hired" me and my sister (she was 9) to come with him (with his own two kids) to mow lawns for his business. I mean he bought us lunch at a fast food place and we made maybe $0.50 an hour—we were happy to have pocket money in order to buy candy at the drug store. I suppose we were being exploited though. ;-)

But anyway, I ramble.
by lioeters | 2025-10-19 13:57:25+00:00
What I've noticed about language design is that people confuse their preferences and opinions with genuine objective observations. It's more of an art and aesthetics than a science. I agree "5.times" is an abomination but that's a subjective reaction - there's no principle or law that it violates (other than perhaps principle of least surprise). We can't quantify and measure how good or bad some invented syntax is.

As for lack of tooling, it apparently wasn't a priority when the language was designed. I'm guessing the emphasis was more on the ease of reading/writing, and having internal logical consistency. How such language design decisions make the development of tooling more difficult was a secondary concern.
by gpjt | 2025-10-19 13:58:02+00:00
To be fair to the OpenAI team, if read in context the situation is at worst ambiguous.

The deleted tweet that the article is about said "GPT-5 just found solutions to 10 (!) previously unsolved Erdös problems, and made progress on 11 others. These have all been open for decades." If it had been posted stand-alone then I would certainly agree that it was misleading, but it was not.

It was a quote-tweet of this: https://x.com/MarkSellke/status/1979226538059931886?t=OigN6t..., where the author is saying he's "pushing further on this".

The "this" in question is what this second tweet is in turn quote-tweeting: https://x.com/SebastienBubeck/status/1977181716457701775?t=T... -- where the author says "gpt5-pro is superhuman at literature search: [...] it just solved Erdos Problem #339 (listed as open in the official database erdosproblems.com/forum/thread/3…) by realizing that it had actually been solved 20 years ago"

So, reading the thread in order, you get

* SebastienBubeck: "GPT-5 is really good at literature search, it 'solved' an apparently-open problem by finding an existing solution" * MarkSellke: "Now it's done ten more" * kevinweil: "Look at this cool stuff we've done!"

I think the problem here is the way quote-tweets work -- you only see the quoted post and not anything that it in turn is quoting. Kevin Weil had the two previous quotes in his context when he did his post and didn't consider the fact that readers would only see the first level, so wouldn't have Sebastien Bubek's post in mind when they read his.

That seems like an easy mistake to entirely honestly make, and I think the pile-on is a little unfair.
by bell-cot | 2025-10-19 13:58:13+00:00
> In all, the problems at 432 Park could cost over $100 million to remedy, according to engineering reports that the condo board commissioned and the independent engineers who reviewed the tower’s condition.

TBD how much "over" might be. Further down, there's a $160M estimate.

Then there's the issue of whether all those repairs would work correctly, to actually fix everything. Vs. needing a $tbdM second round of repairs. Or more.
by thelifeofrishi | 2025-10-19 13:59:20+00:00
Hi, I'm a solo-founder, went full-time in April on solving two problems with Orshot(bootstrapped):

1: Help non-designers design beautiful visuals(Canva solves this nicely)

2: Also help same users and teams/agencies to automate their designs and produce visual content at scale(easily), via Rest API/Integrations etc. This is something that Canva doesn't solve, and I'm pretty sure this is the future of designs and templates

Currently Orshot handles images and pdfs easily, you design a template in a Canva-like editor(some more work is needed to make it more useful for non-designers)

For each template you get a Rest API with template ID, which you can use in your backend to generate images/pdfs from your data. There are 10+ integrations and I'm looking to work on more(Hubspot, Shopify etc.)

If you give it a try, I would love your feedback, because I'm only as good as the bounds of my thoughts. Help me cover a bigger space :)

PS: I know Canva has API in enterprise plan, I want to bring it to consumers and small teams
by coldtea | 2025-10-19 13:59:23+00:00
>My ideal would be a world in which boring, heavy, dangerous, etc work is replaced by machines. Giving humans time and opportunity to pursue creative, fun, stimulating or intellectually challenging tasks.

That didn't happen at any previous industrial revolution step either. Instead work for humans became more mechanical and soul-crushing.

Farmers ended up having to work on some factory line for 12 hours. Small store owners and employees were turned into huge chain cogs. People "freed" from household work, were send to the cubicle.
by noir_lord | 2025-10-19 13:59:56+00:00
We always where going to, a star trek like society benefits the maximum number of people at the expense of curtailing the excesses of the wealthiest people.

The wealthy people don't like that, why would they and since they have a disproportionate amount of power via their wealth they oppose it successfully.

They'll keep the bread and circuses going and keep refining what is the minimum amount of bread they can get away with until they cross the line and then things get whacky for a bit, it resets and then they start taking the bread away again.
by hasperdi | 2025-10-19 14:02:25+00:00
I bought Pebble time many years ago, it arrived with the front panel gaping open, it wasn't properly attached to the watch body. I emailed them about this and it took weeks for them to reply... giving me a boilerplate answer. I had to spam as many people in the company as I could including the CEO, to get a replacement.

Never again.
by the_duke | 2025-10-19 14:02:38+00:00
It may well be that an AI bubble burst is the tipping point, but I think that tipping point was coming either way.

The US admin has been (almost desperately) trying to prop up markets and an already struggling economy. If it wasn't AI, it could have been another industry.

I think AI is more of a sideshow in this context. The bigger story is the dollar losing its dominant position , money draining out into Gold/Silver/other stock markets, India buying oil from Russia in Yen, a global economy that has for years been propped up by government spending (US/China/Europe/...), large and lasting geopolitical power balance shifts, ...

These things don't happen overnight, and in fact over many years for USD holdings, but the effects will materialize.

Some of the above (dollar devaluation) is actually what the current admin wanted, which I would see as an admission of global shifts. We might see much larger changes to the whole financial system in the coming decades, which will have a lot of effects.
by skeeter2020 | 2025-10-19 14:02:43+00:00
How far away are we from AI running the business (marketing, contracts, payment, scheduling, etc) while the humans compete with each other to do the lawn mowing for subsistence food & shelter? Put one of these tech bro CEOs in charge long enough for the AI to get good enough to do the top-level coordination and then recycle them into energy to power it all, and we're good to go!
by nonameiguess | 2025-10-19 14:02:55+00:00
The setting is configurable, but by default, etcd's Raft implementation requires a voting node to write to disk before it makes a vote, as in actually flushing to disk, not just writing to the file cache. Since you need a majority vote before a client can get a response, this is why it's strongly recommended you use the fastest possible disks, keep the nodes geographically close to each other, and etcd's default storage is only 2GB per node.

All in all, it was a poor choice for Kubernetes to use this as its backend in the first place. Apparently, Google uses its own shim, but there is also kine, which was created a long time ago for k3s and allows you to use a RDBMS. k3s used sqlite as its default originally, but any API equivalent database would work.

We should keep in mind etcd was meant to literally be the distributed /etc directory for CoreOS, something you would read from often but perform very few writes to. It's a configuration store. Kubernetes deciding to also use it for /var was never a great idea.
by alphazard | 2025-10-19 14:03:10+00:00
The theory of disease for ADD/ADHD in children has explanatory power, which means that the understanding must be at least partially correct. It's impressive that many children outgrow their ADD, and that temporary use of amphetamines during development can help them outgrow it, so they don't regularly take drugs as adults. Some kids don't outgrow it, and continue to medicate as adults. That's also fine, if it helps, it helps.

What doesn't add up is people with new problems with executive function that start as adults, and suspiciously as they have more control over their screen time, and more money to spend on technology and apps. They get an amphetamine prescription, which definitely helps, but they also get a bad explanation. Something like: genetics, or a story about how their brain was better in the ancestral environment or whatever. Doesn't explain the onset of the condition, doesn't explain why it became a problem completely after development.
by ekjhgkejhgk | 2025-10-19 14:04:24+00:00
Funny. I don't claim to be a person of extraordinary intellect or a tech-visionary. However, the very first time in my life I heard the argument "robots are bad because they will take all the jobs" I immediately realized "oh, so 'who will own the robots' is the question we have to think carefully about". This was in the mid-nineties and I was about 10.