MurphyA/hacker-news huggingface dataset:
by random3 | 2025-07-31 06:18:28+00:00
Exactly! The OP’s surprisal is surprising, given that 95% of all support interactions across the board are exactly like this. In fact, the internal support - i.e. the support for employees is just as bad and nonsensical.

It goes pretty much like this. If your problem needs “reasoning” that entails more than matching a direct solution, you’re getting the default answer that’s the closest match to the solution.

The only difference between live support and support docs is that live support has access to some of your data and controls over some flows (e.g. reset password)

Now the real kick - it’s like this across the board outside of tech. If you go to a hospital with a problem that is not the 95 or 99 or whatever they are “tuned” to deal with, your pretty much fucked, unless you can be resourceful or luck enough to navigate the structure until you find someone that actually knows how to.

Bureaucracies? Same.

It’s effectively the same dumb machinery with dumb human cogs that you’re always dealing with.

I think it’s simply the “limit” of average human intelligence and find it hard to believe AI will end up being dumber than this.
by realusername | 2025-07-31 06:20:03+00:00
I had the same thing with both Google and Apple.

I have a Gmail account lost because they unilaterally activated 2FA on it with a fake phone number (something like 111111111).

And for Apple, moving abroad made the appleid system crash in an loop and nobody in the support system has any idea how appleid works.

Do not use any of the tech giants for any important data.
by wldlyinaccurate | 2025-07-31 06:20:08+00:00
It brings me genuine joy to use websites like HN or Rock Auto that haven't been React-ified. The lack of frustration I feel when using fast interfaces is noticeable.

I don't really get why so many websites are slow and bloated these days. There are tools like SpeedCurve which have been around for years yet hardly anyone I know uses them.
by anshumankmr | 2025-07-31 06:20:30+00:00
That is also problematic, cause a git diff will probably require an exponential gain in context length AND also the ability for the LLM to use said context effectively.

That being said, a context length problem could be potentially be solved but it will take a bit of time, I think Llama4 had 10M context length (not sure if anyone tried prompting it with that much data to see how effective it really is)
by galaxyLogic | 2025-07-31 06:20:48+00:00
But shouldn't it also be part of the axioms what are the rules that allow you to derive new theorems from them?

So then you could self-apply it and start ... deriving new rules of how you can derive new theorems and thus also new rules, from axioms?

I'm jusr confused a bit about "axioms" and "rules". What's the difference?
by saurabhyer | 2025-07-31 06:20:50+00:00
I just open-sourced ChironX – an AI-powered guitar coaching platform that gives real-time feedback using Gemini Vision and voice feedback using Google Cloud TTS.

You upload a guitar video, and it: - Analyzes frame-by-frame finger movement - Detects chord transitions - Gives personalized audio coaching (e.g., “Your index finger is too far from the fret”)

Tech stack: - Gemini Vision API (Google) - Google Cloud Text-to-Speech - Flask + OpenCV + Vanilla JS

GitHub: https://github.com/saurabh-yergattikar/ChironX

Would love open source community's feedback, ideas, and contributions. Planning to expand this into a multi-skill AI coach (piano, tennis, drawing, yoga).
by grumbelbart2 | 2025-07-31 06:20:52+00:00
Work is already underway in that direction:

https://github.com/deepseek-ai/DeepSeek-Prover-V2

but also

https://deepmind.google/discover/blog/alphaevolve-a-gemini-p...

Terence Tao is doing a lot of work in this direction.
by bigstrat2003 | 2025-07-31 06:22:06+00:00
> They're trying hard to make 11 rhyme with the histories of Vista and Bob.

Windows 11 wishes it was half as good as Vista. While much-maligned, Vista was decent enough. And it didn't show you ads, try to shove MS services down your throat, or any of the other user-hostile things 11 does.
by ForOldHack | 2025-07-31 06:23:17+00:00
This is hysterical: you are a T-ball coach for tykes, which are just picking up their first good coordination, and you let them feel their way, and someone tells you otherwise. Wow. You are good, while you need 6 foot tall signs for helicopter parents that say "Do not drink engine cooling fluid!"

