MurphyA/hacker-news huggingface dataset:
by Daub | 2025-07-25 05:15:35+00:00
I run the risk of being downvoted on this issue, but there is a personality type associated with downs syndrome. My experience of living in a community of down syndrome young people certainly supported this, but there has also been quite a bit of research on the matter... search Google Scholar and you will see a ton. In brief: very social, positive minded and very creative. Importantly, this seemed not to be effected by puberty, unlike the autistic kids I have known. The year I spent in there company was a gift.

Edit: user smeej has cited a few papers on this matter.
by nilslindemann | 2025-07-25 05:16:10+00:00
"async" is a misnomer. What we call "async" is actually "chaotic async" or "time-optimized async" or "switchable async" and what we call "sync" is actually "ordered async" or "unoptimized async", and what we call "parallel" (a good name) is actually "sync".

Because nomen est omen, everything done now will just result in a growing pile of complexity. (see also the "class" misnomer for types), until someone looks again, and give the proper name - or operator - to the concept.

I imagine a future where we have a single operator on a line, like a "." which says: do everything from the last point to here parallel or async - however you want, in any order you want - but here is the point where everything has to be done ("joined"), before proceeding.
by sunrunner | 2025-07-25 05:17:00+00:00
> Visa/Mastercard should have the right to refuse service

Really? If this was any other small to medium business where there were potentially tens, hundreds or even thousands of viable alternate businesses that provide what could be deemed as an equivalent service I might agree, but a global payments duopoly is essentially public infrastructure and should not be able to discriminate based on protected characteristics or personal subjective moral compass.
by tstrimple | 2025-07-25 05:19:25+00:00
Agreed. And Democrats were fucking stupid and decided to just ignore all of the systems Republicans were putting into place over decades. There are multiple conservative think tanks who approve supreme court nominations and spearhead Republican policy. They have been working on it for decades. It's unfortunate that the only political party in this country which can look to the future an make long term plans is the one most likely to follow the Nazi party into the history books.
by fny | 2025-07-25 05:20:21+00:00
But wouldn't that also require code execution? For example even though the compiler already knows the size of an array and could do a bounds check on direct assigment (arr[1] = 1) in some wild nested loop you could exceed the bounds that the compiler can't see.

Otherwise you could have type level asserts more generally. Why stop at a range check when you could check a regex too? This makes the difficulty more clear.

For the simplest range case (pure assignment) you could just use an enum?
by rgoulter | 2025-07-25 05:20:37+00:00
The author mentions it in the conclusion, but I think "nix package manager on non-NixOS Linux" would be the best of both worlds.

You'd avoid the friction of having to deal with software that doesn't 'just work' on NixOS, but still be able to make use of things like devenv.

Though, an understated benefit from using NixOS is that the specific fixes taken are now available "as code".
by yregmi | 2025-07-25 05:20:55+00:00
Yes! It's exactly about creating a standardized way for a website to expose its tools to the agentic web.

Auth is level 2 of this design. It is huge piece of the puzzle. My vision for this is that the kodec.txt protocol would evolve to include an optional authentication block, likely declaring a standard like OAuth 2.0.

Doing so, a trusted agent (that the user has already connected to their account, similar to a "Login with Google" flow) would see that the action requires authorization. The agent would then be responsible for managing the OAuth token on behalf of the user to securely make the authenticated API call.

For this POC, all the actions are public and unauthenticated to keep it simple, but your question is exactly where the protocol needs to go next to handle private, user-specific actions. It's a massive and exciting challenge. Thanks for bringing it up!
by cyberax | 2025-07-25 05:21:07+00:00
> FYI the real solution is bus lanes so busses don't get stuck in traffic

The real solution is to stop using transit to move human misery from one place to another. Get everyone an individual car (a self-driving at this point EV, of course) and redesign cities to be human-oriented, not transit-focused.

There is NO mathematical way to make buses robust. They will always be some combination of too slow, too expensive, or too inconvenient for most people.

Buses have low average speed because they need to stop often. And you can't make bus stops more infrequent, because people won't be able to walk from their homes fast enough. And doing complicated systems with local/express buses just wastes time during transit.

