MurphyA/hacker-news huggingface dataset:
by tptacek | 2025-09-02 21:43:58+00:00
As usual, I want to point out how silly these analyses are, because there is a whole ecosystem of companies (incl. several directly connected to major US defense contractors, and many more across the NATO countries) that provide exploit development and maintenance and implant technology. The only reason you hear about companies like Paragon is because they're comfortable being named; the ones you haven't heard about are more capable and more plugged in.

Every time a story on HN comes up about how bug bounties are underpaid and how much exploits are worth, I recite the bit about how serious grey-market vendors can run up the score on a serious vulnerability by (1) selling the same vulnerability to every IC/LEO agency in allied countries and (2) selling maintenance contracts to convert those agencies into recurring revenue. These are the companies I'm talking about when I say that. I'm never thinking of Paragon.

Of course ICE has exploit and implant tech.
Show HN: Davia – A community platform to build, share, and edit applications
by ruben-davia | 2025-09-02 21:44:09+00:00
Hi HN!

I'm Ruben, the founder of Davia (https://davia.ai/). Davia is a platform to build, edit and share applications, where builders get rewarded based on usage while users can discover and reuse any app's code to fit their own needs.

The problem we're trying to solve: Today's AI coding platforms charge you upfront for creation - it's like paying per block modification in no-code solutions. This works for commercial projects because you're aiming to generate revenue that exceeds your creation costs, but doesn't fit the reality of side projects and community apps that builders share for free. Most side projects require significant SEO effort and marketing to reach people who would actually find them useful, leaving creators with great apps but no discoverability. For users, when you need a specific tool for your project, you don't want to build it from scratch when someone has probably already created something similar.

Our solution is a YouTube-style platform for apps where builders publish with open code so anyone can view, modify, and reuse applications. Unlike traditional platforms like GitHub (designed for developers as builders and users) or app stores (where code is closed and can't be modified), we focus on making apps accessible and customizable for everyone.

We verify code quality and prevent spam to maintain platform standards. Builders get rewarded when their original apps are used as foundations for others' projects. Users discover apps, customize them for their needs, and build their own versions through reuse. They can either self-host or use our platform hosting, paying based on team usage when they scale to multiple users on our infrastructure.

You can try it here: https://davia.ai/. We'd love to hear from the HN community, whether you're a vibe-coder or curious about creator economics in the age of AI-assisted development!
by sillywalk | 2025-09-02 21:44:10+00:00
Looks like they're using the SPARK subset of Ada:

"NVIDIA began implementing SPARK in its security strategy in 2019 on select pieces of firmware. They began training additional personnel in SPARK and eventually developed an in-house training program.

Several NVIDIA teams are now using SPARK for a wide range of applications that include image authentication and integrity checks for the overall GPU firmware image, BootROM and secure monitor firmware, and formally verified components of an isolation kernel for an embedded operating system, to name just a few."[0]

https://www.adacore.com/nvidia

[0] https://www.wevolver.com/article/nvidia-adoption-of-spark-us...
by Waterluvian | 2025-09-02 21:44:11+00:00
I’m not sure it’s absolutely knowable. These are all just opinions. But I feel that China is far more likely to actually care about the climate than America is.

One of the benefits of being a pseudodemocratic centralized government is that you can kind of decide something is important without worrying how to get reelected in a few years. All it takes is a leadership that decides this is their vanity project to be remembered by, or perhaps to actually care about China in 100 years (the Americans obviously can’t think or see this far anymore). This is possibly helped by having a population with a culture of collectivism. For better or worse you don’t have to actually solve the “what’s in it for me?” question that seems to completely screw climate plans when the plan is, “it’ll suck for you but your grandkids will appreciate it.”
by andrewgleave | 2025-09-02 21:45:04+00:00
> “There's kind of like two different ways you could describe what's happening in the model business right now. So, let's say in 2023, you train a model that costs 100 million dollars. > > And then you deploy it in 2024, and it makes $200 million of revenue. Meanwhile, because of the scaling laws, in 2024, you also train a model that costs a billion dollars. And then in 2025, you get $2 billion of revenue from that $1 billion, and you spend $10 billion to train the model. > > So, if you look in a conventional way at the profit and loss of the company, you've lost $100 million the first year, you've lost $800 million the second year, and you've lost $8 billion in the third year. So, it looks like it's getting worse and worse. If you consider each model to be a company, the model that was trained in 2023 was profitable.” > ... > > “So, if every model was a company, the model is actually, in this example, is actually profitable. What's going on is that at the same time as you're reaping the benefits from one company, you're founding another company that's like much more expensive and requires much more upfront R&D investment. And so, the way that it's going to shake out is this will keep going up until the numbers go very large, the models can't get larger, and then it will be a large, very profitable business, or at some point, the models will stop getting better. > > The march to AGI will be halted for some reason, and then perhaps it will be some overhang, so there will be a one-time, oh man, we spent a lot of money and we didn't get anything for it, and then the business returns to whatever scale it was at.” > ... > > “The only relevant questions are, at how large a scale do we reach equilibrium, and is there ever an overshoot?”

From Dario’s interview on Cheeky Pint: https://podcasts.apple.com/gb/podcast/cheeky-pint/id18210553...
by _aavaa_ | 2025-09-02 21:45:21+00:00
A) that’s simply untrue. Solar panels and wind turbines don’t use up the land. You can grow crops and graze under the panels and the wind turbine is mostly in the sky.

