MurphyA/hacker-news huggingface dataset:
by einr | 2025-06-19 10:03:54+00:00
”NVIDIA Corporation” is a rare vendor because most browsers (Chrome, Edge, Firefox on Windows) use ANGLE and will report ”Google Inc. (NVIDIA Corporation)” as a vendor.

Basically, ”NVIDIA Corporation” means you are Firefox on Linux with an NVIDIA GPU — or Firefox on macOS with an NVIDIA GPU, which is probably even rarer.
Show HN: Boeing Flight Detector
by pankajtanwar | 2025-06-19 10:03:56+00:00
Boeing's been making headlines for all the wrong reasons lately. Door plugs flying off mid-flight, crashes, investigations, whistleblowers... the list goes on.

Yet when you're booking flights, airlines conveniently hide what aircraft you're actually flying on. So, I built a browser extension that spots Boeing aircraft on flight booking sites and slaps a big red warning on them.

Now you'll see a bright red " BOEING DETECTED" label on every Boeing flight. Book it or skip it - your call. At least you'll know what you're getting into.

extension link - https://chromewebstore.google.com/detail/boeing-flight-detec...
by iLoveOncall | 2025-06-19 10:04:12+00:00
> Everybody in the world has freedom of speech, it is a human right

This is absolutely not true.

There isn't a single country in the world with absolute freedom of speech to begin with. And even if we take the very permissive freedom of speech of the US, it is matched by only very few countries, even in the west.

As a simple example, here's a map of the countries where it's at least an offence to insult the head of state: https://upload.wikimedia.org/wikipedia/commons/8/80/Lese-maj...
by frou_dh | 2025-06-19 10:06:25+00:00
Talking of Emacs, there is a very well designed DAP-based debugger available as the 'dape' package.

https://elpa.gnu.org/packages/dape.html

The way it's designed (incl. having no dependencies) suggests that they will be angling for it to be included with stock Emacs at some point.
by diggan | 2025-06-19 10:06:43+00:00
> Meanwhile

What do you mean "meanwhile", that's exactly (among other things) the kind of stuff he's talking about? The various frictions and how you need to approach it

> anyone actually working in the space

Is this trying to say that Karpathy doesn't "actually work" with LLMs or in the ML space?

I feel like your whole comment is just reacting to the title of the YouTube video, rather than actually thinking and reflecting on the content itself.
by motorest | 2025-06-19 10:06:56+00:00
> This sort of "they're just building on" talk is weird to me, and not really relevant.

Not really. You're not talking about technology. You're debating the economics behind it. You're seeing naive fanboys praising SpaceX's costs for the likes of Starship by comparing them to the cost of the SaturnV project, arriving at the simplistic conclusion that Starship is cheaper. This is like comparing your cheap Android phone as being far cheaper than a 1950s UNIVAC. And when the silliness of this specious reasoning is called out, your reaction is to downplay it as "not really relevant"?
by pbowyer | 2025-06-19 10:08:18+00:00
With uv, is there a way to install Python and Node tools like this in a self-contained way so they appear to the system as a single executable?

I guess I don't want to duplicate Python/Node for every tool, but I also don't want it to be fragile. And this wants a Node CLI tool installed globally, which I've found breaks easily with changing versions.
by hobofan | 2025-06-19 10:08:33+00:00
The main alternative one would have for having a plug-and-play (just configure a single URL) non-MCP REST API would be to use OpenAPI definitions and ingesting them accordingly.

