MurphyA/hacker-news huggingface dataset:
by lowkeyokay | 2025-07-28 19:12:04+00:00
Thanks for the feedback - means a lot. I had enabled high level usage tracking on Vercel. I was tracking page views to see if I got any users. I have switched to using Plausible [0], a privacy focused analytics tool, and added an opt out option on first load.

[0] https://plausible.io

edit: fixed url
by steve_adams_86 | 2025-07-28 19:12:19+00:00
What if they're using it to help them learn to program? There are plenty of valid uses people might have. And ultimately, it's their call, right? Capitalism and all that. I suppose the argument then is "just use the API", and sure, that's a solution. Yet it's odd to have an expensive subscription that's heavily rate limited like this.

It's a non-issue for me. When I hit the limit, which is rare, I go back to analog life where I use my head's brain to do the heavy lifting and that has all kinds of perks that Claude doesn't have. I get why people are frustrated, though.
by qualeed | 2025-07-28 19:12:30+00:00
I am not aware of any situations, no.

But this is getting a bit into the weeds, I think. The point is that as it stands right now, today, Visa/MC is what Steam runs on. It would take a long time (months, if not years) for Steam to roll out support for every country that has their own system (Interac, Pix, etc.). We also can't forget that not every country has systems like that.

The most reasonable course of action today is to hope that Visa/MC can be forced into providing payment processing for all legal goods and services. Meanwhile, Steam will hopefully roll out other payment methods, other countries will adopt non-Visa/MC systems, and the duopoly can slowly be broken.
by ManWith2Plans | 2025-07-28 19:12:30+00:00
Author here, and I mostly agree with this sentiment. With that said, part of my Kiro spec here, had Kiro read my other blog posts and attempt to emulate my style.

I too found the write-up to be a little dry and long-winded, even though the same critique might be leveled at myself [hopefully to a lesser extent]. I did feel like it was a good step up from the usual AI slop out there, and served to illustrate Kiro's capabilities.

I suppose in this context, I wanted to see whether I could take my reader on a journey long enough for them to be surprised by the AI reveal at the end. I'm not sure whether it achieved that but that was the artistic intent of this specific piece.
by lcnPylGDnU4H9OF | 2025-07-28 19:12:35+00:00
> Naively, before the divorce proceedings play out, I would expect the fathers to on average have access to more money and be more able to afford the expensive corrupt lawyers.

Perhaps child support/alimony money is expected to be higher than what the father would be willing to pay without a court order.

> If the judges are always ruling in favor of lawyers that donate more to them, how are mothers always winning? Are they just that much better at choosing the lawyers that donated correctly?

Marketing seems an obvious answer here. The lawyers that donate more to judges know that they will gain more from the winning mothers (or rather, their ex-husbands) so they market their services more aggressively/exclusively to women.

> How is the biggest affect of judges corruptly ruling in favor of attorneys that contributed to their campaigns that default custody tends to go 100% to moms?

Sticking with the corruption theme, there could be additional hoops that fathers are required to jump through which mothers simply aren't. Mothers could additionally be given extra leniency for mistakes where any mistake by the father is likely to render default custody.

(Not that I have any evidence that these things occur, just that they seem to be plausible explanations.)
by teamonkey | 2025-07-28 19:12:41+00:00
It is the case elsewhere, remember how close France once got to Frexit and how close the far right were to winning their most recent general election with the same claims.

But the UK has always to some extent enjoyed a fantasy of being an island under siege from mainland Europe and it something the nationalist press like to drum up.

As for its increasing poverty, the UK went all-in on neoliberalism since the ‘80s, and especially in on austerity since 2008. Entry-level wages barely grew for over 10 years. Blame the EU for that, get Brexit, more expensive goods and damage to the financial sector the country relied on. Then Covid…
by xtracto | 2025-07-28 19:12:52+00:00
If only there was some kind of decentralized technology that allowed us to move value between two independent entities in a trustless manner, at very low cost and very very fast.

