MurphyA/hacker-news huggingface dataset:
by alsetmusic | 2025-09-17 15:10:50+00:00
They asked me for a sysdiagnose when I complained about how crappy their new Finder disk icon looks on macOS 26. See this rant by Jeff Johnson, who called for a boycott on filing bugs with Apple a couple years back (I stuck to the boycott except for two obvious UI design issues in the latest OS because neither required repro steps (so why the sysdiagnose?)).

https://lapcatsoftware.com/articles/2025/8/7.html

Edit: accidentally called sysdiagnose a spindump.
by aiono | 2025-09-17 15:11:00+00:00
Void in Haskell is not the same thing as `void` in C, C++, Java or similar languages. If you return `Void` in Haskell, you will get a runtime error but `void` returning functions in C-like languages don't fail. It's not a type that doesn't have any value, rather it's a type that has a single value (normal return). Therefore it's more similar to `unit`.
by graemep | 2025-09-17 15:11:16+00:00
I think that one problem is that politicians defer too much to "experts" in decisions like this.

I cannot remember who it was, but one British prime minister, when told by intelligence services that they needed greater surveillance powers, told them essentially, that of course they would claim that, and firmly refused.

Politicians now mostly lack the backbone. That does not stop them ignoring expert advice when it is politically inconvenient, of course.
by tracker1 | 2025-09-17 15:11:17+00:00
It's more of a "just in case" thing for the most part... the actual risk of an escape as part of a sequence showing up over TCP without the rest for over a fraction of a second today is highly unlikely. That said, so many systems seem to add a delay well over half a second like we're using dialup.