However, as someone that has tried to use OpenAPI for that in the past (both via OpenAI's "Custom GPT"s and auto-converting OpenAPI specifications to a list of tools), in my experience almost every existing OpenAPI spec out there is insufficient as a basis for tool calling in one way or another:

- Largely insufficient documentation on the endpoints themselves

- REST is too open to interpretation, and without operationIds (which almost nobody in the wild defines), there is usually context missing on what "action" is being triggered by POST/PUT/DELETE endpoints (e.g. many APIs do a delete of a resource via a POST or PUT, and some APIs use DELETE to archive resources)

- baseUrls are often wrong/broken and assumed to be replaced by the API client

- underdocumented AuthZ/AuthN mechanisms (usually only present in the general description comment on the API, and missing on the individual endpoints)

In practice you often have to remedy that by patching the officially distributed OpenAPI specs to make them good enough for a basis of tool calling, making it not-very-plug-and-play.

I think the biggest upside that MCP brings (given all "content"/"functionality") being equal is that using it instead of just plain REST, is that it acts as a badge that says "we had AI usage in mind when building this".

On top of that, MCP also standardizes mechanisms like e.g. elicitation that with traditional REST APIs are completely up to the client to implement.
by notahacker | 2025-06-19 10:08:59+00:00
The 'easy mode' is incredibly hard at least partly in terms of nobody else having the capability to finance it (with the possible exception of two superpowers and Jeff Bezos)

But yeah, I tend to agree that whether it ultimately succeeds or not, blowing Starship up is a "fail fast" strategy because they have the money (and the reputational capital from successful Falcon 9 launches) to learn from their mistakes that way, and not many others do. Much as the waterfall approach of big space projects gets derided, there's a reason entities that can't take the reputational hit of visibly blowing stuff up on a regular basis do it that way...
by baobun | 2025-06-19 10:09:47+00:00
XFCE is still in Fedora and AFAIK not dropping X11 anytime soon if ever.

As opposed to GNOME (removing support upstream) and KDE Plasma (Fedora disabling/removing X11 parts from their packages).

If you're on Fedora and want X11 KDE without fiddling, openSUSE Tumbleweed could be worth checking out.
by diggan | 2025-06-19 10:10:35+00:00
It is kind of a human problem too, although that the full testing suite takes X hours to run is also not fun, but it makes the human problem larger.

Say you're Human A, working on a feature. Running the full testing suite takes 2 hours from start to finish. Every change you do to existing code needs to be confirmed to not break existing stuff with the full testing suite, so some changes it takes 2 hours before you have 100% understanding that it doesn't break other things. How quickly do you lose interest, and at what point do you give up to either improve the testing suite, or just skip that feature/implement it some other way?

Now say you're Robot A working on the same task. The robot doesn't care if each change takes 2 hours to appear on their screen, the context is exactly the same, and they're still "a helpful assistant" 48 hours later when they still try to get the feature put together without breaking anything.

If you're feeling brave, you start Robot B and C at the same time.
by tpoacher | 2025-06-19 10:11:06+00:00
This isn't about bubbles or ignorance of the "Real World (TM)". I think this reading shows own biases about academia vs industry more than anything else.

They provide proof that fingerprinting is not only actively used, but also used effectively at that. That vendors claimed they could and would use this is still not proof, let alone gives any insight into its effectiveness or the magnitude of the problem. So this is useful work.

Especially since the extent to which it is effective in "benign" ads is also indicative of the extent to which it would be successful for tracking by other agencies.
by ljm | 2025-06-19 10:11:17+00:00
Unless the client speaks to each micro service independently without going through some kind of gateway or BFF, I'd expect you'd just plonk your MCP in front of it all and expose the same functionality clients call via API (or graphql or RPC or whatever), so it's basically just an LLM-specific interface.

No reason why you couldn't just use tool calls with OpenAPI specs though. Either way, making all your microservices talk to each other over MCP sounds wild.
by a2128 | 2025-06-19 10:12:23+00:00
I've backed a different EU alt-hardware project before and it's always more tricky to make a product than it seems.

The other project already had finalized most of the design (which took years of work prior to crowdfunding), had multiple assembled prototypes, and were promising shipping in 6 months. It turned out to take 2 to 3 years between all the component delays, negotiating with manufacturers, getting production lines set up, hardware certification, fixing design flaws, yelling at manufacturers for doing something wrong. Some of these delays probably could've been avoidable but there truly seemed to be surprises every step of the way.

These people seem to have not much more than a dev board that talks to a PC, and are promising to go from that to shipping fully assembled phones in 1 year. It would truly be amazing to see but I really don't think that's a realistic amount of time
by karmakaze | 2025-06-19 10:13:17+00:00
I don't really perceive it like that. For me it's more like I'm driving and the AI passenger keeps interjecting with insidiously upbeat back-seat-driver-instructions. What I find tiresome is the pause waiting for responses that break my flow state. Using faster models is tiring from having to extensively correct its understanding of the prompts and output. I don't vibe code, I use the AI to solve specific design or implementation problems and I'll recognize a suitable solution when it presents one, or get it to critique one I'm proposing.
by jsnell | 2025-06-19 10:14:05+00:00
> If you contribute nothing and demand security fixes, then you’re not a leecher — you’re a parasite, because your demands exceed your contributions;

There's the "demand" word again. Who is that demanded something from the maintainer, and where? I saw no indication in the original bug of any demands from big tech companies.

(Just the act reporting a security issue is not a demand. A verifiable bug is a bug whether it was reported or not, and reporting one is a contribution.)

When the demand part of your torrent-inspired equation is zero, how is it leeching? It's just zero, no matter what the earnings are.
by londons_explore | 2025-06-19 10:18:41+00:00
The full test suite is probably tens of thousands of tests.

But AI will do a pretty decent job of telling you which tests are most likely to fail on a given PR. Just run those ones, then commit. Cuts your test time from hours down to seconds.

Then run the full test suite only periodically and automatically bisect to find out the cause of any regressions.

Dramatically cuts the compute costs of tests too, which in big codebase can easily become whole-engineers worth of costs.
by koito17 | 2025-06-19 10:19:54+00:00
Nothing has been able to replace Magit for me, yet. Having a Zed UI for Git like Magit is my dream feature request.

With that said, Zed has effectively replaced all of Emacs for me, besides Magit. Additionally, typing in other editors feels noticeably higher latency than Zed :)