No, I'm not talking about the POC that the pseudonimus guy proposed. Maybe something later that actually scales... a man can only wish that such technology will be invented sometime in the future.
by LargeWu | 2025-07-28 19:13:02+00:00
I think there's a case to be made for incentive programs for development of key drugs, akin to the way Operation Warp Speed operated for the COVID vaccines. Provide up-front cash for initial research and large guaranteed returns if a drug is approved; in exchange, the drugs become public domain.

Or, just fund government research endeavors with no profit motive. If we can have a JPL for aerospace engineering, why not for pharmaceuticals?
by jmb99 | 2025-07-28 19:13:04+00:00
I have a residential fibre connection that’s 3Gbps symmetrical, unmetered. If there was something in it for me (and I was legally shielded) I would consider renting some of that out. And there’s definitely other people out there who would change that “consider” to “definitely.” It’s possible to even get a residential 8Gbps symmetrical connection here for not a ton of money; that can support a lot of video traffic.
by devmor | 2025-07-28 19:13:11+00:00
Ideology. Some religious, some not.

Loud, wealthy people with extremist beliefs are behind most of the actions that restrict our ability to exercise our rights.

This one in particular is an attack on art. It’s not just games, but traditional types of art as well that are currently affected by this issue. There is a certain ideology that views non-mainstream art - particularly art that tells a story about uncomfortable subjects - as something “degenerate” to be eradicated.
by fn-mote | 2025-07-28 19:13:16+00:00
> Has anyone with any sort of reputation backed this takedown campaign?

Once the payment processors are on board, it doesn’t matter who else is involved. That’s all the rep you need.

Even if this was entirely the result of manufactured outrage (and I think this is your point?), you need a way forward.

