MurphyA/hacker-news huggingface dataset:
by dmoy | 2025-10-09 21:23:42+00:00
> division by zero should return Inf

Sometimes yes, sometimes no?

It's a domain specific answer, even ignoring the 0/0 case.

And also even ignoring the "which side of the limit are you coming from?" where "a" and/or "b" might be negative. (Is it positive infinity or negative infinity? The sign of "a" alone doesn't tell you the answer)

Because sometimes the question is like "how many things per box if there's N boxes"? Your answer isn't infinity, it's an invalid answer altogether.

The limit of 1/x or -1/x might be infinity (or negative infinity), and in some cases that might be what you want. But sometimes it's not.
by hibikir | 2025-10-09 21:23:56+00:00
The math on whether you are ahead with the HSA or not is non trivial, especially if you are married and neither employer offers any subsidy when you put your spouse in your plan. HSAs are often better, but it's a very unfortunate math problem, where you carry quite a bit of risk. The HSA contributions from your employer are often nowhere near enough to make it win all the time. If your employer's does, consider yourself lucky. On any given open enrollment, my household has at least 30 combinations of healthcare plans to consider, and that's ignoring dentals, visions and the like
by SunlitCat | 2025-10-09 21:23:57+00:00
Which is kinda sad. Way back in the mid-2000s, I was playing World of Warcraft with a few people I had met in the game itself. Later on, we chipped in to rent a TeamSpeak server from a company that offered ready-made servers and we had a lot of fun. You didn’t even have to do much admin work. :(
by DavidVoid | 2025-10-09 21:24:36+00:00
It's already eroded in many countries right? Gendered patronymic names used to be common here in Sweden - Katarina Gustavsdotter (Vasa) was the daughter of Gusav Eriksson (Vasa), who was the son of Erik Johansson (Vasa), &c. - but gendered patronymic names eventually became permanent last names that got inherited over multiple generations.

So now we have a few hundred thousand people with the last name Andersson, despite most of them not being Anders's son.
by ElijahLynn | 2025-10-09 21:25:35+00:00
Pain Brain Film (dot com)

"A documentary that follows the largest fMRI randomized controlled trial challenging conventional wisdom about chronic pain, and revolutionizing treatment for millions."

Explains how these neurons get wired to fire when there is no physical stimulus causing the pain. Similar to phantom limb syndrome.

There's a book called The Way Out, which documents the technique used in the study featured in the Pain Brain Film above.

I can fully attest to this technique. It 100% works. I had chronic neck and back pain for 20 years. I thought it was my desk, I thought it was my posture, thought it was my chair. Nope, it was my mind.
by 93po | 2025-10-09 21:25:40+00:00
BD up until very recently only focused on hydraulics were which were extremely loud, expensive, bulky, and expensive to maintain. It was basically impossible to find a use case for such a thing that didn't have to cohabitate in spaces with humans. They also lacked the modeling for it to do much of anything other than walk, and even then recent advances in ML have in only a couple of years massively outperformed their in-house attempts that took 20.

BD was a money-burning machine that suckled off the teat of the miltiary industrial complex, where billions of dollars can be casually lost and there's no accountability and no one notices its gone. Their tech was cool, though, and their engineers did awesome work.
by dzhiurgis | 2025-10-09 21:25:41+00:00
My impression by living in NZ for a while now that I can call myself anything I want.

I've been asked to verify my identity only when setting up bank account, sorting out visa/tax with my sponsoring employer. After that it's only when leaving/entering country.

For my own convenience I use an english name to save barista butchering my name and feeling bad about it.

Naming kids was an exercise in linguistics. In Lithuanian we have some fun accidents like Justinas (just in ass) and Arminas (arm in ass)...
by Wingman4l7 | 2025-10-09 21:25:56+00:00
It's the only way this kind of robot will ever be successful. It's a bit like the driverless car approach -- get the hardware out into the real world with minimum viable performance, then desperately snaffle up as much real-world training data as you can to feed into your model, and hopefully your model will improve enough before your VC funding runs out / your product fails on the market / your product gets regulated out of existence / etc.

Simulation isn't sufficient for ML in robotics -- and they simply don't have enough training data.
by IshKebab | 2025-10-09 21:26:05+00:00
Very obvious example - you can't paste code containing blank lines.

Another example: navigating this history is done line by line instead of using whole inputs.

It's just bare minimum effort - probably gnu readline piped directly into the interpreter or something.

I think they did improve it a lot very recently by importing the REPL from some other Python interpreter but I haven't upgraded to use that version yet so I don't know how good it is now.
by ToucanLoucan | 2025-10-09 21:26:13+00:00
> So, when you say the people distrust science, it seems bizarre that they doubt science as philosophy, while in fact they doubt the institution.

The vast, vast, vast majority of the Christian fundamentalists whom are the backbone of this movement and the subject of this discussion do not distinguish between these things. They do not distrust "big science," they distrust science, full stop. The fact that science as an institution is subject to the same corruptive forces as every other institution is a convenient post-hoc rationalization for the belief they already had and wanted to justify, just like a lot of other post-hoc rationalizations they have for other beliefs they have. They dislike science now because they are told to by their ministers, no more reason than that, and we know this because science and their religion coexisted peacefully and uneventfully for centuries until it become inconvenient for a segment of the church's politics. Excluding of course Gallileo, and for the same reasons.

Science (both as philosophy and institution) gets it wrong, but has built-in mechanisms that correct those issues. Eugenics was discredited by science. Andrew Wakefield's bullshit autism study was discredited by science. Religion gets it wrong and then calls it mystery.

It’s especially ironic to hear institutional corruption invoked as a critique of science, when many of the loudest voices in this conversation come from religious institutions that have spent decades shielding their own leadership from accountability for far more egregious abuses.
by lcnPylGDnU4H9OF | 2025-10-09 21:26:34+00:00
I wonder if the domain is banned for some reason. Another comment of yours is dead, which includes a link to the same domain.

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

https://hotgarba.ge/

(Edit: Yep, this comment is dead on arrival.)
by costcopizza | 2025-10-09 21:27:17+00:00
What, if any, alternative framework other than single payer could be put into place instead of our current hellscape?

Have health sharing plans been successful? Those require a religious affiliation IIRC.

I exclude single payer solely because it’s impossible with our current leadership.

I’m surprised there isn’t a Costco like medical group that’s nationwide, has a membership, and works solely to provide care efficiently.
by Asooka | 2025-10-09 21:27:19+00:00
Because all the heavy number-crunching code is already written in C or Rust or as CUDA kernels, so the actual time spent running Python code is miniscule. If it starts to matter, I would probably reach for Cython first. PyPy is an extremely impressive project, but using it adds a lot of complexity to what is usually a glue language. It is a bit like writing a JIT for Bash.
by kulahan | 2025-10-09 21:27:32+00:00
C5s can also transport them easily. I... don't know if C17s can, but I assume not? Maybe though. If so, they're not a problem at all, if you really want 'em.

But also remember tanks are tanks - they're meant to drive over all kinds of nonsense. It might be something of a technical roadblock if there's an impassable ravine, but there are still many, many instances where they'll be useful.

IMO we'll see them fall out of favor heavily if we start doing more mountainous island warfare.

Edit: I was curious so I looked it up, and there are a number of options:

1. Shore up/reinforce the bridge you want to cross with temporary structures

2. Just fill the damn terrain if it's a narrow ravine

3. Build a quick ferry

4. There are apparently literal armored vehicle-launched bridges (AVLBs)
by Paracompact | 2025-10-09 21:27:40+00:00
> The drive to look deeper into these neurons grew out of a simple observation Betley and his team made shortly after he joined Penn in 2015—hunger could dampen long-term pain responses. “When it came to chronic, lingering pain, hunger seemed to be more powerful than Advil at reducing pain.”

This in itself is a very interesting observation. I've always been inclined to fast during times of pain and anxiety, and honestly it kind of works? Could well be part of meditative fasting's popularity throughout history.
by Dig1t | 2025-10-09 21:27:57+00:00
Aren’t tariffs basically raising taxes like you’re suggesting?

The new tariffs are projected to raise an additional $200B this year for the federal government.

https://www.reuters.com/world/us/us-could-collect-300-billio...

I don’t think the next administration, whichever party ends up winning, will be likely to reverse these tariffs just based on how much revenue they bring in for the federal government.

Reducing spending is of course another different problem altogether.
by nixpulvis | 2025-10-09 21:28:16+00:00
I rode it a lot from 2011 to 2019, and still do though less frequently. I don't presonally feel things were ever as bac as point like to claim they were, and I'm not really sure what's been "improved" so much.

The biggest changes are that you can pay with tap to pay everywhere, which is nice, and the trains drive a lot more cautiously, which irritates me because they feel considerably slower now.
by QuantumNomad_ | 2025-10-09 21:28:32+00:00
Just because we have æ, ø, å here in Norway doesn’t mean that we’re much better at handling “weird” characters from other countries than the English speaking countries are.

My Spanish girlfriend has an ñ in her last name, and as does our son. To the people here in Norway, I just tell them to put a plain n when typing the last name. It’s easier to just go with that than to try and get people to understand how to type ñ on the keyboard (even though our computers can do it), and to avoid extra back and forth with people who have systems that don’t handle it.

Likewise, when I’m in Spain I don’t bother to say that my last name has ø in it. I don’t even bother to rewrite the o in my last name as oe. I just put it as o.

The only situation where I put it as oe is indirectly when an airline converts ø to oe on my airline ticket, or where the airline system doesn’t handle ø and I put it as oe for them when making the booking. To me my name looks worse with oe in it, and seems harder to pronounce for people if I write it as having oe in it than just putting it as o.
by IshKebab | 2025-10-09 21:28:47+00:00
I have also ported a Python program to Rust (got a ~50x speedup) but this was a smallish program, under 10k lines of code.

Porting larger programs is rarely tractable. You can tell that because several large companies have decided that writing their own Python runtimes that are faster is less effort (although they all eventually gave up on that as far as I know).
by asdfman123 | 2025-10-09 21:29:41+00:00
What people are often unwilling to admit is that the human brain works this way, too. You should be very careful about what you read and who you listen to. Misinformation can really lead people astray.

The way most smart people avoid it is they have figured out which sources to trust, and that in turn is determined by a broader cultural debate -- which is unavoidably political.
by wisty | 2025-10-09 21:29:49+00:00
I disagree with the language you use.

It was not designed to make money. It was designed to cost less, in the same way the USSR was designed to make workers rich - it simply failed spectacularly.

Neoliberals dislike both regulation and public ownership, but made a Faustian bargain where they replaced public ownership with more regulation, thinking that regulation was the lessor of the two evils. In reality, it's not - like in the USSR where they had corporatised but heavily regulated "companies". A heavily regulated company doesn't make money by offering better value to customers, it makes money by finding loopholes in regulations, and regulators will always lose the cat and mouse game of closing these loopholes.

Neoliberals end up creating a system that's actually a lot like the USSR (if the famous "Well intentioned Commissaire" essay is representative of the USSR) - heavy regulations, with corporate entities outsmarting the regulators to enrich their owners (or managers) while minimising the value they create. Neoliberals deny the need for pubic management, but are forced to badly reinvent it (via heavy regulation). Communists deny the need for incentives, and are forced to badly reinvent it (once again via regulation), ending up not a million miles away from where neoliberals end up - with endless regulation and lost efficiency.

It's worth noting that the US spends far more tax dollars (per capita) than Australia on health (Australia has a hybrid public / private model). Medicare, Medicaid and the VA costs about as much as Canada's expensive public system (per capita) since the US is so insanely inefficient.

(edit: The essay I mentioned - https://highered.blogspot.com/2009/01/well-intentioned-commi...)
by comex | 2025-10-09 21:30:54+00:00
This is a parody but the phenomenon is real.

My uninformed suspicion is that this kind of defensive programming somehow improves performance during RLVR. Perhaps the model sometimes comes up with programs that are buggy enough to emit exceptions, but close enough to correct that they produce the right answer after swallowing the exceptions. So the model learns that swallowing exceptions sometimes improves its reward. It also learns that swallowing exceptions rarely reduces its reward, because if the model does come up with fully correct code, that code usually won’t raise exceptions in the first place (at least not in the test cases it’s being judged on), so adding exception swallowing won’t fail the tests even if it’s theoretically incorrect.

Again, this is pure speculation. Even if I’m right, I’m sure another part of the reason is just that the training set contains a lot of code written by human beginners, who also like to ignore errors.
by theamk | 2025-10-09 21:31:16+00:00
Examples are best only for the beginner/occasional users. For more experience devs, you want regular docs, with full parameter list.

Case in point: requests. Google always drops me to the pages like Quickstart[0], which are full of examples. But they are useless for advanced users! Yes, even my limited brain can remember that you call "get" to issue HTTP GET. What other options does it take? Does it take a timeout? How do I pass in content-type? Does raise_for_status ignore 204?

Both have their merits, but if developer only has time for one, I'd go for proper doc.

[0] https://requests.readthedocs.io/en/latest/user/quickstart/
by hibikir | 2025-10-09 21:31:34+00:00
"Healthcare that isn't for profit" doesn't mean just a national health insurance. Just that as a random citizen you are shielded from seeing all the same issues underneath. The pharma companies, test providers, equipment makers and personnel are all making profits. I bet the total amount paid is higher that 130 euros a month. There's profit all through the system, so claims that healthcare should not be for profit are silly.

Now, what happens is that the profits have to be kept in check, either via price controls or sufficient competition. It's not hard to argue that the choices made in the US are quite suboptimal, but it's far more of a regulatory problem than purely a matter of people making money. If nobody makes money, there's no healthcare.
Ask HN: CLI AI Agents with Comparism?
by tobwen | 2025-10-09 21:31:41+00:00
There are many CLI AI agent tools out there these days: aider, droid, codex, copilot, crush, opencode, etc. Some are "locked" to major providers and subscription-only, some play nice with BYOK or multi-provider proxies like OpenRouter, and others can be "made" to support multiple backends (EULA violations, etc.).

Is there an "awesome CLI AI agents" repo or site curating them? And maybe some solid reviews or head-to-head comparisons floating around?

I've tested most of them on my own and there are significant differences. I'd love to dump my findings into a post, but I'm not sure if it'd hold a candle to those big, polished code benchmarks out there.
by nebula8804 | 2025-10-09 21:31:49+00:00
>I highly doubt there will be any noticeable backlash against Apple for removing ICEBlock, sans negative online commentary (which to be fair isn't exactly zero, but doesn't have enough noticeable effect by itself).

No not just IceBlock but overall increasing the blocking of users from running the software that they want to run.

In the past we've just had niche applications blocked (emulators, some porn applications and apps maybe hackers would use).

Everything else was fair game to be in the app store. Now that semi-mainstream applications are getting banned, it encourages more people to find ways to get the software they want to run.
by numpad0 | 2025-10-09 21:32:38+00:00
They're building cars, so it's more like ATX 24pin style cables, but this is generally true. Cables, wires, ropes type of objects are like cardboard thin robots with hundred joints in series and under someone else's control, so it's hard for robots to deal with. If you think about it, people hate cables too. We easily get tangled in headphone cables when they're wired, and we fail to coil or untangle Ethernet cables properly all the time.

EV charger style of short, thick cables should not be THAT hard, though. The more likely problem here is that they just can't handle the task of securing and inserting the head of the cable against resistance.
by dale_glass | 2025-10-09 21:32:41+00:00
This sometimes also causes problems for the authorities themselves for a change.

I recall some TV program long ago mentioning the police had trouble with Russians because sometimes they think there's a whole gang and it's really just one guy whose name got corrupted in 5 different ways.

Depending on the Russian name and the local language there can be many ways to screw things up. Like Elena might get written down as Helen somewhere and Lena somewhere else. And that's just for viable normal names.
by quentindanjou | 2025-10-09 21:32:51+00:00
I understood everything up to

> The debug flow I propose with RenderDoc will rely on a lot of shader replacements and roundtrips via SPIRV-Cross’ GLSL backend, so Vulkan GLSL is the appropriate language to start with.

Where, as someone who never did GPU programming, I feel like the author was explaining GPU programming to people who already know GPU programming.
by arh68 | 2025-10-09 21:33:06+00:00
Wow. AMA, you say? When do you prefer loops, or lines? Additional lines, or carriages? How much do you tear down at once? if you don't mind me asking

I'm like median on Metro, ~60 hours over years (though perhaps just the one hour, 60x, &c). Never too late to learn some strategy, I guess. Never played Motorways.
by antonok | 2025-10-09 21:33:19+00:00
If you want to find devices that still need hardware support under Linux, I highly recommend trying to get a mobile Linux distribution to work on an old smartphone or tablet.

postmarketOS in particular has a really good devices page [1] showing missing feature support at a glance, as well as guides for porting to new devices [2] and porting features from an outdated vendor-provided Linux fork to the upstream kernel [3].

[1] https://wiki.postmarketos.org/wiki/Devices [2] https://wiki.postmarketos.org/wiki/Porting_to_a_new_device [3] https://wiki.postmarketos.org/wiki/Mainlining
by tptacek | 2025-10-09 21:33:28+00:00
Isn't the subtext of this post pretty clearly that the unauthorized actor was Andre Arko, who had until days prior all the same access to RubyGems.org already?

The impression I have reading this is that they're going out of their way to make it clear they believe it was him, but aren't naming him because doing so would be accusing him of a criminal act.
by Imustaskforhelp | 2025-10-09 21:33:50+00:00
I was going to say the same thing too!

I just wish there was a dark mode.. Let me install night reader to see how well it looks :p

Edit: would've loved if there was a way to sign up or make comments from there, oh well :< I wish there was, I am not sure if that's possible tho but I hope it could be.
by pedalpete | 2025-10-09 21:33:53+00:00
This is very interesting, and I think points to the psychosomatic elements of pain, which is probably usually dismissed as "it's all in your head". But really, all pain is "in our head", it just tells us that the pain is elsewhere.

The bigger opportunity here may be not to dismiss pain as being in the head, but recognizing that when it is, treating the suspected source is not the best route, or maybe not in isolation.
by KempyKolibri | 2025-10-09 21:34:55+00:00
Ok, so we already have your standard: in order for you to support a public health intervention we need to see evidence that such an intervention results in positive outcomes in a free living population with ad libitum consumption, regardless of the evidence in controlled settings.

We have your proposed intervention: “In the context of school lunches (which is discussed here) [NNS] absolutely need to be banned, same as added sugars.”

So now we need evidence supporting this intervention sufficient to meet your own goalposts. Do you have it?
by tpmoney | 2025-10-09 21:35:02+00:00
Yup. Treatment these days for chronic and severe pain amounts to your choice of:

1) Ever escalating doses of NSAIDs / acetaminophen and the associated long term health effects of that.

2) Long term opioid management which will leave you treated like a drug seeker by anyone who isn’t your pain doctor and may or may not also require long term escalation and has its own health concerns and complicates your use of other medications. And god help you if you don’t like your pain doctor because changing them is a whole different world of suspicion and poor treatment.

3) Various physical interventions like nerve ablations or back surgery or steroid injections which come with a host of other risks and also tend to be both expensive and temporary.
by hibikir | 2025-10-09 21:35:16+00:00
Have you spent much time looking inside non profits? A lot of hospitals in the US are non profits. Some are part of non profit universities too. This in no way leads to superior cost controls, or those universities being cheap. What it does mean is that they get some significant tax advantages (for instance, no property taxes), and that there's fewer optimization incentives. When you limit yourself to the US definition of a non profit company, it doesn't make care better or cheaper.