MurphyA/hacker-news huggingface dataset:
by goku12 | 2025-09-11 18:59:18+00:00
> No violations then what's going on here?

Here is the latest information I have from the AP article linked below:

> U.S. authorities have said that those detained during the raid were “unlawfully working” at the plant. But Charles Kuck, a lawyer representing several of the detained South Koreans, said the “vast majority” of the workers from South Korea were doing work that is authorized under the B-1 business visitor visa program.

Needless to say, the former party's credibility is a bit suspect now. I hope you remember the people who were trafficked to the El Salvadorian prison CECOT in the name of Tren de Aragua. Evidence in that case is still a joke. So in this case, we have to assume that at least the 'vast majority' of detained Koreans were there legally. ICE doesn't even distinguish between an immigrant and a citizen. What hopes do legal immigrants have?

> Are they sticking to the training missions or actually just doing the work and brushing aside the trainees to maintain leverage?

What were those 'trainees' going to do in an unfinished plant? Don't they need some equipment from Korea to be commissioned before they can do something?

From the article again:

> "It’s not like these are long-term workers. When you build a factory or install equipment at a factory, you need technicians, but the United States doesn’t have that workforce and yet they won’t issue visas to let our people stay and do the work. If that’s not possible, then establishing a local factory in the United States will either come with severe disadvantages or become very difficult for our companies. They will wonder whether they should even do it"

> That cannot be tolerated IMO.

Did you have any issues tolerating the 350 B$ Korean investment that came along with it? From the article:

> During his meeting with Rubio, Cho also proposed the creation of a joint South Korea-U.S. working group to introduce a new visa category for workers from the Asian nation, according to Cho’s ministry.

This is all backwards! When a foreign nation makes such a massive investment in your country, it's usually the host nation that takes the initiative to resolve all such issues. That too, well before the work starts. Here the US authorities are behaving as if the Koreans should be grateful to them for giving them the opportunity and privilege to invest in their territory! South Korea isn't some backward squalor nation for its citizens to want to illegally sneak into the US. It's as if 'Have you ever thanked us?' is the US government motto! Or is it that the 'main character syndrome' is the national epidemic of the US? This is not how other nations deal with each other!

[1] https://apnews.com/article/georgia-immigration-raid-hyundai-...
by trhway | 2025-09-11 18:59:23+00:00
> censorship of Russians

why not censor Russians? They had as of now already censored forever about a million of Ukranians and have shown all the intentions to do it more and more.

And Russia doesn't allow foreign propaganda inside Russia (it is a felony there), so it is absolutely normal to block Russian propaganda inside the foreign countries (and notice that nobody spreading Russian propaganda are put in jail for that in foreign countries though that would be only fair) .
by delecti | 2025-09-11 18:59:25+00:00
Do you actually mean "flip"? Because when open, with the screen opened upwards, they have roughly the same dimensions as any modern slab phone. Then it'd come down to whether your hand is big enough to type one-handed on that formfactor (a few women, some men).

If you mean "fold", then probably only while closed, subject to the same hand-size limits. While open, with the screen opened to the left, like a book, they're quite a bit wider than even the largest human hand could reasonably type on.
Show HN: Runner – the anti-vibe coding agent
by zmccormick7 | 2025-09-11 18:59:40+00:00
Now that AI is capable of writing large volumes of production-quality code, our role as developers is changing. Our primary job is no longer writing code. It’s planning and communicating software design and architecture. We have to do this collaboratively with agents and then review and iterate on their implementations.

IDEs were not built for this workflow. So about three months ago I decided to try to build what I thought this new interface should look like.

Runner is a coding agent purpose-built for this new “plan and review” workflow. It’s not for vibe coding. It’s for professional software developers who are responsible for the code they ship.

It encourages and supports a more structured and controlled workflow than other coding agents. It’s built around the concept of tasks. A task is a small, clearly scoped change. The planning agent creates and edits task specs, and then you can assign them to coding agents once you’re happy with the plan. When the coding agent finishes, you can review the changes via the built-in diff viewer. If you’re happy with them you can approve the changes, which will trigger a git commit.