B) solar panels and wind turbines tend not to spill toxic waste into the ground around them. And tend not to be put up on your own land without your consent.
by torginus | 2025-09-02 21:45:26+00:00
I've always told people that social credit as used by China was unsed to track dishonest businesses who scammed people and/or other businesses by breaking agreements and not delivering as promised.

The fact there's a credit system that protects banks from the people makes it painfully obvious who is in charge of Western society - consider this:

You take out a loan to contract the company to build you a house. The company defaults and disappears overnight. The bank is protected automatically but it's up to you have to run after your money yourself.
by kccoder | 2025-09-02 21:46:02+00:00
> The problem is authorities just let people get away with these things for so long, especially if it was from a certain side.

Are we talking about the rich, powerful, and the politically connected side? Because they kinda get away with everything. Just look at the current administration, they clearly don't believe any laws apply to themselves. When the justice system doesn't administer justice, eventually the people take justice into their own hands, which is what we're starting to see more and more often. Hopefully justice will eventually prevail.
by dspillett | 2025-09-02 21:46:02+00:00
You just have to assume that the install balance between those with it on is not massively different to the install balance between those who do not. This might not be the safest application of statistics, but it is the best available.

If more Guix users want to be seen and counted, to show how much of a need there might be to keep it despite the current issues, then there is a simple thing they can do… Or a less simple thing: the “without a community nor help” part seems rather significant to me in “But the Debian package maintainer has the almost impossible task to backport all the security fixes without a community nor help behind [maintaining it] and as things are going, this will probably lead to the Debian guix package being removed”.
by Fnoord | 2025-09-02 21:46:08+00:00
We are after legal proof, not scientific proof. Science is too slow to stop genocide from occurring and hold those accountable.

Netanyahu is wanted for warcrimes by ICC. Is he convicted? No, he is a suspect. Is he trying to avoid getting arrested? Yes, just like Putin. Both of these countries are likely to have recently commmited warcrimes.

After WWII and 'Wir haben es nicht gewußt' we set up international organizations to avoid this happening again. Unfortunately, not everyone recognizes these organizations but that is also a tell tale of their intentions.
by kazinator | 2025-09-02 21:46:14+00:00
In Common Lisp, the type NULL is one which has only one value in its domain, which is NIL. The type of NIL is NULL.

The Common Lisp type NIL has no elements; no value exists which has type NIL.

