MurphyA/hacker-news huggingface dataset:
by 6bb32646d83d | 2025-06-12 17:38:37+00:00
My theory is that it will not be the case.

New frameworks can be created, but they will be different from before:

- AI-friendly syntax, AI-friendly error handling

- Before being released, we will have to spend hundred of millions of token of agents reading the framework and writing documentation and working example code with it, basically creating the dataset that other AI can reference when using the new framework.

- Create a way to have that documentation/example code easily available for AI agents (via MCP or new paradigm)
by NitpickLawyer | 2025-06-12 17:39:19+00:00
You can code today with new libs, you just need to tell the model what to use. Things like context7 work, or downloading docs, llms.txt or any other thing that will pop up in the future. The idea that LLMs can only generate what they were trained on is like 3 years old. They can do pretty neat things with stuff in context today.
by v5v3 | 2025-06-12 17:39:34+00:00
"I honestly don't know how people work on things like Pegasus knowing it's being used to target and kill journalists and politicians."

You can make many people do pretty much anything under orders, and even more by rewarding them.

"I was just putting food on the table for my family..."

https://en.m.wikipedia.org/wiki/Milgram_experiment
by paul7986 | 2025-06-12 17:39:42+00:00
Well I just want to create utility images by typing the request in a text box. Im betting a few to maybe a lot of users are trying to create utility images too just by typing in the prompt.

I shouldnt need to know how to do that as a GPT and or AI user ... the AI should just do it for the user via their request in the text box. That's the magic of AI to me.
by unshavedyak | 2025-06-12 17:39:52+00:00
In the spirit of the idea, it would be the attack vector imo. So behind locked doors, buildings, safes, etc.

Eg a hacker can access my computer, even have a clipboard/keylogger on my machine, and have a difficult finding my token if it's on my phone. They need to attack my phone and my computer.

Having them both in your unlocked 1Password vault means if someone walks by your computer they can access your account. A single location with both of your "2FA". If they had a keylogger installed on your machine, they only need your single 1Pass password to breach your "2FA".

Granted i imagine that a Phone TOTP would still be a concern with a keylogger on your PC, since you still enter it on your compromised machine. Still more difficult than the having the totp key though, of course.
by GZGavinZhao | 2025-06-12 17:39:54+00:00
Formal Methods in general are underrated in the industry. Pretty much no large companies except AWS (thank you Byron Cook!) use them at a large scale.

Edit: maybe there are large companies that use them behind the curtains, but AWS is the only place I know of where they publicly acknowledge how much they appreciate and use formal methods. If you know any of them, please comment and I'd be curious to learn about how they're using it!
by gsf_emergency | 2025-06-12 17:40:29+00:00
In a better world.. goog could be as helpful towards grOS as aapl towards asahi. But "anything that doesn't detract from selling hw is fine" can't make it into goog's once-aspirational "knowledge economy" business calculus. (Legal considerations contribute further inertia)