Runner is available as a free BYOK beta for MacOS right now. You can learn more and download it here: https://runnercode.com/. You will need at least a Gemini API key, and for best performance also an OpenAI API key.
by paulryanrogers | 2025-09-11 19:00:20+00:00
Disagree, violence should be a last resort, even within the justice system.

That said, I do agree that people who incite violence in subtle ways--say yelling "fight, fight, fight" to an armed mob then sitting by for hours as they storm the capital--should share in the blame and suffer consequences for their incitement and the neglect of their oaths to protect.
by nine_k | 2025-09-11 19:00:34+00:00
> Now multiply that by thousands of concurrent connections each doing multiple I/O operations. Servers spent ~95% of their time waiting for I/O operations.

Well, no. The particular thread of execution might have been spending 95% of time waiting for I/O, but a server (the machine serving the thousands of connections) would easily run at 70%-80% of CPU utilization (because above that, tail latency starts to suffer badly). If your server had 5% CPU utilization under full load, you were not running enough parallel processes, or did not install enough RAM to do so.

Well, it's a technicality, but the post is devoted to technicalities, and such small blunders erode the trust to the rest of the post. (I'm saying this as a fan of Bun.)
by cloudfudge | 2025-09-11 19:00:45+00:00
Oracle Cloud's strategy early on was to go after huge customers who they thought would like to use the cloud, but otherwise couldn't use AWS for technical reasons. They were the first to do bare metal hosts (no hypervisor) and Layer 2 networking, for example (layer 2 networking not necessarily being anything amazing, but they recognized that lots of potential corporate customers had built their own infrastructure that relied on it, so it was a big barrier to cloud adoption). They also will bend over backwards to gain the customers with deep pockets like big banks, auto manufacturers, etc. This is how they ended up with TikTok. And part of this is that they are very aggressive about building regions, because some of the big customers have hard requirements about where physically their data resides (think small governments that need/want their data on their own soil). I don't know where they stand now from a technical competition perspective (those examples I gave are no longer exotic in 2025), but I suspect they have continued this "court the huge customers" strategy.
by firesteelrain | 2025-09-11 19:00:52+00:00
To your point, we use Venafi and it has clients that act as orchestrators to deploy the new cert and restart the web service. Webservice itself doesn’t need to be ACME aware.

Venafi supports ACME protocol so it can be the ACME server like Let’s Encrypt

I am speaking purely on prem non internet connect scenario
by stefan_ | 2025-09-11 19:01:00+00:00
So the "Verified" part of "SWE Bench Verified" means.. not "Verified" at all.

I don't get it, who is so opposed to doing the bare minimum of manual work and check what these models are doing? At least back in the day grad students doing an easy meta-paper understood it meant doing some repetitive manual work. Now we got benchmarks by hype vendors who think they can use the thing they are benchmarking to .. mark the bench.
by fine_tune | 2025-09-11 19:02:06+00:00
I was going to argue "LLM's need code samples to-do well on languages and if we are honest C# is a language mostly held in private repo's" but Github's 2024 report[0] says its the 5th most used language (I'm to lazy to check if this report includes private repo's but I'll assume it doesn't).

So kinda neat to see this paper!

[0]https://github.blog/news-insights/octoverse/octoverse-2024/#...
by krapp | 2025-09-11 19:03:33+00:00
I don't know if you've been living under a rock over the last few months but HN and big tech have shifted to the right/anti-woke/pro Trump side of the spectrum.

Don't confuse the "move fast and break things" rebellion of startup culture or the pandering of corporations to progressive ideals (until the winds change) with actual sincere anti-establishment rebellion. HN and big tech absolutely support the staus quo when it aligns with their financial interests.
by ponector | 2025-09-11 19:04:35+00:00
Why then 15%? Why not $10 per hour of service for all tables assigned to the waiter?

Why chef who is actually prepping your dish got fixed rate but pretty girl should get percentage of the total bill?

If I order a $100 bottle of wine, should I add $10 for the delivery from wine room? And extra 5$ for the opening? And $5 for refill?
Show HN: Unheard.fm – No-repeat, user-controlled music discovery for Spotify
by perrym137 | 2025-09-11 19:04:49+00:00
Hey HN,