NULL is Common Lisp's null type (and so is correctly named).

The type named NIL is Common Lisp's bottom type. The top type is T.

This is pretty clever; they found another punning of NIL and T. Everything is of type T, and nothing is of type NIL.

Only NIL is of type NULL.

The existing, ancient function NULL that predates this type system becomes a type predicate. That is to say, when we evaluate the expression (NULL NIL), yielding true, it has a semantic interpretation as a type test! By testing whether its argument is the NIL object, it's also perpetrating whether the argument is of the NULL type. And so that type name jibes with the name of the ancient NULL function.
by whatevertrevor | 2025-09-02 21:46:20+00:00
Yeah, that's an interesting side of this. How is Apple not under any fire for basically weaponizing something as basic as internet search on their platform? If we think this practice is anti-competitive shouldn't we also make it illegal for the platforms to do this?

It's a little bit like sentencing the sex-worker to jail but letting the pimp go scot free.
by nobody9999 | 2025-09-02 21:46:25+00:00
>Be careful with this argument. Cops also don't have any "obligation" to stop crime, so if we take this argument to its logical conclusion, then it's fine (or at least, it's "not unilaterally overriding laws") for a cop to stand by while someone gets lynched.

You're just figuring that out now? You're 50 years late[0] for Warren v. District of Columbia (rape, assault and burglary) and 20 years late[1] for Castle Rock v. Gonzales (triple murder).

Maybe you should start paying attention?

[0] https://en.wikipedia.org/wiki/Warren_v._District_of_Columbia

[1] https://en.wikipedia.org/wiki/Town_of_Castle_Rock_v._Gonzale...
by Barrin92 | 2025-09-02 21:46:28+00:00
>Google is bleeding so hard right now from Gen Z and especially Gen Alpha deciding to use ChatGPT

Is this an evidence based claim? From the Q2 2025 numbers Google saw double digit revenue growth YoY for search.

https://www.theguardian.com/us-news/2025/jul/23/google-expec...
by vel0city | 2025-09-02 21:46:31+00:00
> Right to work (i.e., having a valid EAD card) and immigration status are two different things

They're extremely intertwined and often practically the same thing. They become an "illegal migrant" for continuing to work to pay for groceries and rent while not having a lawful status allowing such activity. A deportable offense, correct?

> Their workloads increased significantly over the past 3-4 years due to various factors, unfortunately.

Good job showing your true colors. Issues like this have existed for decades. I know of people that struggled in this exact scenario in the 90s and 2000s, and I was only a child at the time. Maybe we should have passed that bipartisan immigration bill the orange man said no to which would have actually funded processing the workload. In the end though this administration doesn't want these people, they want to send them to prison camps. You can tell by watching what they do, raiding people showing up to their court proceedings, sending them to hellhole detention facilities without any due process, and ignoring court decisions.
by matt3D | 2025-09-02 21:46:39+00:00
They don't necessarily want to be the gatekeepers of information, they just want your next click to be another news story on their website.

External links are bad for user retention/addiction.

This also has a side effect of back linking no longer being a measure of a 'good' website, so good quality content from inconsistently trafficked sites gets buried on search results.
File protection: anonymous, open source and fast
by Gravyt1 | 2025-09-02 21:46:47+00:00
For the past few weeks, I've been working on a new version of my privacy site, which allows you to remove metadata from your files. This version is faster, more secure, and more anonymous: logins are now made with anonymous IDs, without collecting personal information.

The site supports more file types than before and remains largely open source. Everything is processed server-side and immediately returned to the user, without backup. Files are managed only in temporary variables and deleted at the end of the process.

The goal remains the same: to protect your privacy. Many people are unaware that shared files often contain sensitive information:

Photos → GPS location, date, device model

Documents → author's name, edit history, comments

This data can be used for tracking, OSINT, to feed AI, or even for identity theft.

In the future, I plan to add:

A lightweight API to automate certain tasks

New privacy-related tools

Lots of educational content

If you like the idea, feel free to test the site. I just uploaded the new version; there are probably some bugs. I don't know many thing about open source, so if someone want to help me to understand that would be kind. (:

My project: https://www.removemd.com/
by contingencies | 2025-09-02 21:47:10+00:00
A significant amount of international resource is flowing toward this project and the basic guarantees that the output (noting the process for its creation supersedes the significance of any individual artifact) will be available to the community are absent. In their place, we see hand-waving justifications. This is unacceptable. You may consider this a molehill, others do not. Science does not.
by dttze | 2025-09-02 21:47:25+00:00
>There is an old Jewish saying: the antisemite does not accuse the Jew of stealing because he thinks he stole something. He does it because he enjoys watching the Jew turn out his pockets to prove his innocence. Whether or not I was part of the pro Palestine movement is completely irrelevant to the thread and I have no obligation to prove it to you. Whether you believe it or not doesn't matter to me and iota. But tell you what, if we can put some stakes on this (e.g. $10k if I have the goods), I'll do it for money. I'll be happy to donate to your $ to the idf.

If it is irrelevant, why did you bring it up? It is obvious you are lying, like you have been in every other post in this thread.

And you had to fall back to the usual baseless accusations of antisemitism. Typical hasbara troll.
by Workaccount2 | 2025-09-02 21:47:38+00:00
Never link outside your domain has been rule #1 of the ad-driven business for years now.

Once users leave your page, they become exponentially less likely to load more ad-ridden pages from your website.

Ironically this is also why there is so much existential fear about AI in the media. LLMs will do to them what they do to primary sources (and more likely just cut them out of the loop). This Google story will get a lot of clicks. But it is easy to see a near future where an AI agent just retrieves and summarizes the case for you. And does a much better job too.
by chrisco255 | 2025-09-02 21:47:49+00:00
Nothing I said was a lie. Its literally the entire picture of their power grid not just the last 12 months of some boom cycle. You omitted the fact that the majority of their power comes from the most polluting fossil fuel in existence: coal. And it continues to grow coal capacity. It's not building these plants for shits and giggles these are capital intensive projects.
by sfjailbird | 2025-09-02 21:47:54+00:00
A hundred times more time is spent reading a given piece of code, than it took writing it, in the lifetime of that program.

OK I made up the statistic, but the core idea is true, and it's something that is rarely considered in this debate. At least with code you wrote, you can probably recognize it later when you need to maintain it or just figure out what it does.
by ankit219 | 2025-09-02 21:48:18+00:00
Re Chrome divesture:

> The remedy also extends beyond the conduct Plaintiffs seek to redress. It was Google’s control of the Chrome default, not its ownership of Chrome as a whole, that the court highlighted in its liability finding. See Google, 747 F. Supp. 3d at 120–21. Ordering Google to sell one of its most popular products, one that it has built “from the ground up” and in which it has invested (and continues to invest) billions of dollars, in the hope of opening a single channel of distribution to competition—and not even one that was unlawfully foreclosed by the challenged contracts—cannot reasonably be described as a remedy “tailored to fit the wrong creating the occasion for the remedy.” Microsoft III, 253 F.3d at 107; Rem. Tr. at 2466:23–2468:3 (Pichai); id. at 1634:23–1636:2 (Tabriz) (discussing PXR0215 at -257). Further, as a legal matter, the divestiture of Chrome exceeds the proper scope of relief. “All parties agree that the relevant geographic marketis the United States.” Google, 747 F. Supp. 3d at 107. Chrome, however, is not so geographically confined. The vast majority—over 80%—of its monthly active users are located outside the United States. Rem. Tr. at 1619:23–1620:6 (Tabriz). Plaintiffs do not try to make the case that a divestiture of Chrome to just U.S.-based users is feasible.
by hintymad | 2025-09-02 21:48:44+00:00
> The whole LLM era is horrible. All the innovation is coming "top-down" from very well funded companies

Wouldn't it be the same for the hardware companies? Not everyone could build CPUs as Intel/Motorola/IBM did, not everyone could build mainframes like IBM did, and not everyone could build smart phones like Apple or Samsung did. I'd assume it boils down the value of the LLMs instead of who has the moat. Of course, personally I really wish everyone can participate in the innovation like the internet era, like training and serving large models on a laptop. I guess that day will come, like PC over mainframes, but just not now.
by K0nserv | 2025-09-02 21:48:50+00:00
The US, like most democracies, is worse at long term planning. It needs robust incentives to counteract short term instincts.

A $100/ton carbon tax would raise $490b(based on 4.9 billion tons of co2 emissions[0]) per year that could be distributed to lower income households (to offset the effect, making the tax progressive) and be used to fund green energy investment.

0: https://ourworldindata.org/co2/country/united-states
by _aavaa_ | 2025-09-02 21:49:04+00:00
You argue that they have no incentive to look through all the apps submitted to other app stores. I disagree with this premise.

And even if it were true, it is not a counter argument to my assertion that Apple has complete control over what apps exist on every App Store.

No app goes live or stays up on any App Store without Apple’s explicit consent.
by vel0city | 2025-09-02 21:49:44+00:00
> Doesn't sound very humanistic to me, especially if you think who benefits the most from their unregulated labour.

I'm not arguing they should be breaking the law. Hence the whole "Make it easier to be documented" line. I'm saying we should change the law to document these people. This would be the first step towards making their labor regulated. I'm absolutely in agreement the current policies just lead to lots of abuse in many ways.
by AIrtemis | 2025-09-02 21:50:37+00:00
Thanks for sharing! I'm one of the makers.

We built this because we were frustrated with Apple's lack of AI features in Siri.

It basically allows you to use AI to monitor, navigate, control and execute tasks across any iOS native app. You can give instructions via voice or create custom workflows for repetitive tasks.

Happy to answer any further questions and comments.
by robocat | 2025-09-02 21:50:57+00:00
Oversimplification to single causes is sign of poor thinking.

Solar is also economically better for China.

Secondly, I would strongly guess China ramped up production thinking that there would be more overseas demand. It isn't just low demand from the US; for example my "green" New Zealand is also not buying utility scale solar (oversimplified reason from horse's mouth: it is due to our major electricity generators colluding - the actual blocking reasons are more capitalistically complex).

