Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Claude Opus 5.5(anthropic.com)
    449comments
  2. OpenAI GPT–6 Astra breaks Enigma message that has resisted solution since 2005(cryptocellar.org)
    289comments
  3. There's a high chance of devices being sold with GrapheneOS preinstalled in 2027(grapheneos.social)
    22comments
  4. Claude Opus 5.5 Intelligence, Performance and Price Analysis (Max)(artificialanalysis.ai)
    25comments
  5. WordPress: Unauthenticated path traversal leading to conditional RCE(github.com/wordpress)
    17comments
  6. OpenAI is well positioned to fast-follow Jev(arcturus-labs.com)
    116comments
  7. 16-bit Intel 8088 chip(allpoetry.com)
    7comments
  8. Launch HN: Coverage Cat (YC S22) – Umbrella insurance via your personal agent(coveragecat.com)
    8comments
  9. Writing Rust code that's fast by asking agents to make the code faster(minimaxir.com)
    23comments
  10. Apple has added persistent 'ads' to iOS, and it's driving users crazy(techradar.com)
    288comments
  11. Show HN: Drop – A rootless Linux sandbox with gVisor support(droprun.sh)
    37comments
  12. Show HN: AI·rete·RAG – a Rete rule engine decides, RAG explains why(ai-rete-rag.com)
    discuss
  13. Solitaire Alone Together(solitairealonetogether.com)
    20comments
  14. Can gzip be a language model?(nathan.rs)
    127comments
  15. AMD's random number generator can't generate a 0?(flatassembler.net)
    154comments
  16. Truman World(trumanworld.live)
    26comments
  17. One Minute Park(oneminutepark.tv)
    3comments
  18. Spymarks, not Watermarks(brand.io)
    156comments
  19. Show HN: InstinctFlash – Run 5B world-action models in real time on Jetson Thor(github.com/general-instinct)
    discuss
  20. The Economics of Open-Weight Inference(ornn.com)
    10comments
  21. Side-stepping the Secretary Problem, unwittingly(evalapply.org)
    1comments
  22. I asked Meta’s Muse for its filesystem and it sent me 6.8GB(mouse.dev)
    109comments
  23. MUNI Heritage Weekend in San Francisco(lawrence.lu)
    23comments
  24. Teleoperated Humans(jefftk.com)
    37comments
  25. Transformers Explained Visually(poloclub.github.io)
    85comments
  26. Meta’s Muse has a serious 0-day(arstechnica.com)
    33comments
  27. Relativistic raytracing(publish.obsidian.md)
    3comments
  28. Vacate a drone restriction that criminalized recording immigration agents(eff.org)
    13comments
  29. I said no and Apple said yes(dbushell.com)
    553comments
  30. MiMo v2.6(xiaomi.com)
    464comments

Writing Rust code that's fast by asking agents to make the code faster

52 pointsby 2h agominimaxir.com
23 comments
1h agoHN ↗

If it can be measured, then LLMs can optimize it.

Once I had repo commands that could dump `sample` results and a cpu profiler/trace and then a benchmark tool that let me A/A + ABBA/BAAB-test the current modified git workspace against HEAD or any commit, the LLMs could just do their thing.

And that's how my homemade terminal uses much less memory than ghostty/kitty/iterm yet has more throughput.

AI is going to increasingly unmask people and companies who don't care about correct and performant software now that it's become so trivial to guarantee both. It used to at least be expensive and time-consuming and expertise-demanding to do those things.

1h agoHN ↗

If it can be measured, then LLMs can optimize it

Then they can start attempting to optimize it. They can also spin round and round making the numbers worse because they don't actually know what to do.

1h agoHN ↗

Yeah, but that's just the scientific process of hypothesis -> evidence -> conclusion.

You need a measurement that can falsify hypotheses and reject branches that won't work.

Also, if all you have left in your project are performance issues that are hard to identify without flailing around (even with Fable/Astra) despite sampler/profiler reports, then you're doing really well and I wouldn't assume you're going to fare much better than the sota models in terms of stabs in the dark.

1h agoHN ↗

The point of this post is that this is explicitly not the case. If the metric is measured, the agent finds a way eventually (around 5 total tries typically unless it gets stuck), and learns from iterations where changes caused a regression after a revert.