My name is Max. After a sabbatical from the corporate world, I turned a passion project into a full web app: Unheard.FM.

What is it?

Unheard.FM is a music discovery web app for Spotify that selects tracks based on your direct preferences instead of listening habits, and provides fresh results by excluding your "known" tracks. (No paid sponsors here.)

Why did I build this? A few reasons...

1. I was getting tired of getting too similar or repeat recommendations from Spotify and thus wasn't getting out of my music "comfort zone" enough.

2. I was looking for ways to source more tracks of specific types of music and didn't just want "popular" music.

3. I listen to a lot of music and didn't want to wait for new curated playlists to drop.

How is it different from other music discovery apps?

* Your discovery model is completely transparent and controllable by you

* Not based on Spotify's recommendation API or sponsorships. The engine simply:

- Selects random sets of tracks by provided seeds (years, genres, desired popularity distribution) - Filters by provided excludes (artists, genres, track attributes, etc)

* Results are always fresh since your liked, playlist, top, and recently played tracks are filtered automatically

* Local-first: Known tracks are cached on your device; no listening history is stored server-side.

Backstory

This started as a Python CLI. I was in a competition with my (now) wife to create an ultimate playlist for a random year (I had 1962). I had issues using the Spotify client to get enough year-based content, so I wrote a CLI to fetch a random set of tracks for a year (Spotify API). Random year-based discovery turned out to be surprisingly fun (and often hilarious), so I kept adding features...Then I wanted to use it from anywhere, so I built a quick static react web app (literally a single page form) and hosted it via a S3 bucket... many years later it grew into Unheard.FM.

The Stack

React frontend + serverless backend (AWS + FastAPI). Most discovery logic runs client-side; the backend mainly mediates Spotify auth and serves lightweight discovery APIs.

What's Next?

This project still has a long way to go!... but a few things on my roadmap include:

* Regional Filtering (by far the biggest user ask thus far, but also the most difficult to execute on)

* More UX improvements (additional filters, better nav, optimized desktop view)

* Multiple "discovery models" / sharing

* Support of other music platforms (Apple Music, YouTube)

* Exploring a potential paid tier to help fund development and cover costs, which might include: Multi config, advanced filters, bigger playlists / feeds.

Hope y'all have some fun with it. Any and all feedback is much appreciated!
by adityaathalye | 2025-09-11 19:05:00+00:00
I agree, given that (JVM) Clojure is literally just a Java Library.

From a programmer's point of view I don't want to have to write all the machinery that makes for a "full" solution (that is also correct and performant enough)...

In fact I can't! Which is why I hope more programming languages make that machinery available, because the "X/Y" problem (Type / Method) manifests itself (pretty easily) in every single web app out there (and likely most software ever written).
by yesfitz | 2025-09-11 19:05:27+00:00
This is a bad take on the farming of an invasive species.

Bees don't make more honey than they can use. They make what they can and have reserves for Winter and growing in the Spring. Do you pay your landlord everything you'd otherwise save?

I've never seen a bee colony "worry" about finding food. They'll travel within a one mile radius for foraging, and four to five miles for water. Colonies will also leave a hive, or swarm (split into 2 colonies) if there is not enough resources for them.

