MurphyA/hacker-news huggingface dataset:
by toomuchtodo | 2025-07-09 15:25:45+00:00
Construction (both infrastructure and housing) faces a shortage of low single digit million workers nationally. Now, account for deportations of workers in those industries. Account for 4M Boomers retiring per year. Account for an annual year over year decline in prime working age participation due to declining total fertility rates. Who is going to do this actual megaproject engineering and construction work? Print or borrow all the fiat you want, there aren't enough people for the body of work to be done.

Residents of Florida are already waiting months or over a year sometimes to get a roof replaced, because there are not enough workers.

South Florida's water supply under threat from saltwater intrusion crisis - https://www.cbsnews.com/miami/news/south-floridas-water-supp... - April 24th, 2025

Miami-Dade Saltwater Interface GIS Mapping - https://geoportal.sfwmd.gov/portal/home/item.html?id=128fce3...

‘The industry is in a crisis:’ Construction worker shortage delaying projects, driving up costs, experts say - https://www.clickorlando.com/news/local/2025/02/24/the-indus... - February 24th, 2025 ("Immigrants account for 31% of all workers in construction trades across the country. In Florida, an estimated 38% of construction workers are foreign-born.")

Miami is 'ground zero' for climate risk. People are moving to the area and building there anyway - https://www.cnbc.com/2024/04/26/miami-is-ground-zero-for-cli... - April 26th, 2024 ("By 2060, about 60% of Miami-Dade County will be submerged, estimates Harold Wanless, a professor of geography and sustainable development at the University of Miami." ... "The trend shows how many Americans are ultimately willing to overlook environmental risks, even though most acknowledge its presence — a choice that could later devastate them financially.")

Climate Costs in 2040: Florida - https://www.climatecosts2040.org/files/state/FL.pdf (9,243 miles of seawall are needed. Florida has the highest cost of building seawalls. 23 Florida counties face at least $1 Billion expenditures. 24 municipalities are up against bills of over $100,000 per person)
by bananapub | 2025-07-09 15:26:12+00:00
edit: not sure why my ctrl-f 'grok' missed it, maybe I hadn't let the nytimes modal load thing load the bottom of the article.

how fascinating that the NY Times didn't find any room to mention in the article that despite this:

> She did not provide a reason for her departure.

it might possibly be related to the Elon's custom-tuned Grok LLM spent the last twenty four hours becoming even more Nazi-y?

seems fairly relevant especially given she didn't give any actual reason.
by tharkun__ | 2025-07-09 15:26:14+00:00
No two way stops either. The non right of way sides simply have a sign that tells them they don't have the right of way (upside down red bordered triangle) or nothing at all but the effect is the same. You'll slow down a bit to be able to make sure there's nobody coming from your left but you are not expected or required to stop at all.

In essence it's a sign for you to do a rolling stop so to speak actually. But if sightlines are good you can go as fast as the turn radius allows.
by scubakid | 2025-07-09 15:26:19+00:00
Are your existing customers vocal about what they love or wish you'd add? Do you know how they found you and what made them choose you over competitors? Is there a niche/segment within your larger TAM with a specific pain point you're solving really well? And how big is that segment?

Either way, if your existing customers don't all come from paid channels, and they're loyal, and you've outlasted multiple competitors, that already sounds like a real achievement to me. My progress was slow for years before things started to really pick up, so don't discount signs of traction if there are some meaningful ones.
by techpineapple | 2025-07-09 15:26:56+00:00
To me, and I'm guessing the reason Linda left is not that Grok said these things. Tweaking chatbots is hard, yes prompt engineering can help say anything, but I'm guessing it's her sense of control and governance, not wanting to have to constantly clean up Musk's messes.

Musk made a change recently, he said as much, he was all move fast and break things about it, and I imagine Linda is tired of dealing with that, and this probably coincided with him focusing on the company more, having recently left politics.

We can bikeshed on the morality of what AI chatbots should and shouldn't say, but it's really hard to manage a company and product development when you such a disorganized CTO.
by pseudolus | 2025-07-09 15:27:09+00:00
Apparently for employers a significant benefit is that it actually requires courts to issue an injunction against the covered employee.

