MurphyA/hacker-news huggingface dataset:
by redbell | 2025-09-20 11:40:59+00:00
As always, you will certainly going to have some fun with Neal :)

Some of the funniest works of Neal that crossed 1,000 points here on HN:

1. Stimulation Clicker (3082 Pts, 8 months ago): https://news.ycombinator.com/item?id=42611536

2. Design the next iPhone (1463 Pts, 2022): https://news.ycombinator.com/item?id=32567147

3. Space Elevator (1456 Pts, 2023): https://news.ycombinator.com/item?id=35629972

4. The Password Game (1413 Pts, 2023): https://news.ycombinator.com/item?id=36493715

5. Absurd Trolley Problems (1296 Pts, 2022): https://news.ycombinator.com/item?id=31996235

6. Infinite Craft (1177 Pts, 2024): https://news.ycombinator.com/item?id=39205020
by uncircle | 2025-09-20 11:42:14+00:00
> This video is no longer available.

This is why I recommend everybody to stay AWAY from Youtube Music. I migrated my curated playlists from Spotify a few years ago, and to my surprise now I have dozens of songs that are no longer available and Youtube doesn’t offer a way to at least let me know which song it was. Indeed, I was a paying user and Youtube caused intentional and irretrievable data loss.

After a decade of paying for Youtube Premium I have unsubscribed and have vowed never to give them any more money whatsoever.
by kragen | 2025-09-20 11:42:19+00:00
Yes, this absolutely does not shield YouTube from liability from third parties, since the copyright holder of third-party content included in the video is not a party to the agreement. That's why they have a copyright notice and takedown procedure in the first place, and also the reason for numerous lawsuits against YouTube in the past, some of which they have lost.

To date, many Creative Commons licenses do in fact amount to "permission from that party", but if they start using DRM, those licenses would cease to grant YouTube permission.
by greysonp | 2025-09-20 11:42:27+00:00
Key can mean different things in different contexts. In a substitution cipher, the key is the mapping. In modern ciphers, the key would be some set of secret bytes. Everyone agrees that this cipher would be a bad way to encrypt/encode something. But using the word cipher like this has real historical meaning, and that is the meaning that is being used in the project.
by bnjmn | 2025-09-20 11:43:24+00:00
Among other general advice, my CLAUDE.md insists Claude prove to me each unit of change works as expected, and I'm usually just hoping for it to write tests and convince me they're actually running and passing. A proof assistant seems overkill here, and yet Claude often struggles to assemble these informal proofs. I can see the benefit of a more formal proof language, along with adding a source of programmatic feedback, compared to open-ended verbal proof.

"Overkill" of course is an editorial word, and if you know about https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon... then you know many statically typed programming languages are essentially proof assistants, where the proof goal is producing well-typed programs. LLMs are already quite good at interacting with these programming language proof assistants, as you can see any time a competent LLM interacts with the Rust borrow checker, for example.
by baq | 2025-09-20 11:43:59+00:00
I’ve been working with gpt-5-high recently and while it’s slow as molassess it’s also pretty darn impressive in what kinds of problems it can solve. I’ve given it coding tasks which Claude fumbled and it dealt with them given the same set of tools. It was honestly impressive; it feels like it’s on the verge of unlocking a new capability by being reliable enough.

I wouldn’t be surprised if the author was taken off guard by gpt-5 if he was already impressed by Claude code.
by npteljes | 2025-09-20 11:44:09+00:00
The definition you cite is also arbitrary, and language changes over time, and over regions.

For what it's worth, I consider tomato a vegetable too, and so, I failed the level initially. Which, to be honest, mirrors my experience with real captchas - I usually have a disagreement with them, regarding what counts as part of the traffic light etc.
by pessimizer | 2025-09-20 11:44:33+00:00
Fairly silly conversation. The nudity was only in the American version of the movie; in the Hong Kong version, the women were fully dressed.

https://en.wikipedia.org/wiki/The_Protector_(1985_film)#Hong...

Also, I'm pretty sure that Europeans would be upset if there were a bunch of naked women sitting at a table packaging enormous amounts of cocaine at a school board meeting, especially if the tv decided to show this by itself.

