MurphyA/hacker-news huggingface dataset:
by charcircuit | 2025-12-09 02:28:49+00:00
Considering how useful I've found AI at finding and fixing bugs proportional to the effort I put in, I question your claim that it's being underfunded. While I have learned things like Idris, in the end I never was able to practically use them to reduce bugs in the software I was writing unlike AI. It's possible that the funding towards these types of languages is actually distracting people from more practical solutions which could actually mean that it is overfunded in regards to program verification.
by foobarian | 2025-12-09 02:29:58+00:00
The big appeal of humanoid robots to me is that they don't need to be automated; even if they were teleoperated there is a lot of new capability. Operators could rotate in and out more easily in shifts, they could operate where a human would be inappropriate (i.e. imagine a robot maid application where the robot could be activated 24/7, whereas something like a housecleaning service is only able to visit infrequently and during specific times. Or, with the delivery application the operator would be a lot safer than the robot navigating traffic and terrain.).
by reliefcrew | 2025-12-09 02:30:03+00:00
I'd say the correct answer is, as usual, "it depends".

If the "coming soon" message is framed as a marketing tease and the features are indeed delivered as they've been promised then I don't see a problem. OTOH, if the "coming soon" message itself looks like a poorly styled afterthought then, of course.... just leave it out and rethink the rollout.

Ultimately, "ugly" is a matter of presentation and perception.
by MereInterest | 2025-12-09 02:30:19+00:00
> Why are you assuming that a human would be more efficient and better for the environment than an electrically powered robot?

Because bicycles use 5x less energy per mile than electric scooters, which would be a reasonable analogue for slow electric delivery robots [0].

> It is very inefficient (approx 25%) to use food as an energy source,

By comparison, fossil fuel conversions are about 30-45%, depending on the energy source [1].

> and humans are always burning energy. They can't turn off at night or when they are idle. I think it is very likely that the robot would be better for the environment than the person.

That's a really, really weird baseline to use. Turning off a robot when not performing a task is standard procedure. Turning off a human when not performing a task is not standard procedure, and is frowned upon in polite society.

[0] https://www.statista.com/chart/28710/energy-efficiency-of-mo...

[1] https://www.eia.gov/electricity/annual/html/epa_08_01.html (Smaller numbers are better. To find efficiency, divide 3412 (1 kilowatt*hour in Btu) by the value in the column [2].)

[2] https://www.eia.gov/tools/faqs/faq.php?id=107&t=3
by renewiltord | 2025-12-09 02:30:39+00:00
Well, politically, housing becoming cheaper is considered a failure. And this is true for all ages. As an example, take Reddit. Skews younger, more Democrat-voting, etc. You'd think they'd be for lower housing prices. But not really. In fact, they make fun of states like Texas whose cities act to allow housing to become cheaper: https://www.reddit.com/r/LeopardsAteMyFace/comments/1nw4ef9/...

That's just an example, but the pattern will easily repeat. One thing that came out of the post-pandemic era is that the lowest deciles saw the biggest rises in income. Consequently, things like Doordash became more expensive, and stuff like McDonald's stopped staffing as much.

This isn't some grand secret, but most Americans who post on Twitter, HN, or Reddit consider the results some kind of tragedy, though it is the natural thing that happens when people become much higher income: you can't hire many of them to do low-productivity jobs like bus a McD's table.

That's what life looks like when others get richer relative to you. You can't consume the fruits of their labor for cheap. And they will compete for you with the things that you decided to place supply controls on. The highly-educated downwardly-mobile see this most acutely, which is why you see it commonly among the educated children of the past elite.
by lowbloodsugar | 2025-12-09 02:30:41+00:00
>in the real world are more expensive: health care, housing, cars.

Think of it another way. It's not that these things are more expensive. It's that the average US worker simply doesn't provide anything of value. China provides the things of value now. How the government corrected for this was to flood the economy with cash. So it looks like things got more expensive, when really it's that wages reduced to match reality. US citizens selling each other lattes back and forth, producing nothing of actual value. US companies bleeding people dry with fees. The final straw was an old man uniting the world against the USA instead of against China.

