MurphyA/hacker-news huggingface dataset:
by Havoc | 2025-09-20 14:16:09+00:00
This has very strong "cruelty is the point" vibes.

There are a fair bit of international flights in the 10-12 hour range. Add some time to pack, get to airport, baggage check, get through security & how the flight times line up and this seems calculated in a way that is precisely not doable. Never mind people not perpetually online and only seeing this a couple hours later

Meanwhile there is to my knowledge no reason why this couldn't have been 48 hours. Still fast, but doable for anyone suitably determined.
by gus_massa | 2025-09-20 14:16:18+00:00
> You can mess around with it WITHOUT creating an account!

It's not obvious. Perhaps change "Start Planing" for "Start Planing for Free". patio11 recommends big orange pancake buttons...

I entered some data and I got a form to add my email, not free info.

I also entered "Brazil" and the site proposed to autocomplete with non-touristic small towns somewhere, instead of the major beaches in Brazil
by leakycap | 2025-09-20 14:16:34+00:00
> "Legalising assisted suicide would open a Pandora’s Box of horrors"

Well, non-legal suicide is a huge problem... in other words, people are making this choice whether it is legal or not, at least in some capacities.

Having a legal avenue for someone to go down might actually put them in contact with warm humans or connections that change the outcome.

But Pandora's Box is a weak-ass argument & doesn't reflect reality where legalized suicide exists and no Pandora's Box has appeared.
by christkv | 2025-09-20 14:16:35+00:00
Compared to Europe the US has turbo speed of self-correction. EU is not doing well and it will do worse over the next decade and there seems to be no political will to put the economy back on course. Just add more regulations, costs and spending and hope for the best seems the current mantra.

Right now corporate bonds are sold at lower rates and have better credit than the public bonds for a country like France. Combination of no faith in political stability and no faith in the ability to get spending under control.

I think a lot of EU countries are going to just keep stumbling into a financial crisis that will force cuts in pensions and wealth-fare at a scale not seen post ww2. The pyramid scheme is coming due.
by bambax | 2025-09-20 14:17:23+00:00
This sounds true but isn't.

"The program should accept one parameter as a number, and output this number multiplied by two" is a spec.

input a print a*2

is a program.

But: why do that? why multiply by two? what does two represent? what do the input and output mean in the real world? what part is likely to change in the near future? etc.

Wrting the program isn't harder than writing the spec. Analyzing the problem and coming up with solutions is the hard part.

(And yes, LLMs are getting better at this everyday, but I think they still have a very long way to go.)
by ericmay | 2025-09-20 14:17:34+00:00
Thanks for expanding. I thought you were referring to roughly the same locations in South Asia but I wasn't sure. I appreciate it.

I was reading just the other day that some US companies have been spending lavishly on office space in the City of London [1].

[1] No paywall https://www.wsj.com/real-estate/commercial/apple-citadel-and...
by acoustics | 2025-09-20 14:17:39+00:00
If religion had been the cause of a lasting difference, I would have expected it to go in the opposite direction. Articulate, persuasive, emotive public testimony done in a declamatory style is part of the fabric of historical American Christianity, much more than the mostly liturgical traditions of British Christianity.

If there is a difference in communication skills, I don't think religious history explains it.
by HarHarVeryFunny | 2025-09-20 14:17:44+00:00
> The question is, which kind of environment pressure and context lead this ants to this adaptation

Given how unusual this seems to be, maybe it's better to ask how it happened rather than why it happened? If this was environmental pressure, then why don't we see the same thing happening elsewhere (was this really such a unique environment)? Maybe it's better regarded as an artifact of messy evolution - a quirk rather than a feature?

It'd seem surprising if this persists for long (evolutionary timescale) given that the mother "species" is expending resources to support a different "species", unless there is some kind of symbiosis here - a mutual benefit.
by philipkglass | 2025-09-20 14:18:03+00:00
Hydrogen gas has very low density at standard temperature and pressure. 1 kilogram of gaseous H2 occupies 11,100 liters at STP. This is great for ballooning, where the low density is the whole point, but it means that hydrogen stored for energy is excessively voluminous in the form of uncompressed gas.
by dmvdoug | 2025-09-20 14:19:13+00:00
It was very odd to start a “review” of a book from 1992 by criticizing it for lacking all the things you think a book published in 2025 should have. And then searching GitHub for code related to it, like TFA is expecting this to be something widely read as an introduction. TFA never considers who the target audience for the book was—in 1992, hardly a year when books about compilation techniques were looking to reach a wider audience (like Nyquist’s book Crafting or something).
by leakycap | 2025-09-20 14:19:49+00:00
Getting a real picture of the billing impact of AI will be difficult.