Buses can't be frequent, because the average daily load is already just around 15 people per bus. And this is with longer off-peak intervals.

Etc.
Show HN: Clipzy – Dialogue grep for any show or movie
by Danjoe4 | 2025-07-25 05:21:35+00:00
Hi HN,

I built an app that lets you query subtitle dialogue across movies & TV in real time.

Tech is a PostgreSQL 17 database running on a mini-pc in my living room, plus flexsearch on the client. The real effort was processing the extensive dataset — thanks OpenSubtitles.org!

My future goals for this project are to add server-side vector search, with the option to search across many/all titles simultaneously. I need to seriously clean the dataset to make this feasible on consumer hardware.

Feedback is welcome. Please report any cases of failures to retrieve subtitles. Enjoy.
by rendaw | 2025-07-25 05:21:42+00:00
> Instead, it suggests "that dietary intake plays a far greater role than reduced energy expenditure in obesity related to economic development."

That sounds like more or less exactly what the title says to me.

> anyone who has done extensive 'athletic' physical activity

Yes, and there are few such people. Extensive athletic physical activity, becoming an athlete, are at odds with working an office job. You can get out of work and go play soccer for 2-3 hours every day instead of doing household chores, pursuing other hobbies, etc, but most people won't - it's a huge ask.

> not really useful for personal or localised health advice

It absolutely is useful. Becoming an athlete or doing extensive athletics takes a huge time commitment. Eating less does not.

I'm not claiming that there's zero issues with eating less, or that people shouldn't exercise, just that the arguments seem to be off base.
by tsimionescu | 2025-07-25 05:24:02+00:00
I think the surprise here is that failing to synchronize writes leads to a SEGFAULT, not a panic or an error. This is the point GP was making, that Go is not fully memory safe in the presence of unsynchronized concurrent writes. By contrast, in Java or C#, unsynchronized writes will either throw an exception (if you're lucky and they get detected) or let the program continue with some unexpected values (possibly ones that violate some invariants). Getting a SEGFAULT can only happen if you're explicitly using native code, raw memory access APIs, or found a bug in the runtime.
by pyuser583 | 2025-07-25 05:25:08+00:00
Lol. When I was a kid I worked at a gas station. My job was to arrive before the station opemed, drive around the neighborhood, and make a note of the gas price at our competitors.

We then informed corporate of the numbers, and someone would quickly is how to price the gas that day.

I thought it was about keeping the price competitive. No, I was told, it’s the exact opposite.

We would gladly sell the gas at cost, if not less, because the real money came from coffee and other merch.

But the state had a minimum mark up law. We had to charge the customers more.

The idea was to protect small gas stations from corporate chains, but gas is a commodity. Everyone pays about the same.

I later found out that the reason I was reason I was recording the competitors prices was to make sure they were following the minimum markup laws, so we could sue them if they werent.
by bjackman | 2025-07-25 05:26:13+00:00
I don't think you can necessarily draw conclusions about Intel vs TSMC from Intel vs AMD.

Yes, building top-of-the-line CPUs is hard and it's impressive that we saw the dominance flip in the course of just a few years.

But I think frontier chip fabrication is a bigger juggernaut than "mere" CPU design.