I've been daily driving Zed for almost a year now -- works best on TypeScript, Rust, and Go projects, in my opinion.

There's just so much functionality Zed has to build out to compete with modern editors (agentic coding, collaboration, debugging, edit prediction, task runners, version control). With that said, for pair-programming sessions with friends, Zed has been perfect since Linux gained screenshare support. However, there's a noticeable "pause in development" for collaboration in order to implement major features like Agentic Coding, and smaller-but-essential features like direnv integration, IME support (typing Japanese in the terminal used to be a clunky, error-prone task), dealing with the endless permutations of Python tooling so that Python files aren't a sea of red lines, etc.
by baobun | 2025-06-19 10:20:04+00:00
A lot has happened in 10 years.

At least KDE, XFCE, Cinnamon (Gnome 3 fork), Mate (Gnome 2 fork) all worth testing in approximately that order. You may also be interested in Budgie, which is very Gnomey UX but I believe remaining X11 first. Official Ubuntu Budgie installer is a thing.

Note that installing different DEs side by side may or may not have session handlers or other helper services conflict or otherwise be annoying if you leave those behind so if you want to play it safe, test in a VM or live USB to play around with a few without side-effects before committing on actually installing a new DE.
by echelon | 2025-06-19 10:20:41+00:00
The LSP support for Rust has trailed JetBrains own Rust plugin, which has long since morphed into the language-specific IDE, RustRover.

RustRover has the best AST suggestions and refactoring support out there. It works in gigantic workspaces, across build scripts, proc macros, and dynamic dispatch.

The problem with RustRover has been the lackluster AI support. I've been finding AI autocomplete generally much more useful than AST understanding, though having both would be killer.
by ricardobeat | 2025-06-19 10:22:43+00:00
> Saturn V was better by an order of magnitude and likely cheaper if you consider how much fundamental work went into creating it which is now easy to buy off the shelf.

One year of Saturn V development cost the same as the entire Starship program so far. One launch cost 20-30x more than the projected cost of a Starship launch.

It is also said that it’s simply impossible to rebuild a Saturn rocket. Not only you can’t “buy components off the shelf” because they simply don’t exist anymore, even if you had all the component blueprints (which we don’t, they were lost to time), the manufacturing know-how is long gone.

