News for hackers. Stuff that matters.

stevenhuang

Re:Egoless Mathematics in the AI Era on Monday November 02, 2026 @08:59PM (#50347032)
Some are better at reading comprehension than others.
It's more likely that token costs will keep falling over time.
Re:Mathematics has changed. Let's act like it on Sunday November 01, 2026 @08:18PM (#50331867)
So drive then. You can also move. The point is there are options. Many cities have strong infrastructure and have embraced walk ability. If not driving is such a big deal to you, why not do something about it?
Re:Mathematics has changed. Let's act like it on Sunday November 01, 2026 @03:50PM (#50329726)
No one forces you to drive. You can still walk.
Re:We ran AI agent swarms in Minecraft and Mindustry on Friday October 30, 2026 @04:23AM (#50301127)
Anyone who has used local LLMs will come to this conclusion.

Too much context confuses the LLM. Reduce unnecessary context and performance improves. Not to mention, too much context and you just run out of vram.

Such limitations may be mitigated in future architectures, but it certainly isn't something you can ignore currently.

Re:I Don't Understand Quantum Physics (2018) on Saturday October 24, 2026 @05:07PM (#50225291)
Why should it be asinine? The universe is under no obligation to be understandable to humans.
> just to clear space for the things you need to comprehend.

That's really it. I've been finding the same limitations with the default PR code review tools. We currently make do by having a section in our PRs "recommended review order" with a list of files/dirs that should be looked at first, which not only is much smaller Loc than everything else but is the main relevance of the PR.

Within a given project there are inevitably certain files/concepts that are more important, and a better review tool will help emphasize the structure of a large PR to make things easier to review.

I suppose you created a web based front end to GitHub PRs for your team to use? Or is it a local tool? Wondering how yours works.

We use gitlab and there's probably some way to hook up a custom external review tool easily (a bot that posts a link to view the current PR in the tool, for example)

Thanks for the idea!

I wouldn't take stock in what LeCun says. He's already been wrong many times about what LLMs can be capable of.

We're in new grounds, no one knows which way it'll go.

Re:Sharing AI progress in mathematics on Tuesday October 06, 2026 @08:17PM (#49986126)
I don't think anyone would particularly care if only one of them is wrong, if most are correct.

If they are all wrong, that's when it would backfire.

Re:Sharing AI progress in mathematics on Tuesday October 06, 2026 @07:37PM (#49985746)
Re:Responsible Release of AI-Generated Mathematics on Saturday October 03, 2026 @10:58AM (#49944880)
At this point it takes some weird epistemics to think they'd need to outright fabricate the outcome of an investigation when countless other mathematical breakthroughs have been solved the same.

They are certainly biased, but I don't think such bias is strong enough to cause them to lie about facts. We may agree to disagree here.

Re:Responsible Release of AI-Generated Mathematics on Friday October 02, 2026 @05:39PM (#49938928)
You don't believe OpenAI given their assessment, so it seems you're not operating on evidence in the first place
Re:Responsible Release of AI-Generated Mathematics on Friday October 02, 2026 @02:46PM (#49937080)
It's not that murky anymore. It's been determined none of the chat contents were used. If you don't believe OpenAI, that's your choice.

See https://openai.com/index/navier-stokes-solution/

> Following an investigation, we have confirmed that Buckmaster’s Codex prompts over the two months preceding this announcement and paper on September 8, 2026, could not have influenced the system in any way, including through training. The OpenAI internal model used for this result was developed through large-scale reinforcement learning on top of a previously pretrained model. Our proofs also differ significantly. In the Euler case, Alpöge and Buckmaster proved a result with external forcing, while OpenAI’s system proved a result without external forcing.

Re:Claude discovers a novel enzyme system with CRISPR-like repeats on Thursday September 24, 2026 @02:06AM (#49826793)
Also called surprisal minimization in Karl Fristons free energy principle.
Re:Claude discovers a novel enzyme system with CRISPR-like repeats on Wednesday September 23, 2026 @05:15PM (#49822717)
If by now you still think it's all just hype, it's safe to say you've succumbed to a mind virus that renders you unable to think critically about AI. Otherwise you'd have some level of awareness of just how far this technology has developed, and you should find these developments more than plausible.
Re:Why building a Rust LSP is hard on Saturday September 19, 2026 @04:18PM (#49769786)
This comment makes no sense. You realize how much lsp is used in other editors like vim/neovim? The existence of lsp is exactly what lets custom editors to flourish. Any language/lsp client can add their own extensions too. Any new editor can come up with it's own way of doing things and implement it on top of lsp, as long as the lsp client supports those extra features then there's no problem. I don't know how you can get it so wrong.
> I suspect that the average user doesn’t make a distinction between Uber and driver, and possibly assume that drivers are trained to act in a safe manner.

Are you for real?

Re:Developing provably correct Rust code with Verus on Thursday September 17, 2026 @12:40AM (#49736490)
So it moves from both "my implementation and specification is incorrect", to just "my specification is incorrect".

I don't understand this type of thinking. Proving what you can is still better. Don't let perfect be the enemy of good.

Re:Ask HN: AI Panic, you buying it? on Wednesday September 16, 2026 @04:04PM (#49732209)
You have poor epistemics if you are still assigning exactly 0% probability given developments of late.
Re:Fuck it, make it anyway on Saturday September 12, 2026 @08:35PM (#49678710)
I work on firmware and deep embedded systems. Trust me when I say LLMs are getting just as capable in this domain. Eg LLMs can do RF filter design. Tell the LLM your target metrics and it will give very reasonable design constraints, especially when you come back with simulation results and relevant feedback.
Re:We Must Pace the Frontier on Saturday September 12, 2026 @05:46PM (#49677534)
No proponents of RSI state they will be operating outside of reality. Said another way, they will operate within the confines of what's possible and still be RSI. I'm quite surprised this is something that needs to be clarified.

You are constructing a straw man of your own making.

Re:We Must Pace the Frontier on Saturday September 12, 2026 @05:41PM (#49677498)
I guess self contained RSI can only possible if the information contained in all of recorded human knowledge to date is "reality-complete", ie sufficiently captures enough about reality that a "perfectly optimum learning algorithm" is theoretically able to reconstruct everything there is to know about our physical reality.

If the algorithms are insufficiently optimum or the recorded knowledge is of insufficient fidelity, then we'd find ourselves at a local optimum and would need to interface with reality.

A huge part of learning is to probe reality and observe effects, so I think even for current RSI to increase chances of success we would structure it so it can interact with an external environment of some sort, and receive inputs. It would be needlessly limiting otherwise.

Re:We Must Pace the Frontier on Saturday September 12, 2026 @05:32PM (#49677425)
> Recursive self improvement is ultimately limited by everything else that cannot move at the speed of electricity.

I'm not sure what your point is. No one thought RSI would break the laws of physics.

Re:We Must Pace the Frontier on Saturday September 12, 2026 @05:29PM (#49677410)
It takes quite a lack of foresight to think RSI is completely speculative when it's already been demonstrated how capable agents are at long horizon tasks given suitable harness and unambiguous success criteria. It's hardly a leap to give LLM the goal of improving itself on benchmarks and let it conduct it's own experiments and spin up training runs completely unsupervised.

It's strange you believe this can't happen when a weaker form of it is already happening. And to be so certain RSI can't happen when there really is no technical basis why it can't.

Re:How GPT‑5.6 Sol helps run quantum computing experiments on Wednesday September 09, 2026 @03:47PM (#49633072)
LLMs are advancing the frontiers of knowledge. Is it really that hard for you to believe that people are simply genuinely fascinated about these developments?

People are burnt twice shy and have become comically cynical. Your discernment has been completely shot.

Re:I resigned from Anthropic today on Wednesday September 09, 2026 @12:20AM (#49620934)
I wouldn't rule out pilot testimony of UFO sightings, nor the possibility we're indeed developing a machine God.

There's ample evidence to support both by now.

Re:On the Navier–Stokes Millennium Prize Problem on Tuesday September 08, 2026 @04:18PM (#49616410)
Both
Re:Stop Thinking of LLMs as Next-Token Predictors on Saturday September 05, 2026 @08:05PM (#49582009)
You might like this article about how large scale order emerges out of the small scale.

Definitely lends credence to the idea that however these models work, focusing so much on them being next token predictors may rather be incidental to deeper mechanisms behind their function.

> Some of these networks organize themselves into states that can reliably identify macroscopic patterns in data regardless of microscopic differences between the states of individual neurons in the network. The decision of which pattern will be output by the network “works at a higher level,” said Rosas.

https://www.quantamagazine.org/the-new-math-of-how-large-sca...

Re:New Mac mini, featuring M6 and M5 Pro on Wednesday August 26, 2026 @12:22AM (#49444140)
You're blaming the wrong thing.

It's the Linux kernel that deliberately does not provide user land a way to change file creation times.

Meanwhile XNU/macOS does.

FYI most physicians would find parent's advice agreeable. My physician said as much.

It doesn't take much reading about a topic as contentious as vitamin d supplements to come to similar conclusions. Have you done any review at all of the relevant literature?

Older »