I work in a regulated industry resistant to including AI, but it is still being implemented in so many areas and just not being called "AI"

For SaaS providers, AI has provided an opportunity to address pricing with customers and that is almost never going to result in lower pricing unless the market significantly changes.
by ricardobeat | 2025-09-20 14:20:15+00:00
For hydrogen to be useful as fuel, we need it to produced at scale, transported and stored, it is not feasible to generate it on demand (even if you could, you would still need a battery for electrolysis).

The 300+ psi pressure is needed to achieve similar power density as gasoline/electric. At atmospheric pressure you need about 15 liters of hydrogen gas to match the energy in one small AA battery.
by kuschku | 2025-09-20 14:20:35+00:00
> like how AACS is continuously updated as security holes are found and compromises happen, with the keys being rotated each time

And yet with consumer hardware you can accurately rip every UHD Bluray right on release day, without any trouble.

> Can you? I mean in practice, in a practical amount of time. And is that actually done?

Most of the time effort of encoding is already spent on brute forcing these parameters to most effectively match the original input. You just need to change the way the encoder scores each possible result.

> With FHE, the "take the machine apart and analyze what it does to get the original bitstream" would be cryptographically hard, so good luck with that.

So what? You could just distribute the encrypted datastream and the key you've extracted from a device, say a smartphone you bought from an electronics recycler.

Also, I don't see how FHE with video would be possible in the next decades, considering the limitations to Moore's Law in recent years.

Video codecs are extremely complicated, requiring lots of memory and processing power.

Ten years ago, even the best gaming PCs couldn't handle software decoding. Even today many mid-range systems can't handle software video decoding.

Even hardware implementations regularly require more power and memory than the entire rest of the system. There's a reason Raspberry Pi's are primarily a video decoding chip with a CPU as coprocessor, which is why the GPU runs the bootloader.

Video is constantly at the limitations of what we can physically accomplish.

Your suggestion would require spending a massive chunk of silicon area of a SoC on a FHE decoding ASIC that would only be useful for the small minority of DRM-encumbered content people watch.

And every manufacturer, every device, would have to join, for it to make any sense at all.
by sealeck | 2025-09-20 14:20:35+00:00
> If it compiles, it typechecks. If it typechecks, the proof is correct. This is a consequence of the Curry-Howard correspondence

I think this perhaps the most common misconception of how formal verification works. If the program typechecks, then you have a proof that the program (or often a model of the program) implements the specification. However, you still have to make sure that your _specification_ is correct! This is one of the hardest parts of formal verification!
by Allvater | 2025-09-20 14:21:08+00:00
Most platforms push whatever the algorithm thinks is “engaging.” We’re trying the opposite: viewers request the videos they want. Creators then respond with tailored content — follow-ups, tutorials, or entire playlists. You can even choose the tone (light, deep-dive, conversational).

Think of it as building your own library for the weekend or the month. Prototype is up — if you want access, send me your email and I’ll give you a private link. Would love honest feedback from HN.
by kstrauser | 2025-09-20 14:21:35+00:00
I wouldn’t say I’m very familiar. I don’t use it extensively anymore, and not at all at work. But in general, I can’t imagine a way in which IBM’s own corporate culture could contribute positively to any FOSS projects if they removed the RedHat veneer. Not saying it’s impossible, just that my imagination is more limited than the idea requires.
by leakycap | 2025-09-20 14:21:37+00:00
I'm interested to see how many/few complaints we see about the iPhone Air overheating, since it has almost the exact same chip as the 17 Pro but a simpler cooling system

"My phone is really hot, is this normal or is it broken?!" is something I started getting asked by random iPhone-using friends over the last few years as they upgraded to a new model and then felt it sizzling.
by stillworks | 2025-09-20 14:21:42+00:00
I believe most of FAANGs are indeed like that ? (I was in the stack-ranking kind)