If you want to know where this is going, look at Britain: the previous world super power. Britain governed far more of the earth than the USA ever did, and now look at it. Now the only thing it produces is ASBOs. I suppose it also sells weapons to dictators and provides banking to them. That is the USA's future.
by seanmcdirmid | 2025-12-09 02:31:22+00:00
Oh Service Merchandise was a thing in the USA also, where I was living at in Mississippi at least. It was basically catalog focused store with a showroom.

IKEA is kind of like that also, but you have to get everything yourself after picking it out upstairs. And Sears might have been like this at some point before I was born.
by rvz | 2025-12-09 02:32:09+00:00
Remember, these companies (including the author) have an incentive to continue selling fear of job displacement not because of how disruptive LLMs are, but because of how profitable it is if you scare everyone into using your product to “survive”.

To companies like Anthropic, “AGI” really means: “Liquidity event for (AI company)” - IPO, tender offer or acquisition.

Afterwards, you will see the same broken promises as the company will be subject to the expectations of Wall St and pension funds.
by maddmann | 2025-12-09 02:34:46+00:00
I strongly agree. It may be even more than 90%. For example yesterday I was able to use lovable (and Claude code web) on my phone to build out an almost 1:1 replacement (for my purposes) for an expensive subscription based app for working out: https://strengthquest.lovable.app/

This is simply unimaginable level of productivity— in one day on my phone, I can essentially build and replace expensive software. Unreal days we are living in.
by petersellers | 2025-12-09 02:35:12+00:00
I disagree with your premise that your non-preferred form of entertainment is equivalent to eating junk food.

I’m sorry that you were addicted to playing video games (truly) but I think your past experience is preventing you from thinking rationally about this.

People can find fulfillment from many different things, including the ones that you personally don’t find fulfilling. One's fulfillment is also irrelevant with respect to whether the product they are consuming was designed by a corporation to extract maximum profits (though I sympathize with your anti-corporate stance, despite the fact I find this point of yours to be irrational).

You admitted your view was subjective, yet you are prescribing it as a general view that applies to everyone which is both elitist and dissonant.
by simonw | 2025-12-09 02:35:38+00:00
I don't trust the AI Studio "share" links so here's the image I used: https://www.reddit.com/media?url=https%3A%2F%2Fpreview.redd....

And the prompt:

Turn this into a list of artist - album

I ran that against Gemini 3 Pro Preview with media resolution set to "high"

Here's the result:

Based on the image provided, here is the list of artists and albums in order from left to right, top to bottom: **Row 1** * **100 gecs** – 1000 gecs * **Alex G** – House of Sugar * **Angel Olsen** – My Woman * **The Beths** – Future Me Hates Me * **Big Thief** – U.F.O.F. * **black midi** – Schlagenheim * **Candy Claws** – Ceres & Calypso in the Deep Time * **Cloud Nothings** – Attack on Memory **Row 2** * **Courtney Barnett** – Sometimes I Sit and Think, and Sometimes I Just Sit * **D'Angelo & The Vanguard** – Black Messiah * **Danny Brown** – Atrocity Exhibition * **Deafheaven** – Sunbather * **Deerhunter** – Halcyon Digest * **Destroyer** – Kaputt * **FKA twigs** – Magdalene * **Flying Lotus** – Cosmogramma **Row 3** * **Frank Ocean** – Blonde * **Hop Along** – Bark Your Head Off, Dog * **The Hotelier** – Home, Like Noplace Is There * **Japanese Breakfast** – Soft Sounds from Another Planet * **Jeff Rosenstock** – Worry. * **Julia Holter** – Have You in My Wilderness * **Julien Baker** – Sprained Ankle * **King Gizzard & The Lizard Wizard** – Nonagon Infinity **Row 4** * **Mac DeMarco** – Salad Days * **Oneohtrix Point Never** – Replica * **Parquet Courts** – Wide Awake! * **Perfume Genius** – No Shape * **Phoebe Bridgers** – Stranger in the Alps * **Sidney Gish** – No Dogs Allowed * **SOPHIE** – Oil of Every Pearl's Un-Insides * **St. Vincent** – Strange Mercy **Row 5** * **Sufjan Stevens** – Carrie & Lowell * **Tame Impala** – Lonerism * **Tim Hecker** – Virgins * **Titus Andronicus** – The Monitor * **Vampire Weekend** – Modern Vampires of the City * **The War on Drugs** – Lost in the Dream * **Weyes Blood** – Titanic Rising * **Yves Tumor** – Safe in the Hands of Love
by egypturnash | 2025-12-09 02:36:04+00:00
A slow-ass cooler-sized wheely boy filling up the entire bike lane and stopping randomly, that'll be super safe for cyclists, yep. On the bright side maybe some of them will get knocked into traffic by people who don't bother looking for bicycles coming up behind them when they open their car door, never mind low-riding bots that are much harder to see.
by tillcarlos | 2025-12-09 02:36:08+00:00
Awesome idea! I'm trying to use it for a YouTube video.