You are a saint..
by rramon | 2025-07-31 06:24:58+00:00
>I personally think that a key fact that is driving adoption, is that from the very beginning they used a web app instead of going native with a heavy desktop app.

In 2018 I signed up for Figma because of the Notion integration (you can embed Figma frames in Notion), and the generous free tier. Notion took off that year as well and I think both profited from another.
by bryanrasmussen | 2025-07-31 06:24:59+00:00
I bet support is probably pretty difficult to do well especially when you have lots of different products and a large international customer base. So I am quite willing to accept the idea that MS support was at one time the best one could get, for those particular very rare combination of problems, while also being apt to frustrate people using that support.

All that said - do you have a better example of support for a company with similar to MS needs?
by nickm12 | 2025-07-31 06:25:08+00:00
This is a false analogy. LLMs do not "compile" natural language to high level code in the same way that a compiler or interpreter implements a high-level programming language in terms of machine instructions (or, for that matter, how a CPU implements machine instructions in hardware).

Programming and machine languages aim for a precise and unambiguous semantics, such that it's meaningful to talk about things like whether the semantics are actually precise or whether the compiler has a bug in failing to implement the spec.

Natural language is not just a higher level of abstraction on our existing stack. If a new model comes out, or you even run an existing model with a new seed, you can get different code out that behaves differently. This is not how compilers work.
by cess11 | 2025-07-31 06:25:22+00:00
It's not, apartheid states as well as colonies are direly lacking in legitimacy.

Until 1955 Nasser was working with the israelis to achieve border security and find a non-violent solution to the rather large amount of palestinians with rather well-founded grievances that were taking advantage of the porous border. The Lavon affair occured in 1954. In February 1955 an israeli military group under Ariel Sharon attacked the egyptian army, after which Nasser changed his mind about the israelis and started actively supporting the palestinian 'fedayeen'.

Such attacks by Israel in Egypt were aimed at keeping british colonial influence alive, i.e. attempts to use the illegitimate force of another state to subjugate a neighbour. In 1973 Israel had consistently declined peace offers and made even the usians furious with their disinterest in a negotiated solution with Egypt and Syria. One should note that the cease-fire lines weren't at the israeli borders.

Around 1968 the aim of the PLO was to liberate Palestine from the jewish supremacist apartheid colony and establish a democratic state in its place, which, of course, was unacceptable to the zionist movement. The reason they resided in Lebanon was the illegal displacement of hundreds of thousands of palestinians into lebanese territory, which wasn't exactly a stabilising factor in Lebanon. Israel consistently demanded that the lebanese state should solve the problem that the israelis had forced upon it and performed 'retaliations' against lebanese civilian targets for PLO actions.

Israel also undermined lebanese political institutions by supporting christian militants, basically fomenting a civil war and trying to coerce its neighbour to install a particular government.

Consistently Israel invades, occupies, displaces and then starts to destroy homes, historical and religious sites, as well as agrarian and other civilian infrastructure. This is the main reason for Israel's dependence on conflict mines in Africa, and USA delivering oil and weaponry. More recently, as another line of revenue, Israel has developed a systematic use of its tyranny for the design and dissemination of technological tools that are used for oppressive purposes all over the world.

It's a criminal, illegitimate state predicated on the extermination of indigenous societies in its region, which is currently enacting a genocide and implicating a bunch of occidental states in it. In effect this is destroying the post-WWII international judicial order and the UN system, and will likely bring back the limitless forms of colonial and imperial violence that preceded the world wars. Russia has already taken note and ramped up its crimes against Ukraine.
by nobodywillobsrv | 2025-07-31 06:26:54+00:00
Is it just me or is the premise of this the opposite of your work life as well? I have worked in the space of "fast" primarily and that is the main objective. Fast, iterate ... Don't be like "IT" (the slow team nobody can fire who never finishes anything).

Of course fast has downsides but it's interesting this pitch is here. Must have occurred many times in the past.