Although I might be wrong, seeing as Denmark had legal distribution of child pornography for a decade, with people arguing in Parliament that the sacrifice of those few children possibly saved many others from being molested.

https://en.wikipedia.org/wiki/Color_Climax_Corporation#Child...

A good* documentary on that is "Candy Film - Da børneporno var lovlig" (2016)

-----

[*] for certain values of good that include tears and nausea.
by krapp | 2025-09-20 11:45:17+00:00
"the left" didn't create "cancellation culture."

McCarthyism, HUAC, prejudice against youth culture and anything deviating from Christian norms, the Satanic Panic, homophobia and the AIDS crisis, redlining, book banning and moral panics over "groomers," Dixie Chicks, Sinead O'Connor, Kaepernick, boycotting Nike, boycotting Starbucks, boycotting Target, boycotting NASCAR, boycotting Gillette, boycotting Keurig, boycotting Bud Light, boycotting Disney. The right was cancelling long before the term "cancel culture" even existed.
by harimau777 | 2025-09-20 11:45:34+00:00
That doesn't seem to play out in practice for average Americans.

The companies profits primarily go to the capitalists not to average people.

That seems to apply to, for lack of a better term, consumerist goods and services like TVs and clothing. Which isn't nothing. However, it doesn't seem to apply to things like housing.

America's social safety net is already very weak and only getting weaker.

Same as the first point. The benefits of business success primarily goes to capitalists not workers.
by gsf_emergency_2 | 2025-09-20 11:46:38+00:00
As you mention, one can also make it not work even with resources, as in some places outside Europe. (Ottomans were Turks & would get upside that you put them on the same footing as Arabs, Turkiye has a diversified econ today, was never properly invaded etc)

It's not really about services, is my understanding..

Music, Merchandise and the third M I can't recall.(Not movies, they are too uh context-dependent-- not precisely centralized because Hollywood processes are far from that)

Since financial or even governancial services can be thought of as extractive, what a country needs are cross-class meaning-agnostic exports that foreclose getting cynical about "creating value"

Ah.. got it! Meals

Sorry programmers!

Sweden is considered a socdem >> benelux+rest of nordics thanks to ABBA & IKEA meatballs, even though the reality is flipped.. UK is going down the toilet because her last "comparative advantage" of music production has been .. braindrained

Denmark of TFA has created a new category M Medical research
by conartist6 | 2025-09-20 11:46:46+00:00
I already switched to Firefox after manifest v3 but now I might have to uninstall Chrome... Call me Neo, but I don't want agents in my computer. Chromium should do nicely as a backup browser though. Not that it matters much anyway as I'm about ready to leave Windows for similar reasons: complete mismatch of core values leading development in a direction that to me makes the product worse and worse and worse
Show HN: Merge JPG – Privacy-first and fast image merging tool
by yxchen1994 | 2025-09-20 11:47:19+00:00
Hi HN,

I built https://mergejpg.me – a client-side image merging tool that combines multiple JPG images directly in your browser without any server uploads.

The Problem: Most image editing tools require uploading your photos to remote servers, which raises privacy concerns for sensitive documents, business presentations, or personal images.

The Solution: Complete client-side processing using modern browser APIs. Your images never leave your device.

Technical Details: - Built with Next.js 15 and TypeScript - Uses HTML5 Canvas API for image manipulation - Progressive loading for handling 50+ images without performance issues - Supports multiple output formats (JPG, PNG, PDF) - Cross-platform compatibility with intelligent memory management

Key Features: - Zero server uploads – everything happens locally - No registration required - Unlimited image processing - Professional-quality output with original resolution preservation - Customizable layouts (horizontal/vertical with spacing controls)

Use Cases I've Seen: - Tax consultants merging document scans into PDFs - Real estate photographers creating property showcases - Students compiling research screenshots - Social media managers creating before/after comparisons

Why I Built This: After seeing too many "free" tools that harvest user data or require accounts for basic functionality, I wanted to prove that privacy-respecting software doesn't have to compromise on features or performance.

