frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Coding agents think ahead of time

https://arxiv.org/abs/2607.05188
31•andre15silva•1h ago

Comments

energy123•1h ago
Confirmatory of Sutskever's view that predicting the next token forces a deep understanding. To effectively predict the next token it needs a good idea of what comes after the next token.
guhcampos•56m ago
Isn't that what "Attention is all you need" was about anyway? Does not sound like news to me.
chrisjj•50m ago
> To effectively predict the next token it needs a good idea of what comes after the next token.

And that's all it needs. Not reasoning.

brookst•34m ago
Save us from the reasoning / sentience / consciousness / thinking semantic quicksand.

Babbage’s Analytical Engine didn’t actually analyze anything, and terminology hadn’t gotten any more clear-cut since.

vidarh•31m ago
How do you define reasoning in a measurable way?
wongarsu•18m ago
At some level of performance, reasoning becomes the most effective method to predict the next token
IAmGraydon•44m ago
I think that's reading a little too much into it. The paper shows the hidden states contain signals about whether the code is good right now, and whether the run is probably going to work out. That's interesting, for sure. But it doesn't mean the model has some detailed idea of what it's going to write 25 steps later.

A lot of that signal could be much simpler stuff. This task is hard. The agent seems stuck. The tests are getting better. The current approach looks promising. All of those things make future success easier to predict without the model actually "knowing what comes next" in any strong sense.

Also, their 25 steps are agent turns, not 25 code edits. The median run had something like 52 steps but only two edits, and the program label stays the same between edits. So "25 steps ahead" may sometimes just mean basically the same codebase, with a bunch of reading and test output in between.

So yeah, I'd say it's consistent with Sutskever's view. But "consistent with" and "confirmatory of" are doing very different amounts of work here.

pal9000i•52m ago
How is this news? isn't it an obvious fact from the Transformer architecture?
energy123•49m ago
It's a mechanistic interpretability tool. Useful even if it is not surprising.
NitpickLawyer•34m ago
> isn't it an obvious fact

Just below your question is a very confidently incorrect take about "parroting"... So, not obvious at all, at least for some people :)

chrisjj•52m ago
> A coding agent solving a software-engineering task spends dozens of steps reasoning

No. That's simple PR hype. Parrotry is not reasoning.

brookst•34m ago
There is a certain amount of irony in your comment that I hope you appreciate.
astro1234•33m ago
Why not? I think there’s fairly strong evidence that there is something that convincingly looks like reasoning. I think anthropic has done some nice circuit tracing and mechanistic interpretability work on this for instance.
vidarh•30m ago
What exactly do you consider reasoning?
phkahler•44m ago
>> Probes trained to predict the outcome of future edits (before they are materialized and written on disk) achieve performance above chance up to roughly 25 steps in advance.

Are these probes effectively run in parallel? The way this reads is more about predicting a future outcome than keeping the current token relevant based on past tokens.

x312•40m ago
It's been known for several years that LLM activations encode future tokens ahead of time (e.g. https://arxiv.org/abs/2404.00859).

But this has only been shown on simple tasks, so I think this paper is still quite neat. The interesting thing is that they show "future horizon length" varies across models.

jdw64•30m ago
In other words, since the next semantic prediction for forecasting the future is built on the training dataset, it's hard for anything truly new to emerge.

Then how do humans create something 'creative'—something that didn't exist before? I think it might be because the process of simplifying the complex system of nature differs between individuals. The data being learned now is all labeled by humans and simplified through human cognition. Within that kind of information, creativity seems hard to emerge.

Ultimately, with data that already contains interpretation, no matter how much you repeat the learning, it just becomes an encyclopedia that only explores within human knowledge, repeating predictions within human interpretation. So I wonder if we actually need a different encoder that interprets raw data—not based on human interpretation.

In reality, what changed Newton's absolute time to Einstein's relativity was a conclusion derived simply from observing the world. Newton's interpretation was supported by a lot of evidence in its time. If an AI studied all the medieval data from Newton's era, could it actually come up with the theory of relativity?