"Fast" was often labeled "tactical" (as opposed to "strategic" in institutions). At the time I remember thinking a lot about how delays plus uncertainty meant death (nothing gets done, or worse). Even though Fast is often at the cost of noise and error, there is some principle that it can still improve things if not "too far".

Anyone know deeper writings on this topic?
by jjav | 2025-07-31 06:27:34+00:00
> How come it works for basically every other job on this planet?

In sales it is uniquely easy to identify your contribution since it's literally measured in dollars coming in.

There's no way to quantify that for feature implemented/bug fixed, it would devolve into endless politics.

> how come sales people are unable to do things for a fixed monthly salary?

Sure they are able, but no good sales person is interested. Presumably you'd want to hire the good ones. You can certainly staff a mediocre sales team on a fixed salary, they just won't do much selling.
by bobthepanda | 2025-07-31 06:27:52+00:00
90 seconds is very possible in new-build lines which is what the author is talking about. You can buy a turnkey Innovia (e.g. Vancouver Skytrain) or AnsaldoBreda (e.g Copenhagen) that does this out of the box. Retrofitting 90s operation is basically impossible but not the point of this exercise.
by mikekaganski | 2025-07-31 06:27:52+00:00
No you obviously didn't read it. It writes exactly "OK, they have a stupid AI that is worse than good old filters. OK, they made it react immediately, as an undoubted authority. But that’s not a big problem, right? They provide a way to appeal! Let me do that."

If you say that it's not a depiction of what someone thinks and does facing something, you just need to improve reading skills.

And basically that wasn't something important in the article; I made it rather clear. Their following catch22 was the most likable thing IMO; that was what I explicitly emphasized.

I wonder why do I write all that, though. If someone just wants to find something irrelevant, and build their criticism on that, there's no way to prevent it.
by Fischgericht | 2025-07-31 06:28:09+00:00
- €150 is higher than 0€ - Also, you are fully wrong. The EU has an import duty of 0% on pretty much anything, especially electronics. Here, the de minimis is about the VAT. Which you therefore also are wrong about. No, there is no VAT on items below €150 - because that what our de minimis is about. Also, import VAT is easy to process. Because it's always the same amount for everything - 19% in Germany, for example. For tariffs you need to know what is INSIDE the package. - China's high tech economy does not depend on small imports. Also, they do have de minimis for import VAT, and 0% import duty on lots of stuff (again, including electronics)

The problem for low-value items is not the import duty. It's the delay of processing.

I am running an electronics development company in the EU. To us it's mission critical to be able to get devkits, samples, prototypes, spare parts etc within 5 days from China.

I would not mind having to pay $1 of duty on a $10 part. I would be in huge trouble having to wait for that part 30 days.

Also: As always, Trump gave nobody any time whatsoever to prepare. The US now suddenly will have to hire thousands of customs employees. New machinery to transport all of this. New warehouses for storing stuff that sits for customs processing.

You could not be more off here. This will turn out to be a gigantic disadvantages for huge bunch of the innovative parts of the US economy. In our industry, nothing matters more than time to get parts.

As you have noticed: All other countries have LOWERED de minimis, and they did this with 12-18 months of advance notice.

Thailand last year tried to get rid of de minimis. They reverted the decision after ONE WEEK.

You are completely underestimating the amount of the US shooting into their own feet AGAIN here. In these days of global shipping volume you MUST have de minimis a country, or else you will be de-coupled from global R&D markets.
by ohdeargodno | 2025-07-31 06:28:12+00:00
Bend over backwards to a country that tortured them and is committing a genocide against them? Would you have asked the Jews to bend over backwards to Nazi Germany to appease them?

You're not interested in discussing in good faith, pretending that this is only because of October 7. Hope you sleep soundly while tens of thousands of children die at the hand of a genocidal state.
by dwd | 2025-07-31 06:30:22+00:00
This...

I once worked on a massive codebase that had survived multiple acquisitions, renames and mergers over a 20 year period. By the time I left it had finally passed into the hands of a Fortune 500 global company.

You would often find code that matched an API call you required that was last updated in the mid-2000s, but there was a good chance that it was not the most recent code for that task, but still existed as it was needed for some bespoke function a single client used.