The injunction in turn can only be modified or dissolved if the covered employee – or prospective employer – proves by clear and convincing evidence (which must be based on non-confidential information) that:

the employee will not perform similar work during the restricted period or use confidential information or customer relationships;

the employer failed to pay the salary or benefits required under a covered garden leave agreement, or failed to provide consideration for a non-compete agreement, after the employee provided a “reasonable opportunity” to cure the failure; or

the prospective employer is not engaged in (or preparing to engage in) a similar business as the covered employer within the restricted territory.[0]

The "clear and convincing standard" (which is an intermediate burden of proof between the standard civil "balance of probabilities" and the strict "beyond a reasonable doubt" standard) coupled with the requirement of providing only non-confidential information to oppose the injunction will likely make this a slam dunk for employers.

[0] https://www.fisherphillips.com/en/news-insights/florida-enfo...
by Analemma_ | 2025-07-09 15:27:10+00:00
> Instead of writing and adopting one or more, Linux allowed Redhat to take over the last piece of itself, its spine, after which Redhat sold itself to IBM. Linux is an IBM product.

Who exactly was going to write the systemd alternative? If by "Linux" you mean the kernel devs, that was never going to happen-- systemd is a middleware stack living in userspace, the kernel guys were never going to get involved. If you mean some distro, other distros did propose some alternatives to systemd back in the day (e.g. upstart), and they all eventually abandoned them and switched to systemd instead, because systemd was better.
by fsflover | 2025-07-09 15:27:16+00:00
> The unix philosophy cries out: is this the end of Linux (or, as many are calling it, GNU plus Linux)?

I still see no counterarguments here. Meanwhile, systemd, like cancer, is eating Linux from the inside, breaking its flexibility and therefore future resilence:

https://wiki.gentoo.org/wiki/Hard_dependencies_on_systemd

https://news.ycombinator.com/item?id=42918448

https://news.ycombinator.com/item?id=42889792

(I reposted my comment from previous submission)
by jchw | 2025-07-09 15:27:25+00:00
> Serverless is a marketing term for CGI, and you can observe that serverless is very popular.

No, it's not.

CGI is Common Gateway Interface, a specific technology and protocol implemented by web servers and applications/scripts. The fact that you do a fork+exec for each request is part of the implementation.

"Serverless" is a marketing term for a fully managed offering where you give a PaaS some executable code and it executes it per-request for you in isolation. What it does per request is not defined since there is no standard and everything is fully managed. Usually, rather than processes, serverless platforms usually operate on the level of containers or micro VMs, and can "pre-warm" them to try to eliminate latency, but obviously in case of serverless the user gets a programming model and not a protocol. (It could obviously be CGI under the hood, but when none of the major platforms actually do that, how fair is it to call serverless a "marketing term for CGI"?)

CGI and serverless are only similar in exactly one way: your application is written "as-if" the process is spawned each time there is a request. Beyond that, they are entirely unrelated.

> A couple of years ago my (now) wife and I wrote a single-event Evite clone for our wedding invitations, using Django and SQLite. We used FastCGI to hook it up to the nginx on the server. When we pushed changes, we had to not just run the migrations (if any) but also remember to restart the FastCGI server, or we would waste time debugging why the problem we'd just fixed wasn't fixed. I forget what was supposed to start the FastCGI process, but it's not running now. I wish we'd used CGI, because it's not working right now, so I can't go back and check the wedding invitations until I can relogin to the server. I know that password is around here somewhere...

> A VPS would barely have simplified any of these problems, and would have added other things to worry about keeping patched. Our wedding invitation RSVP did need its own database, but it didn't need its own IPv4 address or its own installation of Alpine Linux.

> It probably handled less than 1000 total requests over the months that we were using it, so, no, it was not significantly better to not fork+exec for each page load.

> You say "outdated", I say "boring". Boring is good. There's no need to make things more complicated and fragile than they need to be, certainly not in order to save 500 milliseconds of CPU time over months.

To be completely honest with you, I actually agree with your conclusion in this case. CGI would've been better than Django/FastCGI/etc.