This graph here has display issues. And the CPU is used waay too much on firefox

``` flowchart TD Step1["*Step 1: POC* (4 weeks)<br/>Vibe code for ONE tenant"]

Step1 --> Validate & Hire Validate["Validation (4 weeks)"] Hire["Hire developer (4 weeks)"] Validate & Hire --> Spec subgraph Spec["**Step 3: Specification** (with dev)"] SpecStart["Parallel"] --> UI["UI prototype"] SpecStart --> POC["POCs of all parts"] SpecStart --> Arch["Architecture + stack"] SpecStart --> Infra["Infrastructure"] SpecStart --> FullSpec["Full MVP spec"] UI & POC & Arch & Infra & FullSpec --> SpecEnd["Done"] end

```
by 1659447091 | 2025-12-09 02:36:10+00:00
> More than that, Trump said yesterday that Netflix's purchase of WB "might be problematic"

Adding Link: https://www.bbc.com/news/articles/cn815egjqjpo

> He's trying to shakedown Netflix to pay fealty.

I am not a supporter of most things this admin is doing, but also wouldn't be too sure on this one. I found it interestingly odd that out of nowhere he makes a comment on the deal after attending an event dealing with celebrating music and film. A regular shakedown would have happened before the deal when he met with the Netflix CEO recently, which the added link article mentions and was a person who Trump liked.

And now we see the Paramount thing that leads me to think it fits more with the suggestion that he takes the side of the last person he speaks with, which was probably someone at the same event on the paramount side.

I wouldn't rule out that he now plays them against each other in order to get something from it, but don't think it was the original reason for helping to throw a wrench into it
by bdangubic | 2025-12-09 02:36:25+00:00
additional reading list

- IntuitionLabs, “AI’s Impact on Graduate Jobs: A 2025 Data Analysis” (2025) -

https://intuitionlabs.ai/pdfs/ai-s-impact-on-graduate-jobs-a...

- Demirci, O., Hannane, J., & Zhu, X., “Who Is AI Replacing? The Impact of Generative AI on Online Freelancing Platforms,” Management Science (2024) - https://pubsonline.informs.org/doi/10.1287/mnsc.2024.05420%20PubsOnline - Indeed Hiring Lab, “AI at Work Report 2025: How GenAI is Rewiring the DNA of Jobs” (September 2025) - https://www.hiringlab.org/wp-content/uploads/2025/09/Indeed-Hiring-Lab-AI-at-Work-Report-2025.pdf%20Indeed%20Hiring%20Lab
by ajross | 2025-12-09 02:37:01+00:00
Again though, that's mixing things up. The question is whether or not mitigating the exploit requires an OS patch be applied promptly.

And it seems like it doesn't. If there is a live exploit in the wild (as seems to be contended), then clearly the solution is to blacklist the app (if it exists on the store, which is not attested) and pull it off the store. And that will work regardless of whether or not Samsung got an update out. Nor does it require an "audit" process in the store, the security people get to short circuit that stuff.
by dragonwriter | 2025-12-09 02:38:16+00:00
> PA tried to clean hamas from those areas, got it ass kicked and asked Israel for help.

PA has to ask Israel to do anything of substance in the WB, because the WB is a mix of Israeli and PA controlled areas, with Israel controlling internal boundaries even between adjacent PA-controlled areas.

> Major reason why there are no elections in west bank, it's because current palestinian government knows that hamas will win