There could also be similar API calls with no documentation, and you had to pick the one that returned the data fields that you wanted.
by ohdeargodno | 2025-07-31 06:31:01+00:00
Cool, but none of them were parked in an open air prison and starved. And even if they were, whataboutism doesn't give Israelis the right to commit genocide.

Conflating the Jews with Israel as a whole also makes every single Jew in the world worse off and in danger. I would not advise vomiting out Bibi's propaganda unless you want to see how terrible the consequences can really get
by 2muchcoffeeman | 2025-07-31 06:31:05+00:00
This is a bit hyperbolic.

Always remember the Prof who lost 27lbs on the convenience food diet:

https://www.acsh.org/news/2010/11/09/food-for-thought-twinki...

Also remember that before the days of tracking apps and watches and services like Zoe, many of us were losing weight, keeping it off and improving athletic performance without any of that stuff.
by theshrike79 | 2025-07-31 06:31:38+00:00
Github repositories have statistics about access. Anyone can test this.

Create a new Github repo, within minutes there's someone (or something) poking around it.

Similarly if you post any credentials, they'll either get nabbed and used or a friendly scanner service will notify you about it and will tell you exactly where the credential is if you make an account in their service.
by dang | 2025-07-31 06:31:53+00:00
Except when HN itself is fckd.

It does happen less than it used to, but still.