Hell, I'd go as far as to say that in that specific case a simple PHP-FPM setup seems like it would've been more than sufficient. Of course, that's FastCGI, but it has the programming model that you get with CGI for the most part.

But that's kind of the thing. I'm saying "why would you want to fork+exec 5000 times per second" and you're saying "why do I care about fork+exec'ing 1000 times in the total lifespan of my application". I don't think we're disagreeing in the way that you think we are disagreeing...
by jleyank | 2025-07-09 15:27:55+00:00
Story of Job? Punishing fake Christians? Y’know, the prosperity Xtians who put money and comfort ahead of service…. The people the big guy preached against.

Given that the warnings were given, perhaps that’s the sign that the big guy was involved. A test of who listens when it’s inconvenient? Who is an active vs passive participant in life?

Most religions have a set of rules and philosophies. Perhaps people claiming to be adherents should follow them?
by pessimizer | 2025-07-09 15:27:56+00:00
> bringing up a whataboutism

This is red-baiting.

> while the supreme court runs roughshod over current law

This is question-begging.

> We need these stout champions of conservatism because the left is so crazy that we need to check them, that's why we need to rewrite the constitution to fit whatever trump is doing this week, right?

This is straw-manning.
by vinceguidry | 2025-07-09 15:28:03+00:00
I used to be fine with it, until I started writing my own software tools, then looking at how to actually do stuff with systemd and I'm like, nope nope nope nope. At some point when I have space for a new project I'm going to migrate from Arch to Obarun, which uses a modern update on the excellent daemontools to provide init. When systemd works it's mostly fine, when it breaks, path of least resistance is often to reinstall the OS. Which is fine if you're just working on it. Painful if it's your personal machine, and those are what's most likely to break systemd.
by lossolo | 2025-07-09 15:28:05+00:00
> Amazon and Apple do no question asked refunds all the time

I'm not sure where you're getting your information about the EU from, but I can return any item I order online within 14 days, and then I have another 14 days to send it back, no questions asked, no need to give any reason. Some companies even offer 30 to 90 days, but the 14 + 14 days is the legal minimum.
by jordanb | 2025-07-09 15:28:11+00:00
If they wanted to change how they implement the rule they could have withdrawn it rather than continue to an adverse judgement in court.

Basically the FTC is required to go through a lengthy (probably multi-year) impact analysis if they determine that the rule will cause more than $100 million in impact to the US economy.

The previous administration determined that this rule would not meet the threshold, allowing quick implementation. The current administration then said "actually we think this would meet the threshold" giving the court an excuse to strike the rule down.

If the trump administration is correct that trapping people in gotya-contracts by making it difficult to cancel really constitutes $100 million of economic activity in the US, I think that says that there's something truly rotten about the basis of our economy.
by randycupertino | 2025-07-09 15:28:18+00:00
The photos of essentially piles of garbage sitting in this poor woman's driveway is outrageous. Insane that Amazon hasn't been helpful or successful at ceasing this activity for over 1 year despite all of her calls and escalations.

Looks like the news coverage actually got Amazon to do something after they ignored the customer's complaints for over a year:

> While we didn't get a direct answer, the tech giant told us: "We'd like to thank ABC 7 On Your Side for bringing this to our attention. We've apologized to the customer and are working directly with her to pick-up any packages while taking steps to permanently resolve this issue."

> And finally, after a year of waiting, some good news for Kay.

> The company removed all the packages on her property this morning, vowing to crack down on these practices.

Infuriating it took a news investigation for Amazon to actually help her.
by bluetidepro | 2025-07-09 15:28:36+00:00
Slightly related: For all the crap the iOS store gets for many (good) reasons, this is one reason I actually LOVE to buy subscriptions through iOS/Apple when that option is available for a platform. They have the most simple cancellation process to manage all your subscriptions in one place. Sometimes it costs a $1 or more to buy through iOS but it's worth it to easily cancel without any hoops.
by littlecranky67 | 2025-07-09 15:29:07+00:00
I tend to agree that you could come up with a solution using server-side catch-all and custom 200/404 routes - and actually I do, as I use nginx with a single line of try_files customization. But this is optional. It shouldn't be required to mess with the server config, if you want a static deployment.