I'd probably tune the delay to 100-200ms if I ever really felt it and have the option to change it.
by t-3 | 2025-09-17 15:11:27+00:00
In countries without sovereign currencies it's more complicated, but in the US money wouldn't even need to be collected (technically it would need to be collected/added as debt, but that's entirely due to the Constitution and not some kind of natural law). The only real considerations needed to spend are whether or not adding more debt is politically viable and whether or not percepetions of and expectations for inflation are manageable. A UBI would be way too big to be able to avoid triggering inflation expectations and opportunism. Ending hunger would be much more manageable as the costs are very low relative to the impact and so it could be more easily hidden from financial doom-speakers.
by runjake | 2025-09-17 15:11:55+00:00
> THis is not only true for Apps, but also for Webapps and Services, Platforms etc.

This is a key point. This is not an App Store problem, specifically. This is an everywhere problem right now.

This "copyrot" gotten particularly worse since vibe coding[1] took off.

1. As karpathy, the person who coined the term, defines it.
by rgvrmdya | 2025-09-17 15:12:10+00:00
We've built a crypto-enabled platform to collect human feedback (through human labeling, preference judgments, RLHF, etc.) to improve and align AI models, as well as crowdsource preference data for fine-tuning purposes.

We are looking for Vibe coding platforms, Image/video AI model teams to understand the types of AI training data we can help source.

Reachable at rg(at)Reppo.xyz
by em-bee | 2025-09-17 15:12:20+00:00
dagger.js takes a different approach: it treats HTML, JS, and CSS as independent modules that you explicitly wire together. The reason is to keep everything buildless

aurelia doesn't need a build step to wire things together. nor does it remove transparency or flexibility. because you can still specify all parts explicitly if you want to.

it should not be hard to create a function that does the same for dagger.js:

a configuration like this:

{ "remote_view_module": { "uri": "./thispage.html", "type": "view" }, "remote_style_module": { "uri": "./thispage.css", "type": "style" }, "remote_script_module": { "uri": "./thispage.js", "type": "script" }, "remote_json_module": { "uri": "./thispage.json", "type": "json" } }

can easily be generated with a function:

function load_modules(name) { return { "remote_view_module": { "uri": "./"+name+".html", "type": "view" }, "remote_style_module": { "uri": "./"+name+".css", "type": "style" }, "remote_script_module": { "uri": "./"+name+".js", "type": "script" }, "remote_json_module": { "uri": "./"+name+".json", "type": "json" } } }

thus reducing 18 lines to one:

load_modules("thispage")

anyone who needs the flexibility can still specify the parts they want to wire together manually. this is just about making the default easier.

you could even allow some names to be specified and still reduce the code a user needs to write:

load_modules({ name: 'thispage', style: 'other.css', json: undefined })

that would use 'thispage' as the default name, but override the style and remove json.
by naasking | 2025-09-17 15:12:21+00:00
> It's trivial to demonstrate that LLMs are pattern matching rather than reasoning.

Again, this is just asserting the premise that reasoning cannot include pattern matching, but this has never been justified. What is your definition for "reasoning"?

> This is clearly pattern matching and overfitting to the "doctor riddle" and a good demonstration of how there's no actual reasoning going on.

Not really, no. "Bad reasoning" does not entail "no reasoning". Your conclusion is simply too strong for the evidence available, which is why I'm asking for a rigourous definition of reasoning that doesn't leave room for disagreement about whether pattern matching counts.
by steveklabnik | 2025-09-17 15:13:13+00:00
Standard C doesn't have inline assembly, even though many compilers provide it as an extension. Other languages do.

> After all if everything else is "Just as close as C, but not closer", then just what kind of spectrum are you measuring on

The claim about C being "close to the machine" means different things to different people. Some people literally believe that C maps directly to the machine, when it does not. This is just a factual inaccuracy. For the people that believe that there's a spectrum, it's often implied that C is uniquely close to the machine in ways that other languages are not. The pushback here is that C is not uniquely so. "just as close, but not closer" is about that uniqueness statement, and it doesn't mean that the spectrum isn't there.
by mikeocool | 2025-09-17 15:13:18+00:00
GRDB/GRDB-Query (https://github.com/groue/GRDB.swift) is another solid library worth looking at if you're looking for libraries in this space, though it doesn't have CloudKit support out of the box.

The more SwiftData alternatives the better -- as it has a lot of rough edges, and Apple hasn't invested much in it since it's initial launch.
by 999900000999 | 2025-09-17 15:13:27+00:00
It's not an easy problem to solve.

Doing it the right way would create friction, developers might need to actually understand what the code is doing rather than pulling in random libraries.

Try explaining to your CTO that development will slow down to verify the entire dependency chain.

I'm more thinking C# or Java. If Microsoft or Oracle is providing a library you can hope it's safe.

You *could* have a development ecosystem called Safe C# which only comes with vetted libraries and doesn't allow anything else.

I'm sure other solutions already exist though.
by noahmbarr | 2025-09-17 15:13:36+00:00
Don’t rule out Tesla’s Robotaxi. I’m 10 rides in (Bay Area— around SF proper), and it’s clean, cheap, and efficient. As good or better than Waymo.

IMO: - Tesla is pushing Waymo on pricing and service areas - Tesla will drop the safety monitor in the next 6 months**

**I say this as a FSD subscriber on my own car and seeing the arch of progress, albeit with a software branch that’s supposedly 3-6 months behind Robotaxi’s
by stared | 2025-09-17 15:13:38+00:00
Prioritization makes a lot of sense.

At the same time, guidelines go differently, e.g. "Vaccination is not recommended for everyone older than age 26 years." from https://www.cdc.gov/vaccines/vpd/hpv/hcp/recommendations.htm.... These things propagate among doctors and most of them do not recommend vaccination (contrary to modern research data!)
by ra7 | 2025-09-17 15:14:39+00:00
In a recent interview, Waymo strongly hinted they now have positive unit economics in markets like SF.

From https://www.forbes.com/sites/alanohnsman/2025/09/03/waymo-co...:

> “Each car, the amount of revenue it's making would be shocking to most people,” Panigrahi said, without elaborating. “Because it just continuously keeps delivering ride after ride. On a per asset basis, it’s doing really well. That’s making progress in terms of unit economics very, very positive.”

So much so that in busy markets like San Francisco, Waymo could soon move into the black. “Not making specific statements about if we’re positive or not, but what I can tell you is that yes, key markets are showing us that we are,” Panigrahi said.
by vintermann | 2025-09-17 15:15:21+00:00
> But if the goal is to force creators to ask their viewers to stop using adblockers, then why would they not also just admit that they're doing this rather than leaving it up to speculation?

Oh, that one is easy to understand. They want to change the sentiment to "adblockers are bad, it's basically stealing" but they know it won't work if people see them as the source of the message. They want video makers to internalize their message, do what the boss wants on their own initiative, so Google only want to drop hints.
by tracker1 | 2025-09-17 15:15:22+00:00
In early, original Doom/Doom2 days, I'd use ctrl/shift as up/down with zx mapped to left right... resting my left hand there felt really comfortable and the actions were pretty easy functionally without as much RSI strain. In the end, I gave up and went with wasd as I got tired of changing settings for games all the time, or having someone else use my computer and complain.
by leoc | 2025-09-17 15:15:44+00:00
They're also spending an unclear amount of money on human driving-assistance workers https://www.nytimes.com/interactive/2024/09/03/technology/zo... and the supporting infrastructure. Presumably it works out to a lot less per vehicle-hour than an in-vehicle, US-resident human driver, but a lot more than nothing.

I suppose another wrinkle is that driverlessness isn't only a cost saving (aspirational or real), it's also a positive attraction eg. for anyone who worries about their safety with a rando taxi driver or Uber guy. There are also cost savings achievable by timeshifting antisocial-hours work to elsewhere in the world, though presumably a significant part of the savings will be simply be the result of outsourcing to lower-wage countries.
by HarHarVeryFunny | 2025-09-17 15:16:13+00:00
> This is just a problem of memory

How does memory (maybe later incorporated via fine tuning) help if you can't figure out how to do something in the first place ?

That would be a way to incorporate new declarative data at "runtime" - feedback to the AI intern as to what it is doing wrong. However, in order to do something effectively by yourself generally requires more than just new knowledge - it requires personal practice/experimentation etc, since you need to learn how to act based on the contents of your own mind, not that of the instructor.

Even when you've had enough practice to become proficient at a taught skill, you may not be able to verbalize exactly what you are doing (which is part of the teacher-student gap), so attempting to describe then capture that as textual/context "sensory input" is not always going to work.
by delichon | 2025-09-17 15:16:21+00:00
Beef, lamb, sometimes pork. I have a daily meal of a cheap, tough cut of meat cooked for 48 hours at 150F.

Sous vide is generally not a bacterial growth risk above 140F. At 150F throughout, you get decent pasteurization in under two minutes. Two days of that is such extreme overkill that I'm concerned about the nutritional effect of over cooking.

The Food Saver style vacuum sealers fail fast for me, so I bought a $400 chamber sealer, and I'm on year 5 with it.
by discodonkey | 2025-09-17 15:16:38+00:00
Ancedotally, as an Israeli, people's (or at least protesters') discontent with the Netanyahu government is essentially limited to his criminal charges, general populist antics, and his refusal to cut a hostage deal.

You would be hard-pressed to find someone who thinks the IDF is commiting war crimes in Gaza, let alone a genocide.

There is great skepticism towards international NGOs that make these accusations, especially the U.N., owing to past pro-Palestinian bias.
by tptacek | 2025-09-17 15:16:49+00:00
"Please don't post AI-generated comments, or any generated comments" seems pretty clear to me. My point stands: I'm not interested in watching dueling ChatGPT contexts and I don't think anyone else is either. I can just write what I know about this issue into a GPT5 session and say "change my mind" and get all those 1970s cites myself.
by nickcw | 2025-09-17 15:17:15+00:00
gcd(0x2200,0x7800) = 512

So some part of the chain with 512 byte buffer size corrupted the data.

It doesn't look like a memory corruption but if this were my computer I'd run the equivalent of memtest86 on it.

It looks like a filing system corruption to me. Running `diskutil info` on the main harddisk and the sd card might be interesting to see if the block sizes match.

Running a disk tester on the sd card and the main disk might be a good idea too. Here is one I wrote: https://github.com/ncw/stressdisk
by mettamage | 2025-09-17 15:17:26+00:00
To all: also think of the productivity boosts. Working in the car or just napping in the car.

In the Netherlands this is already sometimes possible if your work is close to a train station while your house is too and you don’t need to switch trains. It’s a boon to be honest.

My favorite is the train from Amsterdam to Berlin.

Of course, if you carpool then you can do this too. One time I rode in a car as a passenger from Berlin to Prague while working the whole time. When we were there, we went to a DnB festival and we got back on the weekend.

Hybrid working is awesome :)