(Your conclusion could still be correct, but I don't know if I buy the high-level reasoning).
by bengesoff | 2025-07-25 05:26:21+00:00
FYI if you click the share icon on a Kagi search, then others can see the results without needing to have a Kagi subscription themselves, e.g. https://kagi.com/search?q=copywork&r=ae&sh=d9jIEVVKaHzifbixh...

(https://help.kagi.com/kagi/features/share-results.html)
by Kbelicius | 2025-07-25 05:26:32+00:00
> How is "being happy from helping others" not having emotions?

Nobody said that. What I was pointing out to you is that GP said that not having emotions is worse than having them since intelligent actors need some form of compensation to do any work. Thus having no emotions, according to GP, it would be impossible to motivate that actor to do anything. Your response is to just give it emotions and thus is irrelevant to the discussion here.
by wunderwuzzi23 | 2025-07-25 05:26:49+00:00
I thought the same, a possible change from past might be the detailed data leakage and attack explanations?

Eg how I described here a while ago: https://x.com/wunderwuzzi23/status/1930899939737166075?s=46&...

Ironically, I have a blog post drafted that explains this also in detail, and should probably still publish it.
by notpushkin | 2025-07-25 05:26:57+00:00
> AFAIK some places already have it, like Thailand and Malaysia.

Also Vietnam (Napas247), Singapore (PayNow), Philippines (QR Ph), Japan (lots different systems), China (WeChat/Alipay, I think?), Russia (SBP), Belarus (ERIP, in a sense), and the whole of EU (SEPA transfers).

One problem is, most of them don’t really work for you if you’re a foreigner. Moreta (YC S24) is doing something in SEA, and I’ve seen another service for visitors in India, but I think exchange rates wouldn’t be too good (compared to something like Wise, maybe on par with regular banks though).

https://moretapay.com/, https://ale.sh/r/moreta (affiliate link)

https://wise.com/, https://ale.sh/r/wise (affiliate link)
by Swannie | 2025-07-25 05:27:19+00:00
From Meathead's posts, he talks about the smoke only being absorbed in the first part of the cooking.

I had assumed that correlated to the temperature... I would be smoking first, then sous vide if I was going for smoke and internal texture.

But if you're going for a bark/crust, I am not sure sous vide helps, as the moisture coming out of the meat is part of that process.
by snapetom | 2025-07-25 05:28:38+00:00
This is a hard question to answer, but I'll try to boil it down to this specific firearm. Many handguns, like all Glocks and many Sigs, these days are "striker fired," meaning there's an internal hammer that strikes the hammer versus an external hammer. Internal hammers are more complicated than external hammers, and that includes, in the case of Glocks, two built-in safeties internally that would prevent misfires. The only way they would fire is if the trigger is pulled. Period.

There are no external safeties for the operator to engage with these handguns. They will only go off the trigger is pulled - so drops should not set it off, nor the actions in the video. You have to intentionally pull the trigger for the gun to go off, which is the ultimate last word in safeties.

There are still semiautos with external safeties hammers, the most famous being the 1911. These are what's called single actions. The trigger weight (amount of pull on the trigger) is relatively light, so they have an external safety for the operator to engage/disengage.

I personally prefer single actions, hammer cocked, safety engaged, but this is always a very, very personal preference by people that carry. I own Glocks, but I would not carry one because of the lack of external safety, however, I would never criticize anyone that does. This is 100% strictly boils down to what the person is comfortable doing.
by SkiFire13 | 2025-07-25 05:29:40+00:00
A thread-safety issue does not always lead to a segfault. Here it did because the address written was 42, but if you somehow manage to obtain the address of some valid value then you could read from that instead, and not cause an immediate segfault.

I agree with the sentiment that data races are generally harder to exploit, but it _is possible_ to do.
by dedicate | 2025-07-25 05:29:41+00:00
The 'no more tools to learn' promise is powerful, but here's my hang-up: isn't this... just another tool? A layer between my notes and the web, with its own app and pricing. Feels like we're just trading one set of complexities for another. Is this true simplicity, or just a different kind of abstraction? Maybe I'm just being cynical lol.
by rendaw | 2025-07-25 05:30:01+00:00
If someone would have eaten 3 meals for a sum of 2000 cal, with one being a 500 calorie meal, and they decide to switch that out with a 1600 calorie chipotle burrito, then the excess calories they need to burn are only 1100. Which a half marathon would more or less cover.

The situation you described only makes sense if they're eating 2000 calories worth of food during the day then adding an extra chipotle burrito.

Re: your 2nd marathon comment, if someone is eating two 800 calorie meals a day plus an extra 1600 calorie burrito, that comes out to 3200 calories. Minus the 2k resting expenditure, minus the 2k marathon expenditure, they're 800 calories short so they do need to consume more.

Is, I believe, the argument GP is making.

I don't disagree with you, I think the amount of exercise most people are capable of doing on a daily basis the extra calorie needs are insignificant. But I think your examples overstate the point.
by dreamcompiler | 2025-07-25 05:30:02+00:00
I write code in both and they seem pretty much equally powerful to me.

There are two big differences for me:

1. If I look at Forth code I wrote a month ago I have no idea what it's doing. This is never a problem with Lisp.

2. I can -- and have -- written a complete Forth compiler bootstrapping my way up from assembler. Sounds like you've done the same thing. I could never bootstrap a Lisp compiler that way.
by matheusmoreira | 2025-07-25 05:30:30+00:00
It's a shame that Android as a whole is trending towards hardware remote attestation. It's pretty much guaranteed that app developers will eventually start writing their apps so that they refuse to run on anything that doesn't pass Google Play Integrity. Being unable to run WhatsApp or bank apps on GrapheneOS will render it useless as a smartphone operating system. It might not be happening right now but the threat of it looms eternal. My bank could flip a switch somewhere and suddenly my phone becomes useless for the purpose of accessing my bank account.

The Google Pixel requirement also makes me sad. I understand that they have solid reasons why. The problem is Google is incapable of selling their phones worldwide. It's really embarrassing for Google and unfortunate for me.
by zuInnp | 2025-07-25 05:31:59+00:00
I prefer to use Claude code like a smart rubber ducky while I write most the code in the end. I added rules to make claude first explain what it want to do in chat (and code changes should only be implemented if I ask for it). I like it to talk about ideas, discuss solutions and approaches. But I am in control of it - in the end, I am the person repsonsible for the code.

Since I don't like it to automatically do changes to files, I copy&paste the code from terminal to the IDE. That seems slow at first, but it allows me to correct the bigger and smaller issues on the fly faster than prompting Claude to my preffered solution. In my opinion, this makes more sense since I have more control and it is easier to spot problematic code. When fixing such issues, I point Claude to changes afterwards to add to its context.

For me Claude is like a very (over) confident junior developer. You have to keep an eye on them and if it is faster do it yourself, then just do it and explain them why you did it. (That might be a bad approach for Juniors, but for Claude it works for me)

Btw, can we talk about that this blog post is written by the company that tries to sell the tool? So we should take it with a huge grain of salt... . Like all what these AI companies are telling us, should probably be ignored for 90 % of time. They either want to raise money or or getting bought by some other company in the end ...
by threatripper | 2025-07-25 05:31:59+00:00
In the past we had only x86 and they were produced by AMD and Intel, no other serious competitor left. Of course in that market it will swing back and forth between these two. The stronger competitor will not go for the kill due to government intervention.

Now we are in a different situation. There are several big competitors using ARM instead of x86. The software world is actually transitioning away from x86 in masses. Apple does their own CPUs better than Intel. AMD outsourced production already. Everybody is pumping money into TSMC who are are already ahead of Intel and they are moving faster.

Either Intel gets a really really lucky run with their new technology or they need to split off the foundry business. The government may put it on life support until TSMC themselves may run into serious problems.

The better way into the future may be to split up TSMC in multiple redundant and competing companies.
by dedicate | 2025-07-25 05:34:05+00:00
Honestly, I think focusing on what is being censored is missing the point. Today it's adult content, which is an easy target. But what about tomorrow? What if they decide your political donation is 'problematic', or the indie news site you subscribe to is 'misinformation'? We're handing a kill switch for legal commerce to a handful of unelected execs.
by landl0rd | 2025-07-25 05:34:26+00:00
When you consider with which woman to conceive children, consciously or unconsciously, you are engaging in eugenics. It’s fine. Forced sterilizations aren’t but we’re not talking about those.

There isn’t a set of magic words people use (eugenics, isms/phobias) where the person accused of said word must prove that’s not the case before he can continue. “It’s eugenics” isn’t a reason to shut someone down.
by lmm | 2025-07-25 05:35:19+00:00
> One of the most enduring ideas in educational psychology is the stage-based theory of Jean Piaget[0]. Computer use belongs very much in 'formal operations', the last stage of the theory, because everything that happens in the computer is just an abstract representation of what happens in the physical world. Progress between stages varies from child to child, but from Piaget's observations, it usually happens around the age of 11, which is when children transition from primary school to secondary school in the Australian and British school systems. This is why children struggle to learn, say, algebra, in primary school. If you introduce these ideas before children are ready for them, they internalise them as social rules in the same way as 'raise your hand before speaking in the classroom'. So not only does introducing computing too early harm the development of other skills, it also teaches a suboptimal approach to computing.

Bear in mind approximately none of his claims have been experimentally validated, and my experience (and I suspect that of many other HN users) is the opposite.
by fny | 2025-07-25 05:35:20+00:00
Range checks in Ada are basically assignment guards with some cute arithmetic attached. Ada still does most of the useful checking at runtime, so you're really just introducing more "index out of bounds". Consumer this example:

procedure Sum_Demo is subtype Index is Integer range 0 .. 10; subtype Small is Integer range 0 .. 10;

Arr : array(Index) of Integer := (others => 0); X : Small := 0; I : Integer := Integer'Value(Integer'Image(X)); -- runtime evaluation

begin for J in 1 .. 11 loop I := I + 1; end loop;

Arr(I) := 42; -- possible out-of-bounds access if I = 11

end Sum_Demo;

This compile, and the compiler will tell you: "warning: Constraint_Error will be raised at run time".

It's a stupid example for sure. Here's a more complex one:

procedure Sum_Demo is subtype Index is Integer range 0 .. 10; subtype Small is Integer range 0 .. 10; Arr : array(Index) of Integer := (others => 0); X : Small := 0; I : Integer := Integer'Value(Integer'Image(X)); -- runtime evaluation begin for J in 1 .. 11 loop I := I + 1; end loop; Arr(I) := 42; -- Let's crash it end Sum_Demo;