Besides, if you catch-all to a 200.html page, how would you serve 404s? Yes, you can integrate a piece of JS in the 200.html file and have it "display" 404, but the original HTTP response would have been 200 (not 404). A lot of bending web standards and technology, and I can see how framework authors probably decide against that. Especially given how much shit JS frameworks get for "reinventing the wheel" :)
by feynmanquest | 2025-07-09 15:29:18+00:00
LLMs are non-deterministic; small changes in model versions, weights, or context can lead to subtle (or major) shifts in behavior over time. PromptDrifter helps you catch this drift by running prompts in CI and failing the build when responses deviate from what you expect.

It’s like snapshot testing, but for prompts.

It’s early days, and I’d love feedback on what would make this more useful for your workflow, especially if you’re building products powered by LLMs in production.
by bryanlarsen | 2025-07-09 15:29:32+00:00
Hard disagree. Name resolution feels like a solved problem, so why fix it if it isn't broken?

But that's just like the old init & logging systems. They mostly worked, and yes it was annoying to relearn a new way of doing things. But the new way is better.

I've got software that works with resolvconf, NetworkManager and resolved. I definitely prefer resolved.

Yes, the cost of switching likely exceeds the benefits for you, and likely for many greybeards. But for those in complicated situations, and for the next generation of sysadmins who never have to learn the old way, resolved is nice.
by jerf | 2025-07-09 15:29:32+00:00
I do quibble with fast, and I also quibble with "dynamic language". Its variables are untyped, but that about ends the "dynamicness" of the language. It's not what people mean.

Elixir is closer, though BEAM in general still leaves a lot of performance on the table. I'm somewhat surprised that tracing JITs and stuff have not managed to make more progress than they have, but it could be lack of developer time. Unfortunately JITs eat that voraciously.

I'd expect this to be a mutable language, though part of that "day one concurrency story" could be an inability to transmit references between something like Erlang "processes".
Show HN: Mogg
by Looksmaxxer | 2025-07-09 15:30:06+00:00
Level up your Looks. Tools to maximize your appearance, confidence, and social skills

Try it now

Height Coach Estimate height, potential, odds, and maximize them

Dashboard Preview Rizz Coach Practice your game with AI, get real-time feedback, and test your rizz before using it in real life.