And self-driving cars could make it more awesome
by jlarocco | 2025-09-17 15:17:28+00:00
Yeah, these companies are pushing AI so hard they don't see it's destroying the value they had. I don't want to watch an AI reading Wikipedia, showing stock photography, and I doubt anybody else does, either.

And lately they're starting to get more malicious: https://www.youtube.com/watch?v=UaHW24jOYVw
by taeric | 2025-09-17 15:18:19+00:00
The name for them feels a bit unfortunate, to me. The vast majority of programmers know of algebra from grade school, at best. And there you think of algebra as being able to do symbolic operations on equations. Not so much as "algebra over a field."

I think it is fair to say that that is the more unfortunate naming, maybe? I still contend that that is what people think of when they hear the term, though.
by the_af | 2025-09-17 15:18:31+00:00
I wonder about this. I'm not discounting your experience, but my YouTube recommendation page is great.

I only see my subscriptions, or things directly related to things I've watched and liked. If I remove a disliked video from my watch history, it "mostly" works to tell YouTube I don't want to see it anymore.

I very seldom see crap I really do not want in my YouTube feed/recommendations. All I see are hobby videos and cartoon clips of things I like.

This is totally unlike Facebook (where random garbage recommendations are the norm) or Reddit (which is hit or miss).
by ffsm8 | 2025-09-17 15:19:29+00:00
They were also active participants in prism...