I believe it is not getting rolled back even if someone were to discover the instigators are (say) Russian sock puppets.
by nemomarx | 2025-07-28 19:13:29+00:00
in case anyone is interested - collective shout claims they made a thousand phone calls to get the Credit card companies attention on this, so the bar is apparently pretty low. (I assume lower when it's something they already want to do, or think looks good optics wise.)

so there's various lists of numbers to call going around online with a target of keeping up that volume for a few weeks. I'm sure it'll fall off eventually but it might be possible to at least match collective shout here.
by sitkack | 2025-07-28 19:13:35+00:00
I don't understand how that is show stopper.

> bitcell achieves at least 10 GHz read, write, and compute operations entirely in the optical domain

> Validated on GlobalFoundries' 45SPCLO node

> X-pSRAM consumed 13.2 fJ energy per bit for XOR computation

Don't only think about area.
by andix | 2025-07-28 19:13:48+00:00
Yes, but for most things it's not significant.

For example Stack Overflow used to handle all their traffic from 9 on-prem servers (not sure if this is still the case). Millions of daily users. Power consumption and hardware cost is completely insignificant in this case.

LLM inference pricing is mostly driven by power consumption and hardware cost (which also takes a lot of power/heat to manufacture).
by nwienert | 2025-07-28 19:13:51+00:00
It's been like this, Americans heavily subsidize the world in healthcare/research.

Which becomes annoying when fairly rich Europeans ride these coattails (and defense) while being incessantly snobbish about their healthcare superiority, in large part paid for by us.

Though a big part of the Trump win comes from this - yea some Americans are rich, but a lot of them are really poor and justly mad at how much more expensive things are that we produce.
Show HN: Kiln – AI Boilerplate with Evals, Fine-Tuning, Synthetic Data, and Git
by scosman | 2025-07-28 19:14:12+00:00
I noticed there weren't boilerplates for AI projects like there were for web apps, so I built one. Same idea - everything you need to get a project up and running quickly. However, instead of web-framework/CSS/DB, it's tools for AI projects: evals, synthetic data gen, fine-tuning, and more.

Kiln is a free, open tool that gives you everything most AI projects need in one integrated package:

- Eval system: including LLM-as-judge evals, eval data generation, human baselines

- Fine-tuning: proxy to many fine-tuning providers like Fireworks/Together/OpenAI/Unsloth

- Synthetic data generation: deeply integrated into evals and fine-tuning

- Model routing: 12 providers including Ollama, OpenRouter, and more

- Git-based collaboration: projects are designed to be synced through your own git server

The key insight is that these tools work much better when they're integrated. For example, the synthetic data generator knows whether you're creating data for evals vs. fine-tuning (which have very different data needs), and evals can automatically test different prompt/model/fine-tune combinations.

It runs entirely locally - your project data stays in local files, and you control your own git repos. No external services required (though it integrates with them if you want).

Main project GitHub: https://github.com/Kiln-AI/Kiln

Demo GitHub where I use it to build a 'natural language to ffmpeg command' demo with evals, fine-tunes, and synthetic data (including demo video): https://github.com/Kiln-AI/demos/blob/main/end_to_end_projec...
by mmis1000 | 2025-07-28 19:14:35+00:00
Sony phones generally have a ok-ish hardware(their old 4k oled screen is still top-tier for watch videos to date in my opinion) and emmmm-ish software support. And depends on your region, the software support can be even worse. For example, TW-version sony phones have a serious delayed update schedule. You may get an update that others already received for half an year (and pixel phones have already got two years ago)
by robmensching | 2025-07-28 19:14:47+00:00
Oh, sure there are some. There were some before. It's Open Source after all. That's kinda' the point. :)

If more consumers choose to take on the work of maintaining their own fork because of the OSMF, that's okay too. I believe we are more likely to get contributions if more developers are in the code instead of just consuming binary builds. That's another small reason why I believe the OSMF can work.
by PeeMcGee | 2025-07-28 19:14:50+00:00
These sorts of tests are invaluable for things like ensuring adherence to specifications such as OAuth2 flows. A high-level test that literally describes each step of a flow will swiftly catch odd changes in behavior such as a request firing twice in a row or a well-defined payload becoming malformed. Say a token validator starts misbehaving and causes a refresh to occur with each request (thus introducing latency and making the IdP angry). That change in behavior would be invisible to users, but a test that verified each step in an expected order would catch it right away, and should require little maintenance unless the spec itself changes.
by notahacker | 2025-07-28 19:14:51+00:00
Sure, these guys were disgusting scumbags, but they weren't immigrants https://www.bbc.co.uk/news/articles/c2dxj570n21o

News coverage of child grooming convictions in the month of their conviction was dominated by a different group of scumbags who were convicted of similar crimes up to a decade earlier though, which underlines my point about obsessions quite neatly
by aliljet | 2025-07-28 19:15:10+00:00
Maybe this is an unpopular opinion, but it seems like Anthropic has quietly 4x'd the real cost of the Pro plan. There are 168 hours in a week, and if I'm able to (safely) bet on 40 hours of use, realistically, I just lost 75% of the value of the plan.

What are the reasonable local alternatives? 128 GB of ram, reasonably-newish-proc, 12 GB of vram? I'm okay waitign for my machine to burn away on LLM experiments I'm running, but I don't want to simply stop my work and wake up at 3 AM to start working again..
by zzo38computer | 2025-07-28 19:15:10+00:00
I prefer to pay in cash when I can do so. I think payment by cash and by barter will be better, in situations where that works.

However, for computer payment, I had another idea is to make a "computer payment file" that contains the order division and payment division, and with encryption and signature, and send that to them. You will first receive the file telling what payments are acceptable and can use that to make the file to send to them. Stallman mentioned the possibility of payment by cash by pay phones (or with a prepaid phone card), so that might be one way to do it, too; after you figure out the price, you can receive the payment code and include that in the payment file. Other methods of payment would be possible (e.g. store credit), so the payment file can work independently of what kind of payment.
by mywittyname | 2025-07-28 19:15:45+00:00
There's a ton of other payment methods that don't go through CC processors. Wire transfers, ACH, digital checks, payment apps (which are an abstraction over these), or direct payment platforms (like Paypal).

Game retailers could get together to form their own payment company, let's call it GamerPay, which deducts purchases directly from a bank account, just like most other bills we pay. They could probably get a lot of non-gaming related companies on board if they offered lower fees and/or more transparency.

People seem to forget that banks have been transferring funds between accounts for much longer than credit cards have been around. The infrastructure exists for bypassing credit cards, they just aren't what the majority use.
by specproc | 2025-07-28 19:15:56+00:00
The problem is that the investment in this day and age is entirely extractive. Strip the assets, do minimal infra, and jack up the prices. Water here is a classic example. Investors want their returns, and the best way to get it is by rent-seeking and minimal outlay. I'd go so far to argue that "investment" is the problem.

There's been enough in the way of tax breaks and "derisking". A huge part of the problem with our public finances is being on the hook for some very ill-advised "investments".

The money going out exceeds the money going in, because that's what an investment is. An opportunity to make money.
by flashgordon | 2025-07-28 19:16:56+00:00
Ok I really really have to figure out how to have a local setup of the open-source LLMs. I know i know - the "fixed costs" are high. But I have a strong feeling being able to setup local LLMs (and the rig for it) is the next build-your-own-PC phase. All I want is a coding agent and the grunt power to run it locally. Everything else Il build (generate) with it.

I see so many folks claiming crazy hardware rigs and performance numbers so no idea where to begin. Any good starting points on this?

(Ok budget is TBD - but seeing a you get X for $Y would atleast help make an informed decision).
by southernplaces7 | 2025-07-28 19:17:10+00:00
>to describe these changes as notable or remarkable relative to most other countries is nonsense. From a U.S. internet libertarian freedom-at-all-costs perspective, sure, it’s a draconian nightmare, but for normal people from the U.K. or any other country, it’s barely a blip on their radar.

This is a very dangerous measure of how worryingly authoritarian or not a particular place is becoming. People's perceptions are notoriously subject to all kinds of blindness and unknowns. The perceptions of most average Germans living in the first years of the Nazi state were also of minimal concern for authoritarianism, and little more than a series of modest blimps on the radar, and where did that take them?

This is not to compare the underlying savagery of something like the Nazi state with the soft bureaucratic smarminess of the modern UK, but the underlying risks of any creeping authoritarianism are the same: a steady normalization of deviance.
by throwup238 | 2025-07-28 19:18:13+00:00
Opus + extended thinking + deep research = 3-5 messages/reports per five hour limit. That’s the fastest way I’ve found to blow through the Pro plan.

Some stuff I’ve used it for in the last day: figuring out what a family member needs for FAFSA as a nontraditional student, help identify and authenticate some rare first editions and incunabula for a museum collection I volunteer at, find a list of social events in my area (based on my preferences) that are coming up in the next week (Chatgpt Agent works surprisingly well for this too), adapting Directus and Medusa to my project’s existing schema and writing up everything I need to migrate, and so on.

Deep research really hits the Claude limits hard and that’s the best way to avoid hallucinations when asking an important question or making it write complex code. I just switch from Claude to ChatGPT/Gemini until the limits reset but Claude’s deep research seems to handily beat Gemini (and OpenAI isnt even in the running). DR queries take much longer (5-10 min in average) but have much more in depth and accurate answers.
by the8472 | 2025-07-28 19:18:39+00:00
Well, then stop doing those transactions in <country>, not globally. Why am I not allowed to buy something just because some organization in <country> threatens lawsuits there or whatever?

In other cases multi-nationals (e.g. AWS) are perfectly willing to claim that they're operating a local company under local laws and you can totally trust them to protect local customers from extraterritorial government reach.

Additionally, if this were only about legal risk to the payment processors themselves there would be no reason for them to demand that those games are delisted. They'd only have to refuse supporting the transaction. The game stores could continue to list them and require different payment methods.
My Theory: Advertising is a lot like capitalism itself
by cm2012 | 2025-07-28 19:19:19+00:00
My Theory: Advertising is a lot like capitalism itself.

Both ads and capitalism are messy and have some externalized harms, but are better than the alternatives.

In the "advertising led" model of customer discovery, businesses advertise to essentially tell the market that they exist and provide a service. They do so by paying for advertising space across various mediums. This includes everything from their store signage to Craigslist ads, to TV and sophisticated digital advertising.

Most modern advertising is an auction where businesses compete to serve their message to customers the algorithms think are most likely to be interested.

This function - of matching users that might be interested in products to businesses providing products - is at this point hugely scaled.

People who want to ban ads will usually give the alternative of a reviewed directory of products and services for each category. That, they say, would be the ideal method of product discovery, along with word of mouth.

However, that runs immediately into the same problem that communism has historically. Who actually controls these directories, which would be a huge source of power for society? I posit that that it is impossible to centralize this effectively, and that the most likely most effective method for idea and product dispersal is something close to modern marketing and advertising.
by pron | 2025-07-28 19:19:33+00:00
P.S.

A model checker doesn't imply anything about the kind of the formal specification used. It is a program that checks whether all assignments of free variables in a formula are satisfying assignments, or "models" for the formula (a model is a satisfying assignement of free variables in a formula, i.e. assignments that make the formula true).

It is distinct from an automated proof finder in that it doesn't (necessarily) find a deductive proof in the relevant logic that the forumla is always true, but rather operates in the semantic universe of the logic.

For example, the proposition `A ⇒ A` is true for any A in a simple boolean logic. We can determine that either via a deductive proof, which consists of a sequence of application of the deductive rules of the logic, or by examining the relevant truth table; the latter method would be a form of model checking.

Neither the use of deductive proofs or of model checking implies something about the nature of the logic. They are just two different ways of determining the truth of a proposition.
by jfengel | 2025-07-28 19:19:35+00:00
Not weirder. It's doing exactly what they expected. It behaves just like plain matter.

It's really hard to work with, and it's a major feat to have accomplished this. But the result of all that huge effort was just telling us what we already knew. Or at least, we'd have been shocked if it turned out different.

Being able to do that does open up the possibility of more experiments that might turn up something weird. But so far this is precisely the existing level of quantum weirdness.
by MisterTea | 2025-07-28 19:19:38+00:00
> Right now arguably China seems like the only one to me?

They didn't build it up on their own. They saw opportunity in western businesses who wanted lower wages and less strict environmental laws, and lured them in. The western businesses then moved all their manufacturing to China who then spied on these factories to out-compete the western businesses with "home grown" products they copied.
by MattPalmer1086 | 2025-07-28 19:19:48+00:00
I will add this though. I once worked on the UK government Trusted Software Initiative.

We concluded that small companies just don't have the resource to secure things well. The only way we could move the needle at all was by better security training and awareness in the short term. But the fundamental economic point remains the same, and certainly magnified by vibe coding.

On the flip side, we can start using AI to find security problems too.
by _Algernon_ | 2025-07-28 19:19:51+00:00
Someone owns the electricity wire going to your house. Would you feel the same if they cut it because you watched porn?

It's not a problem when there is true and healthy competition. It is a problem when there is not and what they provide is critical infrastructure.

Either antitrust the shit out of them so there is healthy competition or regulate them so they have to allow payment for legal goods and services.
by Jenk | 2025-07-28 19:19:59+00:00
The one paragraph that helped jj begin to click for me was this one from Steve's Jujutsu Tutorial[0]:

> If you want to replicate git's behavior, typing an additional command after each change is done feels like overkill. But I would argue this is not the right way to use jj; as you'll see, we'll be either re-writing commits at the tip of branches, or doing multiple steps of work before updating where a branch points. In practice, it means I check the branch status before pushing code, rather than as I work. That is, the branch name tends to sit at the same change as the remote server, and when it's time to update the remote, that's when I update things locally.

[0]: https://steveklabnik.github.io/jujutsu-tutorial/sharing-code...

(emphasis mine)

That, as I interpreted it, is to mean one should begin to "forget" git in order to appreciate jj with a sense of new beginning.

Previously, I was continuously translating jj to git, and vice-versa. After reading this paragraph, I now mentally model the jj-git relationship as a kind of 3rd stage of the workflow, rather than previously assuming jj as an abstraction on top of git.