The entire processing pipeline runs in your browser – no backend image processing, no cloud storage, no analytics tracking. Just pure client-side functionality.

Try it out and let me know what you think! Happy to answer any technical questions about the implementation.
by crazygringo | 2025-09-20 11:47:30+00:00
> Developers like _writing_ and that gives the most job satisfaction.

Not me. I enjoy figuring out the requirements, the high-level design, and the clever approach that will yield high performance, or reuse of existing libraries, or whatever it is that will make it an elegant solution.

Once I've figured all that out, the actual process of writing code is a total slog. Tracking variables, remembering syntax, trying to think through every edge case, avoiding off-by-one errors. I've gone from being an architect (fun) to slapping bricks together with mortar (boring).

I'm infinitely happier if all that can be done for me, everything is broken out into testable units, the code looks plausibly correct, and the unit tests for each function cover all cases and are demonstrably correct.
by tialaramex | 2025-09-20 11:47:42+00:00
Kimmel and Colbert both illustrate a big problem. The Trump regime didn't have to arrest Colbert or throw Kimmel in prison, or turn up with troops and dismantle their studios - some faceless executive who is about as funny as cancer made a decision to bow to Trump because it was at least temporarily in their interest and the consequences flow from there.

Satire needs independent grass roots funding. If the satirist you love costs $10M per year, well, people who love satire better be putting $10M per year on the table to pay for that, because if it's just (for example) a Disney product then to Disney $10M of satire which annoys the God Emperor is a bad deal, lets buy $10M of police procedural or whatever instead.

To be clear: It is very possible that an independently funded satirist just means in six months or six years God Emperor Trump decides he's entitled to shut that down and they do get arrested or whatever, this is not a magic solution, but I think a critical weakness in the US is that so much of this is actually funded by giant corporations and thus psychopaths. It's choosing to fight with one arm tied behind your back.
by merman | 2025-09-20 11:48:01+00:00
The problem with extreme polarization in a 2 party system is that each party doesn’t police itself, doesn’t rein itself in, and when the other finally gets back in power, it pushes through awful retaliatory measures. The 2 parties are happy with this state of affairs because they’re pretty much guaranteed 50% of the time to be the one in power, in control. Vote 3rd party to break this cycle
by rimusz | 2025-09-20 11:48:25+00:00
Hey there, As a solo dev tired of my own scattered YouTube tabs during workouts (you know the drill: bookmark a HIIT video from Athlean-X, a yoga flow from Yoga with Adriene, then forget where it all lives), I created ProgramPulse with rork.com – a simple iOS app that lets you clip YouTube URLs on the fly, organize them into daily/weekly/monthly fitness plans, track your progress, and even share routines with training buddies. No more endless scrolling or premium subscriptions to bloated apps. Just copy a video URL from YouTube or Safari (via clipboard or share sheet), drag-and-drop to build your program, and tap to play directly in the YouTube app (with AirPlay support for your TV). It's lightweight, intuitive, and focused on what matters: getting you moving without the friction. Key bits under the hood:

Seamless import: Grabs URLs effortlessly – no manual entry nonsense. Flexible structuring: Mix cardio, strength, mobility into custom plans that adapt to your life. Progress tracking: Log completions, notes, and streaks to stay motivated. Sharing: Export programs as links for accountability partners.

Created with rork.com for that clean iOS feel, and it's a one-time purchase at ~$10 – no ads, no IAP grind. Live on the App Store: https://apps.apple.com/ae/app/programpulse-fitness/id6748835... Feedback welcome – does this solve a pain point for you? What's your go-to YouTube fitness hack? Would love to hear if folks want Android or integrations (e.g., Apple AI, Health etc). Cheers
by rramadass | 2025-09-20 11:48:30+00:00
It works both ways i.e. "consent" is being "manufactured" to rabble-rouse people against H-1Bs.

Jacques Ellul wrote about it in far more depth and detail in the 50s - https://news.ycombinator.com/item?id=45159470