https://en.m.wikipedia.org/wiki/PRISM

What they actually do is a moderate effort to keep app developers from accessing user data. Which is definitely good!

Though the reason for this likely more about keeping the customer relationship with apple then actually protecting the privacy of users, but it's a nicely marketable side effect - and that's definitely a good thing for the users, too!
by runarberg | 2025-09-17 15:19:50+00:00
The resolution was drafted and a vote was called on October 18th. It was called following a failed resolution at the security council which the USA vetoed on October 17th.

This is the normal speed in which the UN operates. Note that the UN Secretary General condemned Hamas with name hours after the terrorist attacks. Also note that leaving out the name of Hamas in both the Security Council resolution, and in the General Assembly resolution was on purpose as if you named one human rights violator in your condemnation, you would also have to name the other, and the draft authors thought it was likelier to pass without naming the perpetrators. The security council resolution was never going to pass because of USA complicity in the genocide, but in case of the General Assembly, they were correct. The October resolution passed, but not by as wide a margin as the later ones, e.g. if every absentee would have voted against, the resolution would have failed to get the required 2/3rds majority to pass.
by bluGill | 2025-09-17 15:20:27+00:00
Those buying baked in ads just need to find other ways to verify value. This is nothing new, no large company buys ads without checking how they really work (though many small companies would). There is someone who checks all those "how did you hear about us" responses asked at checkout - they want to know if the ad really provided value. Sure the TV stations tracked and reported ratings, but that is only one of the signs ad buyers look at, and it is one they only trust because they check and so would catch if it is manipulated.

The ad business is far older than the internet and there is a lot of old knowledge that apples directly to the internet. Those buying backed in ads should be aware of and tracking such efforts.
by bobalob | 2025-09-17 15:20:28+00:00
No problem. Regarding Kirk's tweet, at that point (early August) it was already well established that the IBA had disqualified Khelif (and another boxer, Lin) from their women's tournaments for ineligibility due to failing a sex test. They hadn't released specifics due to medical confidentiality but it wasn't a rumour and even though Khelif appears male it wasn't about looks.
by tibbar | 2025-09-17 15:21:18+00:00
> Removed verbose explanations mixed with instructions

Is Claude rewriting generic instructions once, or is it rewriting the core task statement each time? If so, I'm not sure how you prevent information leakage: Claude might easily be "solving" some of the tasks and inserting subtle hints on the approach. I think this result is very interesting if it holds after rewriting only the generic instructions, even if the performance boost is lower.
by palmotea | 2025-09-17 15:21:30+00:00
> The jury is out there about whether China can take a meaningful lead in any major technological field the US and Europe are actively invested in.

They might not have to do that to dominate. They'd dominate if they're just near the cutting edge and cheaper.