I think though, "write-only" third-party contributions are a necessary evolutionary step towards a more balanced ecosystem, so lack of an open reference could lead to the needed experimentation, both legal and technical
by IAmBroom | 2025-06-12 17:40:36+00:00
And Caterpillar relies on customer loyalty, based on best-in-class service. Caterpillar has been known to rent equipment from their competitor and fly it by helicopter into remote mining locations while their equipment is inoperable. (Admittedly, mining is not a John Deere market, but this is about Caterpillar's service attitude.)

John Deere's model is successful, but ultimately monopolistic.
by CapricornNoble | 2025-06-12 17:41:13+00:00
>They just found a "loophole" around the Convention Against Torture

Colonial Outcasts on YT regularly makes the point that "Techniques of Imperialism used against The Colonies eventually rebounds back domestically in the form of fascism". Snatching people and sending them to questionable countries for imprisonment/intel extraction/torture is what the CIA was doing in conjunction with the help of the Assad regime(!!!).

https://www.sbs.com.au/news/article/comment-when-assads-horr...

> I think it should be the goal of all goodly people to treat everyone as humans with dignity and ensure that the type of people who are incapable of believing that way are never allowed to taste power.

I can agree with this sentiment, but:

"The avalanche has already started. It is too late for the pebbles to vote." -- Kosh, Babylon 5

It's why I displaced to Asia, where I'm supporting high trust, reasonably well-functioning societies, and can minimize my contributions to either America's domestic insanity or America's material support (intel, munitions, diplomatic cover, etc.) for the Gaza genocide. I'm trying to distance myself from shitbag regimes for a few more years until my retirement, and then reduce my family's relationship with The West to only being a source of hopefully-ancillary passive income thereafter.
by breppp | 2025-06-12 17:41:32+00:00
I don't understand what's the difference if Italy develops its own or buys it from somewhere else.

Comparably, phone tapping equipment is being sold world wide for almost a century and is used similarly

The fact that some countries that gets these tools starts listening to journalists is concerning, but at least I want to believe it happens less in functioning countries

But I don't see any issue with taking remote control of a drug dealer, terrorist or mafia phone
by bemmu | 2025-06-12 17:41:42+00:00
Agreed, the TikTok one will be vastly more popular, as it requires no creative input. Also much more near-term. Some version could be shipped within months.

It's already partially that, just with humans still supplying the prompts and doing some cherrypicking before posting their AI-generated videos. I wonder if there will be some "for you (AI)" and "for you (non-AI)", and which one will end up being the default?
by method_capital | 2025-06-12 17:41:59+00:00
Since the 1960s, revenue from total taxation as a percent of gdp is unchanged. Not also the difference in tax revenue between Europe and America stems mostly from policies that tax the middle class not the "rich":

https://manhattan.institute/article/a-comprehensive-federal-...

The U.S. already taxes the rich—measured by both tax rates and tax revenues—at levels roughly equal to the OECD average. Yes, the other 38 OECD nations collect tax revenues that, on average, exceed the U.S. by 7.5% of GDP (at all levels of government). However, nearly this entire difference results from the other 38 OECD nations hitting their middle class with value-added taxes (VATs) that raise an average of 7.2% of GDP. And while the progressive avatars of Finland, Norway, and Sweden exceed U.S. tax revenues by 16% of GDP, that gap virtually disappears after accounting for the 14.5% of GDP in higher payroll and VAT revenues that broadly hit the Nordic middle class. Europe finances its progressive spending levels on the backs of the middle class, not the wealthy.[37]

This plan should be a must read for people from any spot along the American political spectrum.
by yxhuvud | 2025-06-12 17:42:35+00:00
If it is profitable to produce heat, it means prices are negative. If prices are negative, then that is true also for cold people.

On the other hand if prices are high, and someone has sells electricity that was bought when prices were close to zero, then the cold people will get warm for cheaper than if there wasn't a battery.

Sorry, but you really make no sense.
Show HN: A Fast, Offline Tool to Search Your Images by Text or Image
by samontab | 2025-06-12 17:42:40+00:00
Hi HN,

I built a native desktop app that helps you quickly search your local images using either a text description or an image, completely offline, and no GPU required. It would be great to see what you guys think about it and have a bit of feedback.

Features:

- Text-based search: You can search your images with textual descriptions like "beer", "pizza", "a man walking on the beach", etc.

- Image-based search: You can drag and drop an image and the app will show you visually similar ones. You can also use the result images as input, which creates an interesting way of navigating your images.

- Multilingual: works out of the box in English, Spanish, French, Japanese, and other languages. There's no need to change any setting, for example you can write something in English and then write something in Japanese, and both searches will work seamlessly.

- Private and offline: nothing leaves your machine, as all the processing is done locally. At the beginning, embeddings of your images are generated and stored in an sqlite database, and then the searches are run directly on that local file.

- Simple UI: One of the main things I wanted to do is to make this super easy to use. You just drag and drop folders to index them, and an image to search with it. You can also just type at any time and that's your text search. Also provided are more standard ways of interacting with the software like keyboard navigation, file pickers, etc.

How to get it:

I published a free demo version for Windows and macOS that lets you try all these features with up to 200 indexed images. No limits on how many times you search or how long you use it. You can keep this for free, forever. If you're interested in it, you can get it at: https://samontab.itch.io/find-that-image

I made this to scratch my own itch, I have tons of local images and wanted to search them, but I usually found that the best solutions to this were cloud-based. Not much was available for offline usage, so I thought I could make something useful for me, and maybe others would find it useful as well. I'd love to hear your feedback.

Thanks for reading!
by adrian_b | 2025-06-12 17:42:44+00:00
The setup that I have described has identical behavior, except that I use a removable USB memory (containing a bootable OS kernel and encrypted SSD/HDD keys) instead of a TPM and a firmware implementing SecureBoot, which are included in the computer motherboard.

In my variant, you do not need to trust anyone but yourself, because an attacker will have access only to a system where the component that needs to be secure is not present. In your variant, you must trust the vendors of the TPM and of the firmware, that their products do not have either intentional backdoors or bugs that would allow the extraction of the secret keys.

Having seen first hand how the development of "secure" products is done even at the companies that do not have bad intentions, I do not trust anyone, except myself.
by nrclark | 2025-06-12 17:43:01+00:00
Understood. I'm actually thinking about a product design for an aarch64-based industrial controller.

I'd want to run all of the machine interfaces directly on Linux, but am interested in using Android for everything user-facing. Could I get away with running Cuttlefish in KVM (on an aarch64 SOC) and get OK performance? I'm thinking that it could be a good way to keep the important stuff isolated.
by ebenezerdiagi | 2025-06-12 17:43:12+00:00
Really impressed by how comprehensive and dev-friendly this API is. The fact that Token Metrics is opening up tools that were previously internal is a major value-add for anyone in the crypto space. Clean documentation, strong historical signals, and SDKs in Python and TypeScript—this is exactly the kind of resource that accelerates real innovation. Hats off to the team!
by LambdaComplex | 2025-06-12 17:43:18+00:00
The current ntfs3 driver is developed by a company called Paragon, and it's been part of the kernel since 5.15 or so.

I was going to add some additional comments about this, but then I found that Paragon's website has an FAQ that covers everything I was going to say (and more): https://www.paragon-software.com/us/home/ntfs3-driver-faq/
by aeze | 2025-06-12 17:43:26+00:00
Sure - it's fairly personalized based on what I'm looking to get out of my career, but it has questions roughly like this:

- Am I free from feeling frustrated/stressed at work once a week or more? - Am I free from work stress/anxieties outside of work hours? - Am I keeping up with my hobbies? - Do I feel respected and valued, with the ability to influence my work environment? - Do I feel proud of my work and confident discussing my job with others? - Am I learning/growing? - Am I excited about the company's direction and secure in its stability? - Do I feel like my job is secure?

I score each item 1-5 (1 = rarely, 5 = always) and track the total. If that total stays below my cutoff for a few months in a row, that would trigger me to start looking. Sometimes I include notes beside any low/high scores for context.

Friends have challenged this, asking if I can't just feel when it's time to move on, which I can, but I've found this leads to me being more thoughtful and proactive about it.
by cjbgkagh | 2025-06-12 17:43:30+00:00
I think the x-ray machines can now be made much more sensitive so the dose could be vastly smaller. That said, it's a bit unnerving when someone tells you something is save and then goes and hides behind a lead lined booth - even for me as someone who understands the stats around it.

I do think it's in general a good idea to use such tools for better fits, shoes tend to focused more on narrow feet which is possibly a side effect of the shoes themselves. I have to stick to certain brands that cater towards wide feet. Perhaps in the future 3D printed shoes will be good enough that I can swap out my regular shoes for hyper-customized ones.
by somenameforme | 2025-06-12 17:44:21+00:00
> There's also near zero evidence we actually need a balanced budget for a healthy economy.

I don't think this is really supportable. Obviously one can appeal to the practically endless examples of countries that destroyed their own economies with debt. Of course the obvious argument to this is that this hasn't happened to the US. But there were extremely unique, and liminal, circumstances that explain this, that a search on "exporting inflation" [1] can largely explain. And those days are mostly behind us.

We can see this playing out in practice. Current interest payments on the debt are now $1.1 trillion per year. They've grown exponentially, far faster than the debt has. [2] The reason for this is that we can't just handwave away inflation so easily anymore, so we're now experiencing more like what would happen to other countries that let their money printers get a bit too excited. The Fed is keeping rates high in hopes of bringing inflation down, but it's just not really working. What this means is that when the government sells treasuries (which is how they 'print money') they need to offer ever higher interest rates. Notably even 20 year treasuries right now are offering yields of about 5%, so it seems most are not enthusiastic about things getting much better.

I think we're well on our way to becoming another of history's cautionary tales that the next great power will also certainly think doesn't apply to them, because if something hasn't exploded in 50 years, that must mean it'll never explode.

---

[1] - https://search.brave.com/search?q=exporting+inflation

[2] - https://fred.stlouisfed.org/series/A091RC1Q027SBEA
by formerly_proven | 2025-06-12 17:45:09+00:00
No, language design decisions absolutely have a massive impact the performance envelope of compilers. Think about things like tokenization rules (Zig is designed such that every line can be tokenized independently, for example), ambiguous grammars (most vexing parse, lexer hack etc.), symbol resolution (e.g. explicit imports as in Python, Java or Rust versus "just dump eeet" imports as in C#, and also things whether symbols can be defined after being referenced) and that's before we get to the really big one: type solving.
by dylan604 | 2025-06-12 17:45:52+00:00
When did we switch the conversation to LLM issues? =)

One of the devs for a company I used to work shocked me when he said "bad data is better than no data" when inquiring about why the input field was limited to a drop down of pre-filled values that were irrelevant with no way of filling in correct data. At that point, I just felt the entire database was suspect
by steamrolled | 2025-06-12 17:47:05+00:00
> Formal Methods in general are underrated in the industry. Pretty much no large companies except AWS (thank you Byron Cook!) use them at a large scale.

At least Microsoft and Google poured a lot of money into this by funding well-staffed multi-year research projects. There's plenty of public trail in terms of research papers. It's just that not a whole lot came out of it otherwise.

The problem isn't that the methods are underrated, it's that they aren't compatible with the approach to software engineering in these places (huge monolithic codebases, a variety of evolving languages and frameworks, no rigid constraints on design principles).
by bobbylarrybobby | 2025-06-12 17:47:16+00:00
Not to be that guy who comes to Rust’s defense whenever Go is mentioned, but... Rust protects from a much larger class of errors than just memory safety. For instance, it is impossible to invalidate an iterator while iterating over it, refer to an unset or invalid value, inadvertently merely shallow copy a variable, or forget to lock/unlock a mutex.
by yencabulator | 2025-06-12 17:47:51+00:00
AWS is perhaps the most established vendor in this space. They if any should have their architecture sorted out and have great execution on their growth.

Meanwhile,

https://www.politico.com/news/2025/05/06/elon-musk-xai-memph...

https://www.newsweek.com/ai-race-fossil-powered-generators-a...

https://www.tomshardware.com/tech-industry/artificial-intell...
by torial | 2025-06-12 17:47:58+00:00
There used to be a common practice of scientists writing summaries of their research for lay people. I think they viewed it as their civic duty. I had a collection called the World of Physics which included essays written by various scientists. I originally had it in the 90s and found it again after many decades. Would highly recommend.

https://www.amazon.com/World-Physics-Library-Literature-Anti...
by staticman2 | 2025-06-12 17:48:45+00:00
I don't get it.

If I think that Rabbits and Hares are classified by Wikipedia incorrectly and Ideological Wikipedia Editors are hiding the truth with Disinformation, why would I give the model any credit if it tells the correct answer only if I develop a custom 22 point mammalian biology reasoning checklist that leads it to the Real Truth about Rabbits and Hares?

It certainly doesn't inspire confidence that any other particular question would be answered correctly?
by abdullahkhalids | 2025-06-12 17:48:48+00:00
You can definitely work at QC companies even without having a degree in the field. Many QC companies hire people from other fields because they require that expertise, say people with experience in numerical optimization. Of course, many QC companies also hire software engineers because they have complex internal software. If you are a software engineer, you can start there and then start to move laterally within the company.

Source: work at a QC company as a scientist.
by kstrauser | 2025-06-12 17:49:11+00:00
Clay is a “personal CRM”, meant for tracking your own personal contacts, not necessarily your entire enterprise’s customer list. It’s basically your address book but on steroids. I love the idea of such things where you could set reminders like “text your old college buddy if you haven’t heard from him in 6 months”. Whenever the topic comes up, people inevitably ask “can’t you just remember that on your own?” No. No, I can’t. There’s an entire to-do list industry for people who need reminders for all sorts of things.

Automattic is the Wordpress gang. Now they’ve acquired Clay.

My personal take: I like the idea of Clay and I’d installed it and played with it to see if it’d be valuable to me. However, its value is lower than the negative value of dealing with Automattic, and I’ve deleted my account now.
by teitoklien | 2025-06-12 17:49:14+00:00
A Boeing Whistleblower engineer had warned of premature failure of this Boeing 787 Dreamliner and had asked US congress to bring down every single plane of this model type 1 year ago.

He died of “suicide” suspiciously right after. I hope Boeing gets investigated for failure after failure after failure, and crashes it has caused recently.

https://www.theguardian.com/business/2024/apr/16/boeing-whis...
by CapricornNoble | 2025-06-12 17:50:43+00:00
>Collections? Like debt collection? Where are you getting that?

It's a term used in the military/national security circles for intelligence gathering.

https://www.intelligence.gov/careers/explore-careers/intelli...

https://www.esd.whs.mil/Portals/54/Documents/DD/issuances/do...
by chriswarbo | 2025-06-12 17:50:58+00:00
Heh, I use pass like this; but it's on my (Pine)Phone, so it doesn't solve the parent's original problem ;-)

Although the nice thing about CLI workflows is that I can easily run it by SSHing into my phone (just make sure you set up GPG so the passphrase prompt will appear in your terminal, and not as a popup on the phone!)
by cfata | 2025-06-12 17:51:16+00:00
Hey HN – after years juggling 20+ tabs, inboxes, and scattered tools, I built alfred_ — a customizable internet dashboard that lets you unify everything that matters to you (news, research, markets, productivity, etc.) into a single, drag-and-drop interface.

It's inspired by the simplicity of iGoogle and the modularity of Notion — but built for 2025. Still in early beta — would love your feedback or ideas on what widgets to build next.
by rdm_blackhole | 2025-06-12 17:51:52+00:00
I understand but in the past you probably did not have much of a choice. You read the newspaper your parents read or you listened to the same radio programs and watch the same TV channels so the bias was not necessarily apparent.

Nowadays, we know exactly which outlets are leaning right or left, there is clearly no doubt about.

Furthermore, I would argue that the news outlets squandered the last bit of credibility they had during the COVID period when they silenced views that were not deemed acceptable at the time.

Finally a lot of news outlets are in some parts funded by the very same governments that they are supposed to be reporting on and keep in check. How can you do your job properly without any bias if the person you are about to write about/criticize is the one who signs your paycheck?

The answer is that you don't.
by Karrot_Kream | 2025-06-12 17:52:19+00:00
Yeah I've been using Aider mostly and just started using Codex, very similar to Claude Code, yesterday. Aider is more manual and requires more guiding but it's also an order of magnitude cheaper.

The monkey brain part of me that really doesn't trust an LLM and trusts my decades of hard-won programming experience also prefers using Aider because the usage flow generally goes:

1. Iterate with Aider on a plan

2. Tell Aider to write code

3. Review the code

4. Continue hacking myself until I want to delegate something to an LLM again.

5. Head back to Step 1.

Codex automates this flow significantly but it's also a lot more expensive. Just the little bits of guiding I offer an LLM through Aider can make the whole process a lot cheaper.

It's unclear to me whether the full agentic Claude Code/Codex style approach will win or whether Aider's more carefully guided approach will win in the marketplace of ideas, but as a pretty experienced engineer Aider seems to be the sweet spot between cost, impact, and authorial input.