(Edit: Btw, it's fine to say 'fucked' or other swear words on HN - we don't care about profanity and aren't Bowdlers. I add this because people sometimes misinterpret https://news.ycombinator.com/newsguidelines.html that way, assuming that we want drawing-room politness.)
by danielscrubs | 2025-07-31 06:32:27+00:00
”While in Norway, OpenAI will also engage with government officials to explore opportunities for collaboration, including boosting AI adoption and helping to deliver on Norway’s sovereign AI goals for the benefit of its people.”

Aka, Snowden thought us nothing.

Norwegians beware of ChatGPT used as a weapon to move oil money from the people to the ”future of business ”.
by lelanthran | 2025-07-31 06:32:50+00:00
> I mean, when multiple countries are signing on, I think it’s gonna be fine

So? They're not paying for it, are they?

From what I can tell in the link I posted (and this could be wrong, so corrections welcome):

1. The project needs ~$100b (although a fraction of that will be sufficient to get the first deployment online)

2. OpenAI and Softbank have each committed ~$18b

3. OpenAI is trying to raise ~$40b to stay in business

4. The majority of that ~$40b is coming from Softbank

5. Softbank has ~$30b cash on hand and is syndicating at least ~$10b in investment for the OpenAI raise.

6. OpenAI has projected a burn rate of ~$40b/year by 2028.

To me it looks like Software is committing $30b to OpenAI + $18b to Stargate. OpenAI, if the raise is successful, will receive $40b over a period of time of which $22b will be available to OpenAI if they make good on their commitment of $18b for Stargate.

Which means that OpenAI needs, in the next few years, $40b/year to run, but will only have $22b after they meet the Stargate commitment in the coming year, leaving them short of operational cash and requiring a further round of investments.
by dang | 2025-07-31 06:33:12+00:00
When did you notice HN switching to AWS, and what changed?

(Those are trick questions, because we haven't switched to AWS. But I genuinely would like to hear the answers.)

(We did switch to AWS briefly when our hosting provider went down because of a bizarre SSD self-bricking incident a few years ago...but it was only for a day or two!)
by aspenmayer | 2025-07-31 06:33:15+00:00
NPR puts that in context:

https://www.npr.org/2023/11/07/1211133201/netanyahus-referen...

Especially the correction (italics are my own and added to contrast your view with that of those who disagree with your interpretation):

> [POST-BROADCAST CORRECTION: This interview incorrectly says a quote from a speech that Israeli Prime Minister Benjamin Netanyahu gave on Oct. 28 refers to the Amalekites from the biblical Book of Samuel. The prime minister’s office added a citation to his written and translated remarks to indicate Netanyahu was quoting from the Book of Deuteronomy. Both stories call for the Israelites to completely eliminate their attackers. In the Book of Deuteronomy, the text reads “blot out the memory of Amalek from under heaven.”
by Paracompact | 2025-07-31 06:33:19+00:00
As someone who does certified programming professionally, I believe generative AI and formal methods are a match made in heaven. I might even go so far as to wager that the notion that human programmers will or will not be replaced by LLM-based AI is entirely dependent on whether these AI can get good at certified programming + compositional reasoning.

> is it possible to just throw random stuff at Lean and find interesting observations based if it approves?

Traditional AI has an easy time with checkers, because the search space is small. Chess is a little harder. Go still cannot be reasonably tackled by non-machine learning AI. Meanwhile, the search space (number of available moves together with the diversity of explorable states) for a sophisticated formal language becomes unfathomably large.

When the problem is known to be of a certain nature, often you can time-efficiently brute force it via SMT solvers. Traditionally SMT solvers and proof assistants have been separate branches of formal methods, but they're finally learning to play off each other's strengths (cf. Sledgehammer, Lean-SMT).

> like use an automated system or an llm that tries all types of wild proofs/theories? and sees if it works?

Research in this vein needs to be made more mainstream. I'm excited, though, that there have been big funders behind these ideas for years now, even before LLMs became big. Cf. "Learning to Find Proofs and Theorems by Learning to Refine Search Strategies" for earlier work, or DeepSeek-Prover for more recent attempts. I'm no machine learning expert, but it seems it's still a very open question how to best train these things and what their future potential is.

All in all mainstream LLMs are still rather mediocre at languages like Rocq and Lean. And when they're wrong, their proof scripts are extremely tedious to try to troubleshoot and correct. But I have hope AI tooling in formal methods will mature greatly over time.
by runsWphotons | 2025-07-31 06:33:55+00:00
It wasn't much like China at all in my opinion. China heavily directs its economy, subsidising industries and players it thinks are critical to compete. Their companies aren't simply "given room". The US had protectionist tariffs and gave land to railroads and stuff, but nothing like the kind of industrial policy in modern China. Nor did the US really stay out of wars, although Civil War aside it mostly avoided bad entanglements where it couldn't win or winning cost a lot.
by csa | 2025-07-31 06:35:11+00:00
> But if they build tons, the older stock drops in value.

Maybe I wasn’t clear.

The local builders are at capacity. They literally can’t build any more.

> Nobody is paying $500k for a 20 year old house if a brand new one is available for $500k next door.

People are paying $700k for a 70 yo 750 sq ft house in a mediocre neighborhood, and $1m+ for a 50 yo 1000+ sq fr house.

New houses start at $1.5m and quickly go up from there.

Most of the new housing is not in the most desirable neighborhoods (there is no space to build new SFH housing in there), so the houses in the better, established neighborhoods are holding their prices. Note that the prices might be lower than the new houses (sometimes), but they are not going down.

A result of this, using your example, is that there are rarely comparable old and new houses at similar prices.
by jjw9 | 2025-07-31 06:35:15+00:00
I’ve been experimenting a lot with Ollama and local LLMs lately, and wanted a way to make them useful while browsing — without needing to send anything to the cloud.

We tried LM Studio, Mistral via mtsy, and a few other setups — all great in different ways — but Ollama felt the most stable and portable for casual local inference.

So our small team built NativeMind, a lightweight open-source Chrome extension that connects to your local Ollama instance and lets you: • Summarize the current page in a sidebar • Ask questions about the content you’re reading • Search across open tabs • Use any Ollama model you’ve got running

It runs fully on-device. No external API calls, no accounts, no telemetry. Just local inference in your browser.

We mostly use it to speed up reading long-form content (docs, papers, articles), and it’s been surprisingly helpful for managing tab overload during research.

Here’s the repo: https://github.com/NativeMindBrowser/NativeMindExtension

We’d love feedback — especially if you’re working on local-first AI tools or using Ollama / LM Studio / mtsy in creative ways. Open to ideas, bug reports, or just chatting about workflows.