MurphyA/hacker-news huggingface dataset:
by AnimalMuppet | 2025-07-22 13:13:40+00:00
Lovely.

In 2008, we found out that financial assets like houses could go down, not just up, and that if they went down when financial institutions held too many loans on them, it could threated the whole financial system.

We already know crypto can go down - we've seen it over and over. We've even seen stablecoins have issues.

So I fear for the financial system's stability if this becomes widespread.
by helij | 2025-07-22 13:14:02+00:00
A lot of hate and bashing of Firefox here. On my Linux machine (relatively modern desktop) there's no difference in speed between Chrome(Chromium) and Firefox. A lot of people talk about goodies and extensions. I get it, life is easier with some of those but I just don't care. I use it barebones with enhanced tracking protection and it works flawlessly. Don't see many ads, the ones I see are not intrusive.
by throwaway2562 | 2025-07-22 13:14:36+00:00
The real shame of it is that OP claims affiliation to two respectable universities (UCL and Cambridge) and one formerly credible venue (CHI)

Mock scholarship is on the rampage. I agree: this stuff does make me understand the yahoos with a defunding urge too - not something I ever expected to feel any sympathy for, but here we are.
by palata | 2025-07-22 13:14:39+00:00
> You are in forum in a post about jj saying there is no reason to use jj