This again compiles, but if you run it: raised CONSTRAINT_ERROR : sum_demo.adb:13 index check failed

It's a cute feature, but it's useless for anything complex.
by tomhow | 2025-07-25 05:36:06+00:00
I've replied to them too, but it takes at least two people to make a flamewar and you could have de-escalated or stopped replying at any time. Rather than pointing the finger at someone else, please make an effort to observe the guidelines and show you're sincere about using HN as intended. If you want others to be held to a high standard you need to hold yourself to a high standard.

The right thing to do if someone else is breaking the guidelines is flag their comments and email us at hn@ycombinator.com so we can take action.
by m463 | 2025-07-25 05:36:53+00:00
This makes sense since vehicles with bigger batteries can absorb more energy with regenerative braking.

I remember decades ago where they figured out the horsepower of a high-end porsche to go 0-100-0, and if the acceleration horsepower expended was 500hp, the deceleration horsepower absorbed by the brakes was probably 1000 hp.

I wouldn't be surprised if hybrids could only absorb 10 hp, while bigger cars could absorb 50.

One thought - if any of these manufacturers provided "braking resistors" like diesel-hybrid locomotives use, regenerative energy could be electrically turned into heat, instead of mechanically by wearing the brakes.

using resistors would be "green".
by rerdavies | 2025-07-25 05:38:16+00:00
It boils down to: does it take longer to verify that the compiler did the right thing on each platform/architecture/processor you're interested in than it does to write hand-coded assembler which will be tightly tuned to a specific processor, and will not have proper instruction scheduling anyway, because humans just cannot do that anymore (and would have to be done all over again anyway for next year's Gen 16 intel processors that now have 7-wide instruction decoding stages instead of 5-wide instruction coding stages.

As for fragility, if it's an obvious candidate for a SIMD loop, all the compilers I have worked with so far will obviously auto-vectorize it.

What pushed me to the point of no going back: checking to see how they were doing it and finding complete models for the complete execution pipelines of literally hundreds of processor, and realizing that the reason why their code does such good instruction scheduling was because they had a full model of the execution pipeline! In both GCC and Clang sources. How long has this stuff been around for? A decade and a half? Two? The Compiler Kiddies needed SOMETHING to keep them occupied and employed for 20 years. And auto-vectorization was it. A major industry-wide initiative, specifically to address compiler auto-vectorization. AMAZING stuff. (Well. That and continuous never-ending C++ standards. But a LOT of auto-vectorization. And instruction scheduling).