I'm always curious about this. I think AI is already very good at coding and will soon become better than humans. Logical structures are ultimately human interpretations, and reasoning within that framework is something AI can probably do more logically than humans. In other words, once humans create the framework, stacking the logical Jenga blocks within it—AI will be better at that.

But true creativity lies in breaking the framework itself, and I'm skeptical about whether AI can do that. The encoder also seems insufficient. There will likely be limits. I might be trapped in my own biases.

But the limitations of the current approach seem too clear to ignore.

When I look at the approach of these papers, it feels like an argument that adding shadows that imitate the world will eventually make them become the objects themselves.

I think the text, code, images, papers, and conversations that humans leave behind are not the world itself, but rather shadows of the world that have passed through human cognition and language. No matter how much you learn from those shadows, whether that leads to the ability to actually engage with the objects themselves seems like a separate issue.

I feel like something different is needed. But I'm not intellectually sharp enough to reason this through logically.this is just my intuition

mkagenius•30m ago
I used to ask my coding agent to present two alternatives to choose from while implementing a task, and include a tokens required for each alternative to implement. (So that I can choose one which needs less token vs one which needs more rigour depending on task)

Finally there is evidence that the model kinda actually knows the correct token spend on each method.

jstanley•29m ago
It makes intuitive sense. How else could you write a 500-line script top-to-bottom with no backspace key and no arrow keys and get all the imports etc. right upfront?
wren6991•15m ago
...by inferring both the imports and the script body from the same context? I think you're suggesting there's some kind of information flow from the anticipated body of the script back up to the imports, but I don't see why that would be necessary. Infer imports from context, infer body from context + imports. All strictly causal.
jstanley•11m ago
Sure, try it. It's harder than you think. It's not just imports, it's the entire program.

> you're suggesting there's some kind of information flow from the anticipated body of the script back up to the imports

Yes, I am suggesting this. I don't think it is possible to write programs without either anticipating what you're going to write down below before you get there, or else being able to go back and edit what you already wrote.

Of course agent harnesses allow the latter, but raw models without a harness can still do an exceptionally, superhumanly, good job of straight-line programming with no editing.

> Infer imports from context, infer body from context + imports. All strictly causal.

Of course it's causal, that's kind of a reductive way to look at it.

Just infer the entire program from context and then type what you inferred.

subygan•14m ago
This is true of truly skillful people in their craft as well.

I know people, who initialize all required variables and write the logic after. which used to feel bonkers to me until I realized, they've done enough practice and memorization to be able to figure what they would need 10 steps down the line.

this does show that, models have a better model of the task and the expected end state.

HarHarVeryFunny•14m ago
This feels to me more like incremental belief building than "thinking ahead of time" (which is not what the paper is claiming).

The model only has partial observability of the program it is working on (whatever tool call outputs are present in the context), as well as the trajectory of actions it has taken, and from this is building up some internal beliefs about the program - the probes used were looking for pretty crude things like "is this program well-formed" and "is this program correct (will it pass tests)".

The paper says that these program "properties" (beliefs) predict future state of the program up to 25 "steps" ahead, but given the setup this seems to be expected. An agent is trying to fix a program and/or maintain it in a working state, so it doesn't seem surprising that current well-formedness and correctness persist into the future, or that the model is "optimistic" about the outcome of the next action it is planning/predicting.

This incremental belief building from partial observability reminds me of the ability of LLMs to predict valid chess moves when only given a truncated history of the games moves so far (e.g. last 20 moves, not all moves back to start of the game).

Codex starts encrypting sub-agent prompts

https://github.com/openai/codex/issues/28058
230•embedding-shape•2h ago•146 comments

Codex scraped the ICM website and discovered 2026 Fields Medal winner list

https://phemex.com/news/article/2026-fields-medal-winners-list-leaked-includes-two-peking-univers...
87•zaikunzhang•2h ago•63 comments

Proof of Care in the Age of A.I

https://jacobfilipp.com/care/
35•jfil•1h ago•12 comments

Beautiful Type Erasure with C++26 Reflection

https://ryanjk5.github.io/posts/rjk-duck/
27•RyanJK5•1h ago•8 comments