I honestly am not. I am genuinely interested. Everytime there is a post about jj I'm about to try, and then I see a comment like yours, saying "with jj you just use the intuitive syntax `jj git push -r '(trunk\(?.\).x#@ | @@.^)'`, which is a lot simpler than knowing about this weird concept of stash" and it makes me think that maybe, I'll try again next time.
by randallsquared | 2025-07-22 13:14:48+00:00
I feel like we're talking past each other. If we are to get back on a steady growth rate in energy/person, solar on earth is a great short-term part of that, fission is required for continuing it in the medium term until we figure out something else (fusion, but then whatever we might unlock down the road).

You're globalizing what I said about having enough uranium and thorium in known deposits and at current power usage, but obviously we would outgrow that as we expand into the rest of the solar system.

My point is not that we should stop or slow investment in solar (we shouldn't!), just that we'd all have been much, much better off if nuclear had continued to be adopted at speed in the last 50-60 years rather than being demonized, and for high density or unlit areas, it's still a great option and has no risk of running out of available fuel in the next hundred years.
by whamlastxmas | 2025-07-22 13:14:55+00:00
Training isn’t recreating or distributing so copyright won’t apply if the ruling is actually consistent with the intention of the law, which it may not.

Using copyrighted materials and then meaningfully transforming it isn’t infringement. LLMs only recreate original work in the same way I am when I wrote the first sentence of this paragraph because it probably exists word for word somewhere else too
by sshine | 2025-07-22 13:15:17+00:00
I migrated from Firefox to Orion half a year ago.

I am now ready to migrate back, since Orion has UX problems that aren't being addressed fast enough that are non-issues in Firefox. And because I haven't found a replacement for Firefox Sync that works as nicely (Vaultwarden is super nice, but the Bitwarden browser plugins suck ass.) I still use Orion for iOS because Firefox for iOS has such a broken memory consumption it kills my phone if I open the app.

In those six months of not primarily using Firefox on Desktop, it's been blocked by Cloudflare.

This is what happens when you lose market share below a certain threshold.

I really hate Mozilla Corporation.

But Firefox is not theirs to enshittify.

I'm back on Firefox on desktop, and am still using Firefox as a password store on iOS, since it doesn't start the app. So I can still have one source of password sync.

I'd rather not visit websites that block off browsers for not allowing them to track me. Sorry, guys, that's a shitty thing to do. I get it, Cloudflare is addressing a bot problem.
by ShinMatsura | 2025-07-22 13:15:18+00:00
Thank you very much for your feedback. As the site is still new, the criteria for “Featured Tools” haven’t been firmly established yet. At this stage, I personally select tools that I find particularly useful or meaningful. The standards for featuring tools may evolve in the future based on user feedback and requests.

I also appreciate your suggestion about indicating tool pricing. Currently, because of the large number of tools listed, it’s challenging to display comprehensive price information for every tool. However, as you pointed out, clearly marking pricing tiers—such as “Free / $ / $$ / $$$”—would make things much more user-friendly and is a great idea for future updates. I will share your feedback with the team and we’ll consider how best to implement this. If you have any more suggestions or requests, please feel free to let us know!
Show HN: kulyk-uk-en and kulyk-en-uk
by yehors | 2025-07-22 13:15:26+00:00
A new lightweight model to do machine translation Ukrainian<->English using recently published LFM2 model by LiquidAI.

Ukrainian to English: https://huggingface.co/Yehor/kulyk-uk-en

English to Ukrainian: https://huggingface.co/Yehor/kulyk-en-uk

With llama-server it gives 60 tokens/sec. on Apple M1, with NVIDIA RTX 3090 Ti it's faster around 230 tokens/sec with batch size = 1.
by 999900000999 | 2025-07-22 13:16:00+00:00
In which magical country do you suspect this would be enforced ?

Microsoft also has a captive market here. Realistically you aren't going to migrate millions of employees and servers to another tech stack, even over something egregiously bad.

Something like storing cleared data really should be handled 100% internally with an open source stack that's regularly audited.

But that sounds really difficult, even if it would be cheaper or the same price in the long run.
by andsoitis | 2025-07-22 13:16:15+00:00
> If there's anything that can be reliably predicated to be true over multiple decades it's that capitalism will continually seek to reduce labour costs and automate everything.

what about improved life quality? what about an explosion of types of jobs?

> You and I are too expensive, and have had too much power.

do you think the average citizen (or the collective) have MORE power or LESS power than 100 years ago, than 200 years ago?
by IHLayman | 2025-07-22 13:16:17+00:00
Alphabet will definitely try to do that (within their business interest and all that), but I still choose to believe in the precept that “the net interprets censorship as damage and routes around it”, as old and outdated as that sounds.

A number of my privacy-minded friends choose a bi-modal approach: have two phones, one for work and one for personal. They don’t get the recent model (costing half as much), hold onto the old phone for as long as they can, use one phone for “required” apps (Okta, Slack, those websites that only work on Chrome…) and the personal phone for everything else.

As annoying as it is, i think that compartmentalized devices/accounts/apps are the only way forward.
by freddie_mercury | 2025-07-22 13:16:33+00:00
The PEP explains why it isn't part of the regular python syntax.

uv and other tools would be forced to implement a full Python parser. And since the language changes they would need to update their parser when the language changes.

This approach doesn't have that problem.

Making it a "language feature" has no upside and lots of downside. As the PEP explains.
Ask HN: Funding – Should we wait for this fund to invest in us?
by mehra-vaayushop | 2025-07-22 13:16:34+00:00
Genuine advise needed...A fund wants to invest...they said they target 3-4 weeks to decide...It's stretching to 3 months already with no final date in sight. They say - they have got deal flow & evaluating more...

Genuine advise needed - should we wait? We already raised 75% already of our target funds...We truly want to move to customer acquisition now...though we find this will be smart money if they invest...but we don't want to wait & put effort further on fundraise beyond a hard date.

What should we do
by giancarlostoro | 2025-07-22 13:16:34+00:00
I'm about the same, I don't even know what the loading speeds issue is about, I still remember Firefox Quantum beating the daylights out of Chrome, and I don't know if Chrome ever fully caught up to Quantum?

What's really funny is for ages Chrome would load the browser window even if the whole browser UI wasn't done loading, and sometime after Quantum, Firefox started doing the same trick to make you feel as though it instantly runs.

I've been using Firefox for about 20 years or so, and I don't regret it, but also I have not noticed a degrade in performance. I'm using it on Linux so I don't know if that's drastically different on a Mac these days.
by wkat4242 | 2025-07-22 13:16:45+00:00
I know, but I don't think labour is substantially different. They're still pushing for extreme privacy invasive measures (the latest one was only withdrawn due to pressure from the US), they recently introduced mandatory visas for EU visitors.

Like I said elsewhere, it's like with the US, the trust is just gone. Besides, the tories will come back sooner or later (or worse, reform UK). They're not gone.

I'm not going to switch back and forth. Maybe if they play nice for a decade or so I'll change my mind.
by tanseydavid | 2025-07-22 13:16:55+00:00
>> The initial few implementations were of extremely poor quality, even by MS standards, but SP was positioned in the MS channel as the future of MS server side application development. So all of the consultancy/sales channel jumped on the SP wagon for any custom server projects.

The gaslighting around this matter was intense. It destroyed any remaining trust I had at that point.
Ask HN: How do you find SOTA LLMs for a task?
by throwaw12 | 2025-07-22 13:17:32+00:00
There are thousands of models at the moment available at Hugging Face. But whenever I need a model for specific task, I am struggling to find SOTA model, can you recommend me how to find it?

I am not ML practitioner, I just need models for my work, for example for coding, I know we can use Claude/Gemini models, but sometimes I want to compare them to SOTA open source, every week something better is coming and reading articles from month ago or finding LLM leaderboard for a specific task is difficult sometimes. I think some kind of model picker already exists, but don't know where
by brewmarche | 2025-07-22 13:17:37+00:00
Thanks for pointing it out.

Indeed, OpenBSD’s and NetBSD’s `env` does not support `-S`. DragonflyBSD does (as expected).

Solaris as pointed out by the first link doesn’t even support more than one argument in the shebang so no surprise that its `env` does not support it either. Neither does IllumOS (but not sure about the shebang handling)
by notakio | 2025-07-22 13:17:40+00:00
One should be wary of anyone selling you a solution to your problems they know nothing about. Naturally, the only way to be entirely secure is to shutdown all the applications and decommission all the computers, a solution which the business side tends to finds unreasonable. Thus the tender balance between business needs and business risk emerges as the deciding principle.

But the numbers are the numbers in heterogenous environments, regarding security problems by platform. And if it rains perpetual Windows-based incidents on your security staff, and you don't consider the numbers when evaluating what you will and will not do, compute/services-wise, then you are statistically likely to see the same rate of incidents, at whatever cost that comes to the business, indefinitely.
by appreciatorBus | 2025-07-22 13:18:04+00:00
Not necessarily. The ppl and firms making the capital expenditures can go bankrupt for instance. The world will carry on without them, while the infrastructure they built with those expenditures continues to provide value, just to someone else, and now at a dramatically lower capital cost.

We could compare it to the railroad boom, and the telecom boom - in both cases vast sums capital expenditures were made, and reasonable people might have concluded that eventually these expenses would have to be reimbursed through higher prices. However, in both cases, many firms simply went bankrupt and all that excess infrastructure went time to serve humanity for decades at lower cost.
by lcnPylGDnU4H9OF | 2025-07-22 13:18:13+00:00
> I don't see where you got that from

It’s been determined by the judge in the Meta case that training on the material is fair use. The suit in that case is ongoing to determine the extent of the copyright damages from downloading the material. I would not be surprised if there is an appeal to the fair use ruling but that hasn’t happened yet, as far as I know. Just saying that there is good reason for them to think it’s been allowed because it kind of has; that can be reversed but it happened.
by thinkingtoilet | 2025-07-22 13:18:50+00:00
>I've never felt impeded by loading speeds

I honestly think it's just something people here like to complain about. It's a complete non-issue. No everyday web experience is even close to being noticeably different. Full stop. It's almost like a meme, people say it because they think they should say it. I would ask those people that are complaining, what are you doing with all those extra milliseconds you claim you're saving?
by layer8 | 2025-07-22 13:19:24+00:00
I’m not really familiar with Haskell’s pattern synonyms, but maybe yes. What the visitor pattern gives you is that in principle the implementation structure can be orthogonal to the visitor case distinction. You can have objects encapsulate (and possibly hide) one structure while exposing different structural views via visitor. This also allows to re-arrange the implementation of the alternatives without breaking client code. In functional languages, you’d probably rather have functions converting the source value to a different (sum) type to perform the case distinction on.

I agree that syntactic sugar for visitor ”matching” would be nice, and it’s something a language could add. The visitor pattern itself doesn’t prevent adding such syntax.
by dylan604 | 2025-07-22 13:19:30+00:00
Your last sentence is pure gold. Since when have investors ever not been clueless about all of their investments? During due diligence, it's not the investor pouring over the books. They staff that out, and then accept the recommendation. They follow the investment of other investors that they like/follow, or they make moves because they think it's what someone they like/follow would do. I'd be flabbergasted if 10% of investors knew what 50% of their investments do other than the pitch.
by lumost | 2025-07-22 13:19:58+00:00
My 2 cents, AI tools benefit from standard software best practices just like everyone else. I use Devcontainers in vscode so that the agent can't blow up my host machine, I use 1 git commit per AI "task", and have CI/CD coverage for even my hobby projects now. When I go to production, I use CDK + self-mutating pipelines to manage deployments.

Having a read only replica of the prod database available via MCP is great, blanket permissive credentials is insane.
by AnimalMuppet | 2025-07-22 13:20:25+00:00
Deserves the blame? Absolutely.

Deserves all the blame? No, the LLM Agent (and those who wrote it) deserve some of the blame. If you wrote an agent, and the agent did that, you have a problem, and you should not have turned such an agent loose on unsuspecting users. You have some of the blame. (And yes, absolutely those users also have blame, for giving a vibe coding experiment access to their production database.)
by peerst | 2025-07-22 13:21:08+00:00
Addendum: we have Buildroot and Yocto based platforms too. Not clear on the website right now but we have three platforms actually:

* GRiSP Metal - aka just GRiSP (Erlang/Elxiir + RTEMS)

* GRiSP Alloy - Buildroot Linux based, starts the Erlang/Elixir runtime as process 1 similar to Nerves but more language agnostic (Nerves is for Elixir only) and we support RT Linux and running multiple Erlang Runtimes at different priorities

* GRiSP Forge - Similar to alloy but Yocto based.

The idea is that from the high level language level they are more or less interchangeable.
by phendrenad2 | 2025-07-22 13:21:17+00:00
Believe it or not, I think those are exceptions.

Firefox is controlled opposition, paid $400 million per year by Google. They would have died long ago if it weren't for that little detail.

Chrome is 100% owned by one corporation, and its very existence is a freemium gimmick to acquire users, and it was only open-source because Google was the "do no evil" company and wanted to stand on the high ground. Do you seriously think they LIKE Brave and de-googled Chromium existing?

It's actually hard to find organically-grown large FOSS projects, that weren't funded as part of some company's corporate moat.

But my argument is, if you find them, they're mostly GPL.
by dhdaadhd | 2025-07-22 13:21:20+00:00
Well, one thing they do not mention in framing their position is that their compliance concerns are acute because of the services they offer. They feign throughout that their risks are pedestrian.

It is not strawmanning to say that of course they have to be more worried about compliance than a hamster forum (which forum has recently decided not to comply because they [likely correctly] believe that their regulatory risks are minimal).
by mingli_yuan | 2025-07-22 13:21:29+00:00
Hi HN,

We've seen LLMs struggle with complex, multi-step reasoning tasks. The common approach, Chain-of-Thought (CoT), often requires massive datasets, is brittle, and suffers from high latency.

To tackle this, we developed the Hierarchical Reasoning Model (HRM), a novel recurrent architecture inspired by how the human brain processes information across different timescales (as seen in the diagram on the left).

It's a small model that packs a huge punch. Here are the key highlights:

Extremely Lightweight: Only 27 million parameters.

Data Efficient: Trained with just 1000 samples for the complex tasks shown.

No Pre-training Needed: It works from scratch without needing massive pre-training or any CoT supervision data.

Single Forward Pass: It solves the entire reasoning task in one go, making it incredibly fast and efficient.

How It Works HRM consists of two interconnected recurrent modules that mimic brain-wave coupling:

High-level Module: Operates slowly, like the brain's Theta waves (θ, 4-8Hz), to handle abstract planning and goal setting.

Low-level Module: Operates quickly, like Gamma waves (γ, ~40Hz), to execute the fine-grained computational steps.

These two modules work together, allowing the model to achieve significant computational depth while remaining stable and efficient to train.

Astonishing Performance The results speak for themselves (see charts on the right). On tasks requiring complex, precise reasoning, HRM dramatically outperforms much larger models:

Extreme Sudoku (9x9): HRM achieves 55.0% accuracy. Other models, including direct prediction and larger LLMs like Claude 3.7 8K, score 0.0%.

Hard Maze (30x30): HRM finds the optimal path 74.5% of the time. Again, others score 0.0%.

ARC-AGI Benchmark: On the Abstraction and Reasoning Corpus (ARC), a key test for AGI capabilities, HRM significantly outperforms larger models with much longer context windows.

We believe HRM represents a transformative step towards more general and efficient reasoning systems. It shows that a carefully designed architecture can sometimes beat brute-force scale.

We'd love to hear your thoughts on this approach! What other applications could you see for a model like this?

Paper: https://arxiv.org/abs/2506.21734 Code: https://github.com/sapientinc/HRM
by p_ing | 2025-07-22 13:21:37+00:00
> SharePoint (and a lot of other MS stuff) didn’t win because it was bulletproof, just because it was bundled “FREE”

In what world has SharePoint Server and SharePoint Standard + Enterprise User CALs ever been "FREE"?

> Security honestly feels like a service for a lot of giants.

While code security is on Microsoft, infrastructure security is on the organization deploying SharePoint Server.

Remember, the topic you're commenting on is about SharePoint Server. Not M365. Not SPO.
by snickerdoodle12 | 2025-07-22 13:21:51+00:00
There is so much damning evidence that AI companies have committed absolutely shocking amounts of piracy, yet nothing is being done.

It only highlights how the world really works. If you have money you get to do whatever the fuck you want. If you're just a normal person you get to spend years in jail or worse.

Reminds me of https://www.youtube.com/watch?v=8GptobqPsvg
by MITSardine | 2025-07-22 13:21:52+00:00
I would distinguish between:

- methods that were devised with domain knowledge (= numerical methods)

- generic methods that rely on numerical brute forcing to interpolate general behaviour (= AI)

The qualitative leap is that numerical brute forcing is at a stage where it can be applied to useful enough generic models.

There's a fundamental difference between any ML based method and, say, classic optimization. Let's take a simple gradient descent. This solves a very specific (if general) class of problems: min_x f(x) where f is differentiable. Since f is differentiable, someone had the (straightforward) idea of using its gradient to figure out where to go. The gradient is the direction of greatest ascent, so -grad(f) comes as a good guess of where to go to decrease f. But this is local information, only valid at (or rather in the vicinity of) a point. Hence, short of improving the descent direction (which other methods do, like quasi-Newton methods, which allow a "larger vicinity" of descent direction pertinence), the best you can do is iterate along x - h grad(f) at various h and find one that is optimal in some sense. How this is optimal is all worked out by hand: it should provide sufficient decrease, while still giving you some room for progression (not too low a gradient), in the case of the Wolfe-Armijo rules, for example.

These are all unimportant details, the point is the algorithms are devised by carefully examining the objects at play (here, differentiable functions), and how best to exploit their behaviour. These algorithms are quite specific; some assume the function is twice differentiable, others that it is Lipschitzian and you know the constant, in others you don't know the constant, or the function is convex...

Now in AI, generally speaking, you define a parametric function family (the parameters are called weights) and you fit that family of functions so that it maps inputs to desired ouputs (called training). This is really meta-algorithmics, in a sense. No domain knowledge required to devise an algorithm that solves, say, the heat equation (though it will do so badly) or can reproduce some probability distribution. Under the assumption that your parametric function family is large enough that it can interpolate the behaviour you're looking after, of course. (correct me on this paragraph if I'm wrong)

To summarize, in my (classic numerics trained) mind, classic numerics is devising methods that apply to specific cases and require knowledge of the objects at play, and AI is devising general interpolators that can fit to varied behaviour given enough CPU (or GPU as it were) time.

So, this article is clearly not describing AI as people usually mean it in academia, at least. I'll bet you a $100 the authors of the software they used don't describe it as AI.