So more likely it is a requirement after all ? I say it to be a requirement because definitely not my personality trait or a skill... so something I need to figure out how to do (depending on if there are more of such team members wherever I land next, if it all in a tech job. Even if there is one such bright spark then they start creating the expectation for others. My manager quite clearly let that out not quite literally but not hard to read between the lines)
by troymc | 2025-09-20 14:21:55+00:00
Essential oils from plants (terpenes/terpenoids) are hydrogen-rich hydrocarbons and they smell nice. Menthol is an example, with a hydrogen mass fraction of about 12%. For comparison, water has a hydrogen mass fraction of about 11.2%.

If you abandon the "smell nice" constraint, you can get an even higher hydrogen mass fraction. For example, n-pentane has a hydrogen mass fraction of about 16.8% and it's liquid at a pressure of 1 atmosphere and a temperature of 25 degrees Celsius, but it evaporates rapidly, so you need to keep it in a container.

If you don't mind pressurizing the container a bit, you could put ammonia in there, and it has a hydrogen mass fraction of about 17.6%.
by einszwei | 2025-09-20 14:22:07+00:00
As someone who previously worked in US with H1Bs who were making well over half a million, I doubt your statement. I have moved out of the US a few years back though.

But regardless, I sincerely hope this policy sticks without any loopholes. This policy will only incentivise companies to move more of their operations to other countries and only keep the bare minimum in US to keep their US business thriving.
by lemeww | 2025-09-20 14:22:26+00:00
Is it Beta Caryophyllene?

Dogs can't tell which it is.

Sources of Beta Caryophyllene: black pepper, cloves, hops, basil, oregano, cinnamon, and cannabis

Caryophyllene: https://en.wikipedia.org/wiki/Caryophyllene#Natural_sources

"Even Dogs Can’t Smell the Difference" https://www.tba.org/?pg=Articles&blAction=showEntry&blogEntr...

But really, there are thousands of analogue chemicals in oranges, too.
by dmarcotte | 2025-09-20 14:22:31+00:00
Thanks for trying out KSON and having a look at the embed blocks. When embedding text inside text, the price/tax to delimit it must be paid somewhere, as the "KSON turducken" you've cooked up here demonstrates. We are familiar with this dish! Here's how we considered it in the design:

Our design observes that triple+ embedded KSON embed blocks should be rare and are zany enough information architecture that we do not need to cater to them. We accommodate singly-embedded KSON by offering `$/$$` as an alternative embed delimiter that can be used to minimize escaping (fun: if you paste your example in the playground <https://kson.org/playground/> and format it, the formatter will minimize the escaping for you).

The two-char end-delimiter is important to make it trivial to describe the end of a embed block: a `%` embed block ends if and only if exactly `%%` is encountered. This is designed to make it dead simple for humans and (especially) tools to understand the bounds of an embed.

Zig's manually-managed margin approach is interesting. Paying the embedded text price/tax with a manually managed margin is inventive, and does indeed give good whitespace control and skips all escaping. However, having to always manage that margin goes against our goal of having embed blocks facilitate "pure" embedded editing as much as possible---every block that does not contain `%%` can be edited completely in the block's native language.

Hopefully that helps make some of our goals and design decisions more clear. We've worked hard to minimize the cost of embedding while maximizing the clarity, utility and toolabilty of it. Definitely open to ideas on improving our min/max'ing here if folks see opportunities. Come chat with us on Zulip if you've got thoughts! https://kson-org.zulipchat.com/
by jsw97 | 2025-09-20 14:22:46+00:00
I use the Gemini mcp and my CLAUDE.md has instructions to consult Gemini for strategy. Seems to work well. I have the lowest Claude plan so I don’t know how this would work vs Opus, for example.

Separately, I have been meaning to implement a cheating detector — have run into Claude modifying problem statements, adding axioms, etc.
by inglor_cz | 2025-09-20 14:24:17+00:00
Masaryk was notable for his ability to take some really unpopular stands and be later proven quite correct.

For example, he was one of the people who forcefully argued for fakeness of the so-called "Manuscripts", which were held in high esteem by the emerging patriotic intellectual class.

https://en.wikipedia.org/wiki/Manuscripts_of_Dv%C5%AFr_Kr%C3...

He also took side of a Jewish guy called Leopold Hilsner, who was accused of a ritual murder of a Czech girl:

https://en.wikipedia.org/wiki/Hilsner_affair

Plenty of anti-Semites hated him for that and he received a lot of threats.

And, at an already old age, he left his country to fight for independence of future Czechoslovakia, which looked like a quixotic mission until it suddenly bore fruit.
by jwally | 2025-09-20 14:24:40+00:00
As a father of three, I think a lot about online safety. Kids need protection, but current age verification mandates are creating a dangerous precedent—not because of their goal, but because of how they’re being implemented.

Texas SB1181 and similar laws in other states require age verification for adult content. The intention is sound. The execution is problematic.

*Today’s verification methods are:*

• Expensive ($0.31–$1.53 per user)

• Privacy-invasive (require uploading government IDs)

• Easily weaponized (complex compliance makes selective enforcement trivial)

Make something costly and risky enough, and you’ve created a de facto ban without ever saying the word.

*There’s a better way.*

I’ve built a demo using passkeys and banks’ existing KYC infrastructure. Banks already verify your age when you open an account. My system lets them attest “this person is 18+” without knowing where you’re going or what you’re accessing.

*Live demo:*

https://app.hornpub.click (a mock bar & grill site)

*Video walkthrough:* https://m.youtube.com/watch?v=MmcUJ5u65Q0

The bank sees: “User needs age attestation”

The site sees: “Valid attestation from trusted institution”

Nobody sees: “John Smith, age 34, visited this specific website”

*Why this matters:*

Age verification isn’t going away. If we don’t build privacy-preserving solutions now, we’ll normalize surveillance infrastructure that gets repurposed for far more than protecting kids.

We can verify age without building databases of who visits which sites. We can protect children without creating tools for censorship. We can meet legitimate safety goals without sacrificing privacy as the cost of access.

If you see flaws in this approach or have ideas to improve it, I genuinely want to hear them. This problem deserves better solutions than we’re currently deploying. h
by mallowdram | 2025-09-20 14:24:56+00:00
The US doesn't course-correct, it barrels through when the outcome is appalling (1933) and when the leadership takes advantage of a break in the pattern (1964/1981).

The immobility of the US political system indicates it is ready to be broken in half, the reality of corporatocracy is that it is an endgame to itself in arbitrariness. Whereas all China has to do is exert its state economy leverage once the West's corporations/bonds evaporate.

The Chinese see resonance, interdependence, relationships. It's baked into their language. We see attributes, objects, units, individuals. We imposed these onto their businesses for the last 30 years, but don't think for a second we've dominated their culture. They are now far more able to use their language's inherent forms as guides to the economy.
by mrmansano | 2025-09-20 14:25:06+00:00
Anecdotally, although I'm sure it's happening to more people.

I'm Brazilian, I work in the US on H1-B. I'm on vacations in Brazil with my wife and kids, one in school age.

I also came to renew my visa stamp, as I had my extension approved not long ago. My visa is valid from September 21st, so, same day as this proclamation takes effect. And I can't go back before that because my visa is not valid.

My flight was scheduled for tomorrow, and I would land in US by Sep 22nd. Of course, I rescheduled that to not lose my ticket.

I left food in the freezer, car in the garage, and my son is missing classes. And all my family's stuff in the house. Now, I have no idea what will happen, I can't go in to get my things. At least the company is giving support, and I couldn't be more thankful.

But the thing that makes me sadder is the blatant racism towards my Indian friends, reddit and x was swarmed by an army of people that was enabled to call them... whatever they want... It's a good time to be offline now.

The H1-B program has its problems, and I understand the whole frustration with the job market, but this is not they way to solve anything.
by dennis_jeeves2 | 2025-09-20 14:25:53+00:00
>> The important piece missing from both of these comments IMHO, is that sunburns are the problematic piece.

>Then the problem is light skin tone, and the advice to wear sunscreen always, only applies to them, hence my doubts.

My view: sunscreen for any skin is not healthy, lots of marketing there. People with sensitive skin to sunlight( generally light skinned folks but not always) should either avoid harsh sun of wear clothing that will protect them from harsh sunlight.
by llm_nerd | 2025-09-20 14:26:23+00:00
> Calm down my friend, this isn't a personal attack!

How is this remotely appropriate to my reply, beyond a rather transparent attempt to taint readers?

> I take it me being Indian doesn't sit right with you, considering you're Canadian yourself.

Another incredibly weird comment, again wholly inappropriate. Does this tactic actually work?

Indians have a significant bias on this and similar topics, and given that there are several hundred million English speaking Indians online, their presence is seen in every discussion. It is always some manner of "this is good for you and it's racism if you oppose it" (which is a rather ironic given the incredible racism that Indians are often observed plying when they do get to the West).

> the company I work (not WITCH) for has sales engineers in US who are under H1B, so yes, I can claim that the legitimacy of H1B is in fact, non-zero

Instead of hiring Americans to staff an American sales office, they parachute an army of Indians into the US to use US systems to undercut Americans? This is precisely the illegitimate use of H1Bs, so what an incredible claim.

Regardless, I have no idea why you've become so angry and racist about this. Is it because you hate Canadians? Weird. Hey look, I can do that ignorant tactic to divert from the discussion as well.

> As for the "scapegoat", I've seen discussions go from "DEI" and "woke" taking away jobs to "H1B Indians".

Almost as if it's a complex and multifaceted conversation? Some are diversions, some are legitimate grievances, and again that is just nonsensical distractions. If the economic climate is bad, which you specifically said, programs like the H1B should be winnowed down to the truly exceptional. Which obviously includes zero "sales engineers".
by GeekyBear | 2025-09-20 14:26:26+00:00
> They needed to speak up as soon as the iOS/Android duopoly began to emerge

Android drove the other options out of the market because of Google's fraudulent marketing about giving users the freedom to run anything they liked and being open source.

The fraudulent marketing came first, and truly open Linux based options previously in development were the casualties.

> for most users this is a sort of technical lie that they don't really care about

People have been going on about Android being open and iOS being a closed walled garden for as long as both platforms have existed.

The excuse making about Android becoming a walled garden, so walled gardens are OK now started only after Google altered the bargain.
by kstrauser | 2025-09-20 14:26:33+00:00
Unrelated comment on the GitHub username: that was the name of my favorite dish at one of my favorite restaurants. Said diner had a charmingly stoner atmosphere: https://honeypot.net/2008/02/09/you-want-how.html

(To this day, in my house we call garlic bread “6BR”, as in, “hey Dad, could you pass the 6BR?”)
by christkv | 2025-09-20 14:26:36+00:00
In 2024 These where the top 10 h1b visa companies.

Amazon Com Services LLC- 10,044 H1-B visa holders Tata Consultancy Services LLC- 5,505 Microsoft Corporation- 5,189 Meta Platforms- 5123 Apple Inc- 4,202 Google LLC - 4,181 Cognizant Technology Solution - 2,493 JP Morgan Chase and Co - 2,440 Walmart Associates Inc - 2,390 Deloitte Consulting LLP - 2353

I'm going to speculate that this little is lost by hardening the h1b. The 100 000 a year is not going to stop someone from hiring truly "exceptional" talent.
by omarqureshi | 2025-09-20 14:26:37+00:00
Speaking purely from the UK perspective, London is expensive, however, real estate should not be seen as a cost for a large company, it's an investment. Price increases on office real estate on a year-to-year basis just in London is 5-10% per square metre.

For the UK this is amazing news, it also allows for places like Birmingham and Manchester to get a significant boost.
by testrun | 2025-09-20 14:26:41+00:00
According to Reuters, U.S. Commerce Secretary Howard Lutnick said that the $100,000 charge would apply annually for each of the three years of the visa’s duration, and added that the details were “still being considered.” The H-1B visa is a U.S. work visa that allows companies to employ foreign professionals in specialised fields like technology, engineering, and medicine. Indians account for the largest share of H-1B visa holders, making up 71% of all beneficiaries in FY2024.
by cyanydeez | 2025-09-20 14:28:16+00:00
>(which can obviously cause confusion and not apply the same rules to everyone

This is called a corrupt system. It's the intent. Trump will come out with gold visas for companies who pay him whatever favor he wants at the moment.

This corruption is meant to look at like 'just following orders'. You are providing the fascist lubricant by giving it a good faith examination.

Don't do that.