Starship was developed from scratch. SpaceX developed their own engines, their flight control surfaces are novel, the rocket structure and materials are novel, the entire approach is different. Yes, our modern electronics industry makes it “easier” but this is like saying Porsche is playing in easy mode because of the Ford Model T.
Show HN: I built Wallper, Open-Source 4K live wallpapers app for macOS
by DimKat | 2025-06-19 10:23:11+00:00
Hi everyone! I’ve recently launched Wallper, a small project I built because I couldn’t find a lightweight, native-feeling app to apply real 4K video wallpapers on macOS. You can upload your own videos (private or public), apply them to multiple monitors, and the app pauses playback in full-screen mode to save battery. I’d love to hear your thoughts, ideas, or feedback - still very early, but already live and free to try!
by jchw | 2025-06-19 10:23:22+00:00
Interesting specs. Looks like it's based on the RK3588S. In terms of CPU grunt that's a fairly good upgrade over the RK3399S used in the Pinephone Pro, ~3x more performance in single core according to Passmark[1].

For the GPU in the RK3588, there is a Mali-G610 MP4, which at least on paper looks pretty promising. Notebookcheck shows it only -35% of the Apple A14 Bionic[2]. For comparison, the Mali-T860 MP2 in the RK3399S used by the Pinephone Pro seems rather anemic by today's standards[3].

The other specs also look fairly good. 32 GiB of modular(!) RAM, two decent resolution camera sensors, a fingerprint sensor, a decently large battery, a modern modem...

It stands to reason that if they really do manage to get mainline Linux working well on this, while it won't be cutting edge by smartphone standards, it really ought to be one of the first mainline Linux phones where the performance is actually decent.

I'm cautiously optimistic. Looking at the postmarketOS compatibility list, few phones on the market have good modem support and fewer have working camera (literally no device has managed to get a "Y" in camera!) which makes me wonder if the fairly modern Qualcomm modem and fairly decent looking camera sensors they chose can really actually work under mainline Linux and a fairly stock userland. If it does, then damn. We're possibly entering peak "viable Linux phone" territory here.

[1]: https://www.cpubenchmark.net/compare/4906vs3987/Rockchip-RK3...

[2]: https://www.notebookcheck.net/ARM-Mali-G610-MP4-Benchmarks-a...

[3]: https://www.notebookcheck.net/ARM-Mali-T860-MP2-Benchmarks-a...
by hobofan | 2025-06-19 10:23:40+00:00
HTTP MCP servers is generally where the trend is moving, now that authentication/authorization in the spec is getting into shape.

That most MCP usage you'll find out in repositories in the wild is focused on local toolchains is mostly due to MCP on launch being essentially only available via the Claude Desktop client. There they also highlighted many local single-user use-cases (rather than organizational ones). That SSE support was also spotty in most implementations also didn't help.
by imiric | 2025-06-19 10:28:28+00:00
It's fascinating to see his gears grinding at 22:55 when acknowledging that a human still has to review the thousand lines of LLM-generated code for bugs and security issues if they're "actually trying to get work done". Yet these are the tools that are supposed to make us hyperproductive? This is "Software 3.0"? Give me a break.
by karmakaze | 2025-06-19 10:28:31+00:00
That's less concerning than the available built-in types:

Int: 64-bit signed integers String: UTF-8 encoded strings Bool: Boolean values (true, false) Unit: Type for functions that don’t return a meaningful value Result<T, E>: Built-in generic type for error handling

How does one to anything other than 64-bit integer math?
by ApeWithCompiler | 2025-06-19 10:28:44+00:00
A manager in our company introduced Gemini as a chat bot coupled to our documentation.

> It failed to write out our company name.The rest was flawed with hallucinations also, hardly worth to mention.