In one case I used a made-up metric (since I didn't know the exact name or if it existed) and it somehow optimized that too.

53m agoHN ↗

I had this experience at work trying to optimize a little high level Pytorch. It can't really get better than it already was, but LLMs were quite willing to pretend they will. The real solution is I need to open a PR for one of Pytorch's tracking issues.

29m agoHN ↗

They can also spin round and round making the numbers worse

"Claude, if this idea doesn't measure as an improvement (use X benchmark and a T-test), discard it and try the next idea."

1h agoHN ↗

Agree it's amazing how much low-hanging performance fruit AI can trivially find. On the other hand though, once you get through the obvious no-brainer stuff, there's a lot of non-trivial tradeoffs in performance and I think that still demands a good amount of expertise to guide the AI in the right direction. Obviously AI will continue working it's way up the value chain, but I think there's a glass ceiling for AI where the right macro tradeoffs and perspectives on how software should work will bump into the hard and often articulated reality that different stakeholders want different things and often have either magical thinking or even self-deception about how those desires can co-exist with what everyone else wants.

This isn't a new problem by any means, but now that code is cheap, it means instead of getting frustrated with engineering and their pesky unimportant details, people will get frustrated with the AI and it's pesky unimportant details.

1h agoHN ↗

Yeah, the biggest example is performance optimizations that sacrifice your data model to the point that you'd never accept them.

I think it's one reason why ADRs are an important of a software project, especially with LLMs. You need a place were you can document invariants, why you have them + the rejected ideas and acceptable risks.

It helps smart agents like Fable help you decide on trade-offs and it's kind of incredible to witness that happening.

36m agoHN ↗

I think they can be useful for quickly iterating through benchmarks and trying lots of ideas, but they won't come up with them on their own. Also, I'm not sure why, maybe some mean reversion thing, but they will never, ever suggest writing a tool to make their own life easier, get more accurate information, or anything. Once I point it at a tool, it can be ok at using it (I say ok because they seem to skim the help docs, which is truly ironic, considering I seem to read it more thoroughly even though I'm 100x slower at it. I assume this is some token saving system prompt), but they won't suggest it for you.

This is why I'm not worried about being replaced for now or the forseeable future. For all of the improvements they've made, this part just never seems to change. They could slap another heuristic prompt for the edge case, but eventually it'll revert to the mean again.

I think there is a way to use LLMs to help with programming, but not when I'm not the driver in the seat writing the tests and deciding the architecture. Also I would never ship code written by them as the final product for anything I care about. Since I, like most people, find reading code to be arduous. The more fun thing to do is to force yourself to rewrite it all, treating the LLM's work as a rough draft.

30m agoHN ↗

but [LLMs] won't come up with [ideas] on their own.

They can, in fact, generate plausible performance optimization ideas on their own.

1h agoHN ↗

I have done a fair amount of low level performance optimization with Opus 5 and its reasoning is still very poor. Like why is CRC so slow and going through loops until I ask it if is using hardware instructions and it tells me it is using its own hand coded implementation poor. Reasoning about l1/l2/l3 cache hit ratios and their implications basically throwing darts at the wall, in the wrong room. If you give it a benchmark feedback loop then it might get there eventually but still massive alpha for low level systems engineers who instinctively know how this stuff works and can now automate 99% of the grind.

1h agoHN ↗

Can you give it the valgrind suite to loop over? I have yet to try that with AI, but maybe the cachegrind tool is enough to help it.

20m agoHN ↗

Reasoning about l1/l2/l3 cache hit ratios and their implications basically throwing darts at the wall, in the wrong room. If you give it a benchmark feedback loop then it might get there eventually but still massive alpha for low level systems engineers who instinctively know how this stuff works and can now automate 99% of the grind.

I suspect a lot of the training set for this sort of thing is people online speculating about cache performance incorrectly.

13m agoHN ↗

I would think it's that the kinds of places which value this kind of knowledge often have major disincentive to share it. I'm thinking of HFT firms as one example.

1h agoHN ↗

I've found that this is a good way to introduce bespoke code into the codebase whose perf gains don't generalize.

Unless its an easy memory/parallel/algorithmic win, its not worth it.

5m agoHN ↗

Absolutely agree. "Make this faster" even with a solid way to measure progress is often fraught. It kept doing some very strange micro improvements that never improved the performance in the large but greatly improved complexity. I was _very_ much in the loop on a recent performance improvement I made. I really tried to walk away and let it find me the answer, but in the end I strongly guided it. As a lab assistant it was a huge help, but it messed up finding the improvement a number of times until I finally strongly intervened.

1h agoHN ↗

They're quite good at just iterating different "ideas" on a performance metric with an objective measure. They can use tools like `perf` and do some analysis on the output. Sometimes they go off in the weeds unproductively, and sometimes they give up because your goal was too high, but as long as you're sort of babysitting the process, you can make pretty rapid improvement to naive code.

1h agoHN ↗

"Rank the top findings/solutions by impact vs confidence" continues to be one of my best quickwins to add to all sorts of prompts. Bam, now you have a reasoned priority list.

1h agoHN ↗

I've been having great results with this kind of thing. I find that really just need a sensible framework within which the optimization can take place. Essentially just providing the measurement harness, and some sort of motivation for what I'm doing.

The great thing about LLM is that it seems to have the checklist for everything. If I rattle off a few things like "don't allocate on the hot path" and "remember to pin the cores" it will come up with a few items of its own that I might have forgotten.

Eventually, it will have gone through the whole list with me, while having documented all the measurements along the way.

But it's still guided by experience. If I see unusual numbers, I might say "hey did you forget to compile it in release mode?" and it will apologize and fix that. If I don't, it may just continue exploring without realising everything is wrong.

1h agoHN ↗

one thing nobody mentioned here, once the agent is looping against the same benchmark it will happily optimize for the benchmark itself and not the real workload. worth rerunning the win against a slightly different input shape after, just to check it did not memorize the harness instead of actually fixing anything.

1h agoHN ↗

There is an entire paragraph about benchmaxxing and how to mitigate that.

32m agoHN ↗

Maybe LLM's should be integrated with the software, so they could optimize to the real hardware and workload ?

39m agoHN ↗

As the author of Tera mentioned in the article, I am curious how it can get 2x faster. Was the benchmark using tera v2 with the `fast` feature enabled?