Dashboard Preview Your Looksmaxxing Toolkit Powerful AI tools designed to transform you from average to extraordinary
by fumeux_fume | 2025-07-09 15:30:14+00:00
This is a pretty narrow view. A lot of businesses--whose bread and butter (well maybe just the butter) is keeping people locked into subscriptions they don't want--put a large effort in challenging this rule. They would have fought it like hell during the "analysis" which would have stretched into the Trump presidency were it would surely would have been killed. Even if the analysis had been completed, it's likely the courts would have struck it down for overreach (like Dept of Education's student loan forgiveness). It died because a lot business interests are opposed to it.
by rafram | 2025-07-09 15:30:48+00:00
> One of the challenges with robotics is that you know you can’t just build on your laptop. You need to have some sort of robotics partner to help in your building, and most people won’t be able to buy $70,000 robots

Sure, but presumably those $70,000 robots aren't just a cute case for a Raspberry Pi + camera module.
by flkiwi | 2025-07-09 15:31:04+00:00
It's funny: I lived in a state with similar weather (hotter at the hottest, colder during the winter, but on balance similar humidity and climate generally) but fewer imports from NY/NJ/CA/etc., and we were outside all the time enjoying it. In Florida, everyone spends time inside with the AC set to 64 degrees and complains endlessly about the heat. It's odd to see: a bunch of folks move to "Endless Summer!" and then ... stay inside all the time. I'll happily march around outside on a 100-degree day while my NY colleagues absolutely refuse to.
by snickerdoodle12 | 2025-07-09 15:31:52+00:00
Just look at how long this page is:

https://www.home-assistant.io/integrations/matter/

Adding a device now requires a whole song & dance with bluetooth, a mobile phone and god knows what else.

Meanwhile zigbee is:

1. Buy a zigbee stick, there are dozens, they all work great

2. Press the permit join button in home assistant

3. Press a button on the device for 10 seconds or 3 times or whatever

4. You're done and it works!

Oh, and for some reason https://www.home-assistant.io/integrations/matter/#experimen... involves google cloud in the process of me testing a device I created locally on my own network

The final nail in the coffin is:

> It is recommended to run the Matter add-on on Home Assistant OS. This is currently the only supported option. Other installation types are without support and at your own risk.

So I can't even officially use this stuff without uprooting my entire operating system.
by pavpanchekha | 2025-07-09 15:31:59+00:00
The point of this work is to pin down the exact boundaries of undefined behavior. Certainly the code above is accepted by the Rust compiler, but it also breaks rules. What rules? In essence, we know that:

- Anything accepted by the borrow checker is legal

- Unsafe can express illegal / undefined behavior

- There's some set of rules, broader than what the borrow checker can check, that is still legal / defined behavior

The goal of this line of work is to precisely specify that set of rules. The outlines are clear (basically, no writable pointers should alias) but the details (interior pointers, invalidation of iterators, is it creating or using bad pointers that's bad, etc) are really hard. The previous paper in this series, on Stacked Borrows, was simpler but more restrictive, and real-world unsafe code often failed its rules (while still seeming correct). Tree Borrows is broader and allows more while still being provably safe.
by justusthane | 2025-07-09 15:32:31+00:00
I don't see how borrowing the Swedish "point of interest" symbol for the command key is "misunderstanding" something - as I understand the story, they just liked the symbol and decided to use it.

Also, I'm certainly not a US apologist, but I also don't see how the US using the short scale is a case of misunderstanding - it sounds like they just decided that it makes more sense that way (and I would agree, although maybe that's just because I'm used to it).
by refulgentis | 2025-07-09 15:32:34+00:00
I love huggingface and they've done a lot for the industry

...But...

I'm so confused by the economics, and not in a general way.

I'm a mobile developer by trade, and AFAICT from dipping my toe in the water of servers, file downloads are on the order of $0.01/GB, and cheapest you'll get publicly is maybe $0.04/GB. But they never ever charge and regularly have people downloading tens of gigabytes.

That's the cost side as far as I understand it.

On the revenue side...afaict all they have is inference? And they don't seem to be popular for an inference solution? I don't hear much about it and they don't seem to care too much.

How do their economics even begin to pencil out? It bothers me, I've lived through enough companies to know this doesn't matter in the short term. But this is novel, to me, in that there's no plan, no market being addressed. With other money losers, you knew what they were trying to do and they were doing it.
by zelphirkalt | 2025-07-09 15:32:34+00:00
What is the value in first sending dysfunctional HTML and then fixing it with later executed JS? If you do that, you might as well do 100% JS. Probably would simplify things in the framework.

Sending functional HTML, and then only doing dynamic things dynamically, that's where the value is for web _apps_. So if what you point out is the value proposition for Astro, then I am not getting it, and don't see its value.
by jmclnx | 2025-07-09 15:32:45+00:00
systemd has been a success for 2 groups, Windows admins and Fortune 500 Companies.

For UN*X people, all it does is move Linux closer to emulating Microsoft Windows. It has left the UN*X philosophy behind. With secure boot and once Wayland becomes a real thing, the last step is in place. All that will be needed to become a M/S Windows Clone is geo-location and full DRM. That means you will only be able to take screen prints of "approved" applications. I heard SUSE may enable a kind of geo-location, not sure if I read that article correctly though.

For now, at least there are the *BSDs, they allow me to make a PC work the way I want it to, not a way Fortune 500 Companies dictate it should work.
by delecti | 2025-07-09 15:32:53+00:00
No, that's definitely not what happened. For quite a while Grok actually seemed to have a surprisingly left-leaning slant. Then recently Elon started pushing the South African "white genocide" conspiracy theory, and Grok was sloppily updated and started pushing that same conspiracy theory even in unrelated threads. Last week Elon announced another update to Grok, which coincided with this dramatic right-wing swing in Grok's responses. This change cannot be blamed on public interactions like Microsoft's Tay, it's very clearly the result of a deliberate update, whether or not these results were intentional.