I wish this is a rage bait towards others, but what should me feelings be? After all this is the tool thats sold to me, I am expected to work with.
by throwaway290 | 2025-06-19 10:29:56+00:00
Your comparison of Muslims and American evangelicals has self selecting bias. There are places where non straight orientation is punishable by law or extrajudicially. Maybe they call you homophobic slurs but you might not walk to tell the tale. None of those places are Catholic as far as I know. One or two of them bordering Israel. In Russia if it's not done by Muslim extremists than by fascists/activists or by government classifying LGBT as extremism. (This is not anti Russian propaganda, it's in the laws. I lived in Russia for most of my life and I met let me count... zero gay people that I know of. But I know some forever unmarried people, I wonder what's going on;)
by juricake | 2025-06-19 10:30:35+00:00
I believe AI is a threat for developers, but not for engineers. I might be wrong, but this is my rationale.

Developers develop. Engineers…engineer? How insightful! Let’s try that again.

Developers implement solutions and write code. Engineers solve problems and figure out whether a problem should be solved in the first place. I’m not saying either is better, but the distinction exists.

Engineering is 90% deliberate thinking and 10% execution. Development is almost the polar opposite. LLMs are not quite the “deliberate thinking” machines, but they can certainly ship some stuff out. This is the base of my premise.

I wrote about unusual skills of highly effective engineers before, let’s use that as a barometer. Engineers are creative, disagreeable, have a bias for action, communicate well and persevere through challenging problems refusing to settle for a makeshift solution. Most of the time anyway.

Out of the five qualities, currently available AI can accomplish one. One and a half at best. It would be the bias for action and communication. And the communication would get the incomplete score due to direct disobeying of what’s being asked of it and fairly frequent hallucinative lying.

I’m not so sure I’d reach out for advice to a colleague under the influence either.

The responses look okay, but every single word needs to be double-checked. Likewise, a bias for action exists, but without deliberate thought this action is mostly futile for any problem worthy of solving. It can type, do it fast, and do it for the problems it’s “encountered” millions of times before.

When presented with a novel problem, it’ll spew out half-baked garbage. And no, power-prompts are not the solution. It’s simply not the right tool for the job.

This is where I see an opportunity to thrive in what’s coming. Positioning yourself as a problem-solver, rather than a coder or developer.

From an engineering perspective, it’s about learning how to think wider and deeper, recognizing the overarching problems and learning how to prioritize them. Being able to think of five possible solutions to a problem and evaluate them against each other.

All of this is way more effective when we’re communicating well with other people. Everyone is aligned, has more context and makes the whole thing run smoothly.

Okay, smoothly-ish.

From a business perspective, the opportunity is in connecting with it deeply. Understanding the domain, the company’s priorities and making sure we’re moving in the right direction. It’s about finding clever and creative ways to bypass entire suits of problems.

From all perspectives, the opportunity is in having a voice that isn’t an average of a million voices, but an exponent of a single one.

Wow, this even sounds poetic.

So don’t panic about AI, understand your true purpose and position yourself to be a winner in the new era.
by hobofan | 2025-06-19 10:31:11+00:00
Whether it's a non-problem or not very much depends on how much the LLM API providers actually bother to add enforcement server-side.

Anecdotally, I've seen Azure OpenAI services hallucinate tools just last week, when I provided an empty array of tools rather than not providing the tools key at all (silly me!). Up until that point I would have assumed that there are server-side safeguards against that, but now I have to consider spending time on adding client-side checks for all kinds of bugs in that area.
by aussieguy1234 | 2025-06-19 10:32:09+00:00
Usually, I'll go through my coding like I would have pre-LLMs.

Then, when I see something that looks like it can be reliably automated by an AI agent, I'll open up Cline and put Claude or Gemini Flash to work. This has a 90% success rate so far and has saved me hours of work.
by oblio | 2025-06-19 10:33:19+00:00
I think by far the biggest barrier to entry for this is actually resource usage.

Let's say there's a HDD somewhere that has thousands of files: text files, PDFs, XLS, PPT, DOC, etc. That doesn't sound like a huge amount of data to me.

However, there doesn't seem an out-of-the-box solution to ingest this into an LLM and run it to ask it simple stuff like "can you list all the invoices from 2023 and their paths?" without requiring stuff like 16GB of RAM and 8GB of VRAM, which basically puts this "search" solution out of reach for the average laptop, especially Windows laptop, in the last 5 years and probably for the next 5-10 years, too.

It's a shame, but, oh well...