There are very few situations in the world where cause and effect are clear: facile explanations of cause and effect are usually wrong in important ways.
by throwawayffffas | 2025-09-02 21:50:58+00:00
I mean everything is running on the runloop, async/await, promises, and callbacks are different flavors of syntactic sugar for the same underlying thing.

In JS you can do:

async function foo(){...} function bar(){foo().then(...);}

In python though async and sync code runs in a fundamentally different way as far as I understand it.
by Analemma_ | 2025-09-02 21:51:13+00:00
> Inflation should be low and we should make it in the interests of the rich that it stays so.

The prevailing opinion of a lot of progressive economists is just the opposite: standard policy for 40 years post-Volcker was to run with low inflation, loose money and slack labor markets, and probably all this did was keep wage growth depressed.

The brief inflationary period in 2022-2023 was fantastic for low-income workers, it was the only serious growth in real wages they'd seen in a half-century. But voters revolted and probably guaranteed we'll go back to the low inflation, high unemployment policy for another generation at least.
by johncolanduoni | 2025-09-02 21:52:02+00:00
At least the cases that I’ve seen in the news have been of the form “person with established mental health issues enters feedback loop with sycophantic AI”. There may be cases that don’t fit that bill, but I haven’t seen them make headlines yet.

It’s also worth noting I don’t think we need a license or a ton of surveillance here. I think we can do a better job of moderating AI output to catch the AI telling people their family is plotting to murder them, and then send them a crisis hotline number instead. Sort of like what search engines do when you start googling methods of self-harm.