No, the only reason is that Israel has refused to cooperate with all-Palestine elections negotiated and agreed to between Fatah (the party in control of the PA government) and Hamas, on multiple occasions (because Israel administers parts of the WB, and for other reasons, active Israeli cooperation would be necessary.)

Most likely because the divide between the Fatah-led PA and Hamas, and the ability to portray both as undemocratic, serves Israeli's propaganda and other interests.
by jameshilliard | 2025-12-09 02:38:23+00:00
> Do you really believe Israel wants to stop occupying the West Bank?

In the past there has been some desire to do so, although that's faded quite a bit as it has become clear there is at the moment no real partner for peace on the Palestinian side. Palestinians need a leader who is truly interested in peace, sort of like Sadat was in Egypt who was critical to normalizing relations with Israel. Ultimately what many in Israel want is a real peace deal, but without a party on the other side that's going to be pretty difficult.

> Just this month Israel killed 2 brothers (children), because they were identified as a threat.

I'm not sure what specific incident this is in reference to but there are plenty of security threats in both the West Bank and Gaza, and it's pretty well known that Hamas uses child soldiers as well as human shields.

> They continue to expand settlements

I agree this is problematic, but terrorism is likely only going to encourage settlement expansion as settlements are seen by some in Israel as providing a security barrier. Israel is a country lacking in strategic depth[0] and the West Bank is especially problematic due to its proximity cities like Tel Aviv. After the previous failed unilateral disengagements in Gaza and Lebanon I think it's extremely unlikely for Israel to continue with that strategy.

> they bomb during ceasefires

Often in retaliation for ceasefire violations on the part of terrorists.

> Can you give me any example of Israel really attempting peace?

For example the 2000 Camp David Summit, where Israel made a number of offers that Palestinian leadership rejected without making any concrete counteroffers, this peace attempt immediately preceded the Second Intifada. Part of the reason Israel is often wary of peace attempts like this is due to Palestinian leadership not negotiating in good faith.

> 2005 disengagement, but they have the levers to keep Gazans on the brink of death, by bottlenecking food, water, etc.

What do you expect Israel to do when Hamas starts attacking Israel and stockpiling weapons. If Israel hadn't been attacked I think it would have been pretty unlikely for them to have blockaded Gaza.

> Just because it's called disengagement, doesn't mean it really is. Don't accept their propaganda at face value, or anyone's, obviously.

They evicted every Israeli from Gaza and gave it a try, clearly unilateral disengagement just doesn't work, and in the case of Lebanon with Hezbollah Israel had a similar issue and there wasn't even a blockade there.

[0] https://en.wikipedia.org/wiki/Strategic_depth#In_Israel
by mxfh | 2025-12-09 02:38:41+00:00
I just have no idea how rigerously the data was reviewed. The 95% decline simply does no compute with

4,500,000 in 1959

and even an increase to

7,000,000 in 1968

largely due to increase in recreational horse population.

https://time.com/archive/6632231/recreation-return-of-the-ho...

So that recreational existence at the leisure of our own machinery seems like an optional future humans can hope for too.

Turns out the chart is about farm horses only as counted by the USDA not including any recreational horses. So this is more about agricultural machinery vs. horses, not passenger cars.

---

City horses (the ones replaced by cars and trucks) were nearly extinct by 1930 already.

City horses were formerly almost exclusively bred on farms but because of their practical disappearance such breeding is no longer necessary. They have declined in numbers from 3,500,000 in 1910 to a few hundred thousand in 1930.

https://www2.census.gov/library/publications/decennial/1930/...
by frankhsu | 2025-12-09 02:40:13+00:00
I love it. I saw a comment in this thread saying that adding animation to a chart is pointless.

However in some public speeches, I've always wanted to add some cool charts to attract attention. Especially at large events, a slightly different presentation can make my stuff stand out and gain more attention.

Your work has a nice launch here in HackerNews but no upvotes on ProductHunt, so I just voted there to support you
by zdragnar | 2025-12-09 02:41:32+00:00
> All it takes is tax on the extremely wealthy and lessening taxes on the middle class… seems obvious right?