“The individual who burns with desire for action but does not know what to do is a common type in our society. He wants to act for the sake of justice, peace, progress, but does not know how. If propaganda can show him this ‘how’ then it has won the game; action will surely follow.”
by baq | 2025-09-20 11:48:43+00:00
This change is happening as we speak. My work repo is now sprouting with markdowns primarily intended for agentic consumption, but it’s all dense jargon communicating requirements and important design decisions in a way which is useful to me as a software engineer. The toil of writing these specs from low level code is much lower today, because LLMs also help with that immensely.
Show HN: AvoSmash – AI video storytelling made easy
by zhuofengli | 2025-09-20 11:50:25+00:00
Hello HN - I found it hard to learn and use all these different AI tools in order to make a decent AI video, so I created AvoSmash to put these image/video/audio AIs into one studio and automate as much as possible, so that people like me can create video like a pro. Take a try with the free credits and let me know what you think!
by egorfine | 2025-09-20 11:50:33+00:00
That's a reasonable take but then keep in mind we're talking about iTerm. How is the browser different from, say, `curl https://example.com | lynx`? Or `~/.bin/playwright/chrome`?

So while corporate restrictions sometime (but only sometime!) make sense, the configuration where a terminal is allowed while a browser is not - don't.
by badlibrarian | 2025-09-20 11:51:15+00:00
The original uploaded file is always available for download, without any processing. Agree that the processing they apply for derivative files is often dated and awful (and they don't let an uploader opt out). And the broken torrent files they've been serving for a decade with corrupt and missing files is absurd.

But raw DVD RIPs of commercial DVDs, FLACs of the most popular albums of all time, and seven perfect copies of every Nintendo Switch game ever made, curated by seven different warez groups are also available.
by shykes | 2025-09-20 11:51:58+00:00
> Remove exception to AIPAC political status

> Reevaluate AIPAC non profit status entirely

What would that achieve? AIPAC is a domestic organization. Their members are US citizens and permanent residents, making individual political donations of their own free will.

AIPAC vets candidates for their support of Israel, and individual donors rely on them to make an informed decision. But ultimately it is their decision, and their money.

If AIPAC disappeared tomorrow, their members would still be directing their political donations towards pro-Israel candidates, as is their constitutional right. They would simply look for another nonprofit to do the vetting, or do the research themselves.

On top of being ineffective, attacking AIPAC in this way would also be unethical. You may not like that some US citizens prioritize support for Israel in their donations. That doesn't give you the right to suppress their donations. It creates a dangerous precedent where suppressing the political rights of some citizens is justified if they have the "wrong" opinions.
by alias_neo | 2025-09-20 11:53:07+00:00
> What do you mean by Cooler? Raspberry pi doesn't need a fan

It's recommended for Pi 5, and if you're running a Pi 4, you should at least use a little heat sink, the 4 and 5 run pretty warm, and under any load they can throttle quite easily. I run mine in a rack, in the UK where it's not very warm compared to other parts of the world, and they get pretty warm even with cooling.

> Also the other peripherals you consider are irrelevant, since you would need them (or not), in other setups

No, they're not irrelevant, because if you buy a Mini-PC you get SSD, RAM, cooling, case, PSU included in the price.

> You can use a pi without a PSU for example

You can wing it with some odd USB charger you have lying around, but my experience over a decade killing tens of high-quality microSDs in Pis, power throttling and brown outs is that you should stick to the Pi spec (5.1V) PSUs, the current can typically be lower than their rated if you're not connecting peripherals but a proper USB spec plug will be 5V not the 5.1V the Pi wants.

> Reread my post? I meant specifically that Pis are great for the 1 to 2 range

I think you need to re-read mine, I'm not suggesting replacing all of the Pis with a mini-PC, I'm suggesting replacing ONE is cost-effective NOW, when compared to Pi 5.

> So I'm saying they are good at the 100$-200$ budget

Disagree (at least as things stand here in the UK with our current pricing).

Mini-PC with N100, 16GB RAM, 512GB SSD, case, cooling, PSU, better IO, much better performance, etc: £128[0]

Pi 5, bare board, nothing else: £114[1]

These aren't some obtuse websites, they're places I shop all the time, PiHut is an official distributor in the UK, and the Amazon result is the second result for "mini pc".

The thing about the performance gap here is that you _can_ replace 2-3+ Raspberry Pis with a single Mini-PC for the same price as a single Raspberry Pi 5. I've occasionally seen mini PC models on Amazon go on sale for £99 and less.

I'm not talking theoretical or napkin maths, I've literally done it, I replaced a bunch of Pis with a mini PC and now the Pis sit idle because there's still LOTS of headroom on the mini PC to add more, before I need to even consider firing up the Pis again for other stuff.

The Pi, _to me_, in 2025, is a great tool for learning, and building upon, using the GPIO and the excellent resources, but for self-hosting services, it no longer adds up.

By services I mean software tools, services, things actively "doing work", not a personal blog or project that could run on a vape[2].

[0] https://www.amazon.co.uk/BOSGAME-Computers-Windows-Desktop-G... [1] https://thepihut.com/products/raspberry-pi-5?src=raspberrypi... [2] https://news.ycombinator.com/item?id=45252817
by harimau777 | 2025-09-20 11:53:15+00:00
I'm not sure they actually are extremely high. It's just that most other salaries have fallen below what we'd normally consider middle class.

Stated another way, the things that software engineers can do with their wealth generally seem like normal middle class things. They can own a home but they can't afford a yacht. They can take nice vacations but they aren't part of the jet set. They can start businesses but generally not in capital intensive areas like resource extraction or heavy industry.

I'd say that software engineers, at least the higher paid ones, are probably on the higher side of middle class; but they are still solidly middle class.
by llm_nerd | 2025-09-20 11:54:00+00:00
Okay, if that's my bias -- if you think you get to casually wave off positions as emotional instead of the objective truth it is -- then what is your bias?

From your minimal activity on here it seems that you're Indian. Do you think you have an objective, ground-truth position on the H1B program?

As to the "scapegoat", if there is a bad economic climate, it's simply obvious that the purported labour shortage is no longer the justification, doesn't it? You don't have to scapegoat to point out that a program contingent on an economic condition needs to change when the condition changes.
by defrost | 2025-09-20 11:54:02+00:00
Racial purity ain't all it's heil'd up to be either: https://www.nature.com/articles/s41598-019-38571-1 https://www.newscientist.com/article/2342731-neanderthal-fam...

Have a barbie, find some middle ground: https://www.youtube.com/watch?v=yGdj1TwBU1w
by sokoloff | 2025-09-20 11:54:27+00:00
They may not care about Suresh specifically, but they're probably happier than if no one in their country had a well-paying tech job. Suresh and his tech worker colleagues don't sit on Scrooge McDuck piles of gold coins; instead they spend the money in their country and community.

I'm pretty sure my local pizza shop, waitstaff, and other small businesses are happy to have my money spent on their products and services. They don't care that I have a tech job, but they do care that I spend money with them, and spending money with them is only one degree of separation from having a job.
by Tiberium | 2025-09-20 11:54:34+00:00
I've worked with Claude Code/Codex, and they're amazing, but I have a question.

I have never worked with tools such as Lean, but if an LLM writes a proof with Lean, how can one be sure that the code itself (in the proof) is correct? Or is Lean so strict that this is unlikely to happen?
by cess11 | 2025-09-20 11:56:33+00:00
Erlang is leaner and more elegant than Elixir. If you don't need the bells and whistles of Phoenix and Ash and so on, and your team is senior enough to just go with the syntax, then Erlang is a good option. Especially if you're doing sophisticated network plumbing and distributed processing stuff but not much direct interfacing with non-technical users.

Gleam takes inspiration from Elm, so if that's your thing and something you'd consider using, probably go with that rather than Phoenix. Again, if your team can handle it.

Personally I build web interfaces and so on as well as plumbing stuff and I'm also very fond of the one language through the entire stack experience it allows, so I mostly stick to Elixir. Prototyping in REPL, moving to scripts, and then into proper modules in the more stable projects. It also has a very nice code generation 'story' that allows a lot of nice shortcuts and sophisticated tools.