It's not a deal. They don't understand what's happening. If you're going to take their honey, at least don't make up some weird fantasy where they're happy about it.
Launch HN: Ghostship (YC S25) – AI agents that find bugs in your web app
by jessechoe10 | 2025-09-11 19:06:32+00:00
Hi HN, we're Jesse and Gautham. We're building Ghostship (https://tryghostship.dev/).

Ghostship lets you find bugs in your web app by entering in your URL and describing a user journey.

Here's a video of Ghostship in action: https://www.loom.com/share/dec264ae32f94d50adb141c9246837c3?....

For over half our lives, we've been developers and we've done tons of user-facing projects like a coding competition I built called CerealCodes or freelancing projects on Upwork. The biggest problem we faced was that we shipped bugs in edge cases we didn't test, and the process of testing was annoying to do everytime we shipped a new feature. We tried automated testing tools, but those were flaky and couldn't adapt to feature changes. They also were really annoying to set up.

Our solution is to use browser agents to help you find bugs in your web app by clicking through your product like users would. You'd enter in your URL, describe what a user would do, and Ghostship would go through and try finding bugs by going through the user journey and extrapolating edge cases by visually seeing where else to click as it goes through each step in the user journey. We then show session replays of our agents going through your web app and list out all the steps it took.

We're able to find edge cases with almost no prompting. All you need to do is enter in one URL and one user journey (if you have login credentials on your web app, enter in some test credentials).

One bug we were able to find with Ghostship was on the YC application page. Apparently you could add your education dates in reverse chronological order (April 2022 to January 2021, which makes no sense).

Another bug we were able to find was a crypto smart contract CRM dashboard we vibe coded where we found a bug involving data corruption when you tried editing a draft contract multiple times.

You can sign up here: https://playground.tryghostship.dev/ for a limited number of credits. We'd love to hear from the HN community, whether you're building a web app for fun or a developer shipping a cool user-facing product to customers. We'd love to see what bugs we can find in your web app with Ghostship!

p.s. If you want Ghostship directly in your CI/CD pipeline and run after every PR, book a demo with us.
by const_cast | 2025-09-11 19:06:58+00:00
Linux doesn't have to grapple with any of that. Consumer distros do, because they're general purpose operating systems designed to be run on anything for any use case.

But your POS system where you enter in orders? That's Linux. And guess what - it just works, it chugs along and does its thing.

There's no reason that doctors offices couldn't use software that utilizes Linux. And to pretend that windows is low maintenance? Tsk tsk, windows is a time bomb.
by vsgherzi | 2025-09-11 19:07:49+00:00
Unsafe rust still enforces many of rust's rules. The only powers you get with unsafe rust are de-refrencing raw pointers, calling unsafe traits / functions, and the ability to access or modify mutable statics. You can read more about this here. https://doc.rust-lang.org/nomicon/what-unsafe-does.html

Unsafe rust is definitely safer than normal C. All the unsafe keyword really means is that the compiler cannot verify the behavior of the code it's up to the programmer. This is for cases where 1. the programmer knows more than the compiler 2. we're interacting with hardware or FFI.

When rust developers say unsafe effects the whole codebase what they mean is that UB in unsafe code could break guarantees about the whole program (even the safe parts). Just because something is unsafe dosen't inherently mean it's going to break everything it just needs more care when writing and reviewing just as C and C++ does.
by HarHarVeryFunny | 2025-09-11 19:08:13+00:00
> Humanoid robots are at least as hard as useful self-driving cars

A self-driving car only has to do one thing - drive. It's also got a stable wheeled base and only a couple of degrees of freedom - got to steer and regulate it's speed.

Even if the only thing you wanted the humanoid robot to do is drive your car, it'd be massively harder for it since it's got all those degrees of freedom, will be bouncing around in the drivers seat, and presumably doesn't even know how to drive.

If the humanoid is more than a gimick - meant to be general purpose, then it needs an AGI brain and ability to learn for itself. It's not going to be learning in a simulator like your FSD car - it's be learning on the road like your teenage kid.
by brendoelfrendo | 2025-09-11 19:08:15+00:00
Someone explain to me how Oracle reporting residual performance obligations as though they were fact is different from Enron's mark-to-market accounting, because I don't really see why investors would do anything but run screaming from this. Oracle has been promised money by customers who don't currently have that money to deliver compute resources that Oracle doesn't currently have, and that adds $244 billion to their market cap in one day? That's the nearly the entire market cap of Cisco appearing out of thin air.
by gopalv | 2025-09-11 19:08:32+00:00
> You only read one sentence at a time anyway.

Not how I read when I read on paper & this bothers me on a phone a lot.

I'm not functionally dyslexic, but all the words pop out at the same time, you could say I read verbs, then tense, nouns after and then I read adjectives in a sentence.

But English is also my second language, so my first language's grammar probably fits closer.

Oddly enough when I first encountered lisp, the nested pile of map, fold and filter was easier because of the well trained habit of restructuring after reading verbs.
by mcdow | 2025-09-11 19:08:37+00:00
Switched to Helix about a year ago and haven't looked back since. Has almost everything I need in it(with a few exceptions). With Vim I would've had to have installed some janky plugins.

I really recommend it if you find Vim motions unintuitive and want some of the basic features of IDEs like VSCode.

My biggest gripes: - No plugin system (yet). - Configuration documentation is not the best. - Hasn't reached enough popularity to where other apps have "Helix mode" like how a bunch of apps have "vim mode". I find myself wanting to do Helix motions in other apps.
by Graphon1 | 2025-09-11 19:09:04+00:00
> is that it assumes you already know what you want at the start, and, implicitly, that what you want actually makes some real sense.

My experience is different. I find that AI-powered coding agents drop the barriers to experimentation drastically, so that ... yes if I don't know what I Want, I can go try things very easily, and learn. Exploration just got soooo much cheaper. Now that may be a different interaction that what is described in this blog post. The exploration may be a precursor to what is happening in this blog post. But once I'm done exploring I can define the problem and ask for solutions.

If it's DOA you'd better tell everyone who is currently doing this, that they're not really doing this.
by carbonguy | 2025-09-11 19:09:14+00:00
As somebody who is suffering from this precise issue at another org right now, and would very much like to solve it, one glaring omission from this article is whether this worked or not!

That is, did the "inverse Conway" actually result in getting the unified observability platform shipped, and that platform actually solving the problem they initially were trying to solve? It certainly seems plausible that it COULD, but quite surprising that that's not actually stated in the article if so...
by liuliu | 2025-09-11 19:09:14+00:00
The reason why people go distances to package PyTorch is because the skill of translating models between different frameworks manually is "easy" but not well dispensed in developer community.

That's why people will go stupid lengths to convert model from PyTorch / TensorFlow with onnxtools / coremltools to avoid touch the model / weights themselves.

The only one that escaped this is llama.cpp, which weirdly, despite the difficulty of model conversion with ggml, people seem to do it anyway.
by devjab | 2025-09-11 19:09:40+00:00
I think blaming the EU for cookie banners is wrong. Those banners are malicious disobedience, and, for the most part a legal violation. What websites should do is that they should assume you reject any tracking as their default, and then they can offer a site setting that you have to seek out, where you can agree to be tracked. What they are sort of allowed to do, is that they can prompt you with a banner, but it has to be a single no-click without requiring you to read much, but that is still not compliance. Anything more annoying is a legal violation.

The real issue is that there aren't a whole lot of consequences when it comes to tracking data. It's a legal violation, sure, but it's not a criminal violation. So it would be up to you to pursue it. In many countries you can't even file a civil lawsuit, but rather, you have to go through your national data protection agency. Which in reality likely means your complaint will be auto-rejected after five years because they need to clean up the queue.

As far as the malicious disobedience goes... well... it's probably because "all the other website do it", but you might as well just give people the option to go to a setting to turn it off. It's not like that would be any less of a legal violation than the banner.
by Graphon1 | 2025-09-11 19:11:06+00:00
I don't know why we need a term like "Async AI programming." this is literally what you would do if you were a Tech Lead directing a team of other developers. You define what you want and hand it to one of your devs.

This is just being a TL. the agent is an assistant or a member of the team. I don't know why we need to call it "Async AI programming", unless we want to shy away from or obscure the idea that the agent is actually performing the job a human used to perform.
by thebruce87m | 2025-09-11 19:11:11+00:00
Antennagate : https://www.theverge.com/2012/2/17/2807511/apple-settles-ant...

Butterfly: https://www.keyboardsettlement.com/

Batterygate: multiple countries. Here’s Canada: https://www.reuters.com/technology/apple-pay-c144-mln-settle... US: https://www.washingtonpost.com/technology/2020/11/18/apple-f...

Nothing for bendgate

Yes, a lot of the time they settle, so no admission of guilt but it still costs them money.