And the US and Europe have shown a lot of shortsightedness and incompetence by abandoning technological fields when faced with Chinese competition (e.g. solar panels). They're too blinded by free market economics to make the right decisions.
by otterley | 2025-09-17 15:21:31+00:00
Trusted Publishing is a marketing term—a fancy name for OIDC support and temporary auth token issuance. It delegates authenticating the uploader to their identity provider, nothing more.

In a very real sense, it shifts responsibility to someone else. For example, if the uploader was using Google as their identity provider and their Google account was popped, the attacker would be able to impersonate the uploader. So I wouldn’t describe it as establishing a strong trust relationship with the uploader.

It only meaningfully improves the security of the NPM ecosystem if (a) everyone is forced to sign packages and (b) identity providers require more secure authentication methods with as hardware tokens or passkeys.
by willahmad | 2025-09-17 15:21:41+00:00
it's not only about number of users. You also have regulations in different cities and states, existing models trained based on past supply demand behavior, somewhat optimized workflows for the ride hailing industry, payments, risks.

They both can build themselves, but if you provide solely self-driving ride hailing, a lot of times customers might not be able to find cars in upcoming 6-7 years until they ramp up full production to meet demand.
Show HN: Prove that video of a UFO was real, by using this
by rh-app-dev | 2025-09-17 15:21:42+00:00
Seriously though, you see something unbelievable. Grab your phone and record it. Post it online and immediately people start asking "is that real?" And can you blame them? How can anyone prove what they post is real.

I’ve been working on a tool to address one of the biggest problems I see with digital content: the inability to prove that it was captured by a real human, on a real device, at a specific time — without manipulation or AI involvement.

Witness by Reel Human is a privacy-first camera app that generates cryptographically signed photos and videos. Each file includes an embedded JSON manifest with: - The exact capture time - Device info (not user identity) - The app version and signature metadata

The manifest is stored inside the media file (MP4/JPEG) and travels with it, even if shared. The result is a verifiable, human-authored piece of content.

What’s working now (POC): - Android and iOS apps (available for testing) - Signed JSON manifests inside every photo/video - No accounts, no tracking, no upload

What’s coming: - Public verification portal (in progress) - Registry backend with optional verification logging - Open API for platforms to verify content at scale

I’d love your feedback on: - The idea and approach - Security model (crypto choices, manifest design, etc.) - Use cases beyond journalism (legal, education, social media)

Site: https://reel-human.com POC App: - Android: https://play.google.com/store/apps/details?id=com.reelhuman.... - iOS: https://testflight.apple.com/join/GzfTsCNF

Ask me anything — I’m solo-building this because I think trusted content should be a human right.
Show HN: ProductBaker – Free Chrome extension for SEO and traffic insights
by arvinaq | 2025-09-17 15:21:57+00:00
Hi HN

I built ProductBaker , a free Chrome extension + web app that makes it easier to analyze websites without juggling multiple tools.

It lets you:

Check domain details (creation, expiration, traffic, global/country rank)

Run quick SEO reports (scores, critical issues, warnings, suggestions)

View keyword counts & density (1–5 word phrases)

Manage product info (titles, links, categories, metadata)

Use the Chrome extension to get instant SEO insights on any page you’re browsing

Why I made it: As an indie dev, I often needed quick SEO checks and traffic stats without paying for heavy SaaS tools. So I built ProductBaker to keep it simple, fast, and free.
by dfabulich | 2025-09-17 15:22:00+00:00
I strongly agree. Algebraic types aren't "scary," but "algebraic types" is a bad term for what they are. In all popular languages that support "sum types" we just call them "unions."

Your favorite programming language probably already supports unions, including Python, TypeScript, Kotlin, Swift, PHP, Rust, C, and C++. C# is getting unions next year.

The article never mentions the word "union," which is overwhelmingly more likely to be the term the reader is acquainted with. It mentions "sets" only at the start, preferring the more obscure terms "sum types" and "product types."

A union of type sets kinda like a sum, but calling it a "sum" obscures what you're doing with it, rather than revealing. The "sum" is the sum of possible values in the union, but all of the most important types (numbers, arrays, strings) already have an absurdly large number of possible values, so computing the actual number of possible values is a pointless exercise, and a distraction from the union set.

Stop trying to make "algebraic" happen. It's not going to happen.