Show HN: I RL-trained an agent that trains models with RL (for –$1.3k)

https://github.com/Danau5tin/ai-trains-ai
31•Danau5tin•1h ago•11 comments

Kids (With Phones) Are Alright

https://heatherburns.tech/2026/07/08/the-kids-with-phones-are-alright/
24•JumpCrisscross•3d ago•9 comments

Tensor Is the Might

https://zserge.com/posts/tensor/
13•eatonphil•1h ago•5 comments

Coding agents think ahead of time

https://arxiv.org/abs/2607.05188
32•andre15silva•1h ago•24 comments

Japan develops a method to recover up to 90% of lithium from used EV batteries

https://tech.supercarblondie.com/japan-recovers-up-to-90-of-lithium-from-used-ev-batteries/
634•donohoe•11h ago•169 comments

Punch Yourself in the Face with Reality

https://adi.bio/reality
56•AdityaAnand1•2h ago•27 comments

Actegories

https://bartoszmilewski.com/2026/06/30/actegories/
28•ibobev•2h ago•4 comments

Alternative(s) to run CUDA on non-Nvidia hardware

https://www.hpcwire.com/2026/07/09/spectral-compute-aims-to-set-cuda-free-will-it-succeed/
87•alok-g•5h ago•43 comments

Germany set to restrict its Freedom of Information Act

https://www.dw.com/en/germany-freedom-of-information-act/a-77939695
106•robtherobber•2h ago•59 comments

Australian energy retailers must provide three hours of free daytime electricity

https://lenergy.com.au/free-daytime-electricity-is-coming-heres-how-it-actually-works/
168•i2oc•9h ago•259 comments

Differentiable Fortran with LFortran and Enzyme

https://docs.pasteurlabs.ai/projects/tesseract-core/latest/blog/2026-07-09-enzyme-lfortran-autodi...
14•dionhaefner•1h ago•1 comments

The git history command

https://lalitm.com/post/git-history/
367•turbocon•13h ago•242 comments

The Future Worth Building Is Human

https://thinkingmachines.ai/blog/the-future-worth-building-is-human/
67•bilsbie•2h ago•43 comments

Indian scientists produce most detailed 3D atlas of the human brainstem

https://www.bbc.com/news/articles/cg53l737v1qo
114•BaudouinVH•7h ago•14 comments

Your 'App' Could Have Been a Webpage (so I fixed it for you)

https://danq.me/2026/07/09/your-app-could-have-been-a-webpage/
168•MrVandemar•3d ago•132 comments

Notable Knot Index (2016)

https://knots.neocities.org/knotindex
41•surprisetalk•5d ago•6 comments

Just Let Me Write Digits

https://gendx.dev/blog/2026/07/13/input-digits.html
106•brandon_bot•8h ago•38 comments

YouTrackDB is a general-use object-oriented graph database

https://github.com/JetBrains/youtrackdb
150•gjvc•10h ago•47 comments

The great digital fatigue: How digital burnout is changing social media use

https://blog.incogni.com/digital-fatigue-and-burnout/
63•derbOac•3h ago•56 comments

Fundamentals of Wireless Communication (2005)

https://web.stanford.edu/~dntse/wireless_book.html
156•teleforce•11h ago•10 comments

Show HN: Rejourney – Open-source revenue leak prediction for web and mobile apps

https://github.com/rejourneyco/rejourney
17•mrr7337•2h ago•0 comments

How to build a circular LCD clock

https://blinry.org/lcd-clock/
112•birdculture•2d ago•52 comments

An Englishwoman who sketched India before photography took hold

https://www.bbc.com/news/articles/cm2drrv6q54o
194•1659447091•14h ago•58 comments

Satellite Tracker – Live Map of Starlink and 30k Satellites

https://satellitemap.space/
122•rolph•12h ago•62 comments

The Economics of Recursive Self-Improvement [pdf]

https://elasticity.institute/rsi-paper.pdf
126•apsec112•12h ago•64 comments

Is x86 ready to ACE it?

https://chipsandcheese.com/p/is-x86-ready-to-ace-it
97•mfiguiere•12h ago•21 comments