You could tax 100% of all of the top 1%'s income (not progressively, just a flat 100% tax) and it'd cover less than double the federal government's budget deficit in the US. There would be just enough left over to pay for making the covid 19 ACA subsidies permanent and a few other pet projects.

Of course, you can't actually tax 100% of their income. In fact, you'd need higher taxes on the top 10% than anywhere else in the West to cover the deficit, significantly expand social programs to have an impact, and lower taxes on the middle class.

It should be pointed out that Australia has higher taxes on their middle class than the US does. It tops out at 45% (plus 2% for medicare) for anyone at $190k or above.

If you live in New York City, and you're in the top 1% of income earners (taking cash salary rather than equity options) you're looking at a federal tax rate of 37%, a state tax rate of 10.9%, and a city income tax rate of 3.876% for a total of 51.77%. Some other states have similarly high tax brackets, others are less, and others yet use other schemes like no income tax but higher sales and property taxes.

Not quite so obvious when you look closer at it.
by mpyne | 2025-12-09 02:42:13+00:00
> Have you heard about the horror that is SaFe?

Yes, and I successfully argued against it by pointing it was was a wolf in sheep's clothing. It has as much to do with agile as waterfall does.

> I'm not convinced that true agile works or has ever worked on a project that was bigger than a dozen devs.

It works fine, large projects are inherently trouble which is why organizations should spend some energy into reducing the scale of an individual team's work rather than piling dozens or hundreds of people into yet another Too Big to Fail megaproject. If Google can build and maintain Bigtable with like a dozen devs then maybe you don't need 200 people and a PMO for your enterprise data warehouse consolidation project.

In fact the biggest issue with SAFe is the size of the project you'd try to use it on, not that it references agile style methods. Waterfall methods were even worse, which is the only reason charlatan consultation manage to keep selling organizations on things like SAFe.

> One of the key ways these agile people are incredibly dishonest, is that Agile at the top level is sold to enterprises as a way of keeping the old high-level project management style, with push-only command-structures, and agile people subsequently try to sugarcoat it as it somehow 'empowering' the devs and giving them autonomy, when the truth couldn't be farther from it.

You're right that this is dishonest and that people try and fail to cargo cult successful efforts they watch from afar. But that doesn't mean these successful teams weren't successful, or that there aren't common attributes of those successes.

That's always been the problem with methodological fixes to the software delivery process for organizations, you usually can't impose the structure from the outside anymore than you can meld your bones with adamantium without having a crazy mutant healing factor...
by darth_avocado | 2025-12-09 02:42:41+00:00
> In the US, depending on your health plan, the fastest way to see a doctor is Urgent Care

Correct. It’s faster than getting your PCP to see you and it’s faster than Emergency Room (which GP was comparing the wait times for in other countries). But how much you wait really depends on a lot of factors: how many other patients are sick that day, what time of day are you calling, does the urgent care take appointments, how many urgent care centers are in your area etc. In my area if you call at 8 in the morning and the urgent care you are calling gives out appointments, you’ll probably be seen the same day. You’ll have to wait for your appointment, but once you show up for the appointment, you’ll be seen immediately.

If you’re calling in later (after 10 in the morning) or walking in to a facility, you’ll probably be waiting at least 2-3 hours if you’re lucky. All of this of course comes with higher costs (not as much as ER though).

The problem with urgent care though is that it’s more expensive if you’re running tests and is only designed to fill in for conditions that you’d ideally want your PCP to take care of, but can’t get an appointment for. True emergencies still go to ER. In fact some urgent cares don’t even have equipment like xray or sonography machines, so if you need one, you’d end up in ER anyway. (and get charged for both)
by COAGULOPATH | 2025-12-09 02:44:35+00:00
> In 1920, there were 25 million horses in the United States, 25 million horses totally ambivalent to two hundred years of progress in mechanical engines.

But would you rather be a horse in 1920 or 2020? Wouldn't you rather have modern medicine, better animal welfare laws, less exposure to accidents, and so on?

The only way horses conceivably have it worse is that there are fewer of them (a kind of "repugnant conclusion")...but what does that matter to an individual horse? No human regards it as a tragedy that there are only 9 billion of us instead of 90 billion. We care more about the welfare of the 9 billion.