Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Hister: A private search engine for the pages you visit and the files you keep(github.com/asciimoo ↗)
    75comments
  2. Fujitsu launches made-in-Japan next-generation CPU FUJITSU-MONAKA(global.fujitsu ↗)
    152comments
  3. Towards Self-Driving Codebases(detail.dev ↗)
    39comments
  4. CrowdSec Source Code Leak(crowdsec.net ↗)
    26comments
  5. Rate limits on GitLab.com are changing(about.gitlab.com ↗)
    90comments
  6. Why I didn’t sign the Fields medallists’ letter(gowers.wordpress.com ↗)
    185comments
  7. How GLM built its own inference infrastructure(z.ai ↗)
    232comments
  8. Infinite-Parameter LLMs: Generating and Adapting Weights from Live Data(arxiv.org ↗)
    10comments
  9. One year of sponsored Servo development(servo.org ↗)
    131comments
  10. Running Ubuntu on the Lenovo IdeaPad Duet(vhaudiquet.fr ↗)
    3comments
  11. Zettascale (YC S24) Is Hiring ASIC/FPGA Engineers to Build Chips for ASI(zscc.ai ↗)
    discuss
  12. The American Religion of Self-Storage Facilities(newyorker.com ↗)
    185comments
  13. Launch HN: Skillsync (YC W26) – AI chat sessions made portable across agents
    23comments
  14. CCC invites all model citizens to 40C3(ccc.de ↗)
    131comments
  15. Show HN: Share your AI Setup, Learn from others(mysetup.ai ↗)
    72comments
  16. Grand MS-DOS Gaming General MIDI Showdown(johnnovak.net ↗)
    7comments
  17. LLM Classification Is Feature Engineering(minimallysufficient.com ↗)
    12comments
  18. The Return of Sail Power: Cargo Ships Are Turning Back to the Wind(gcaptain.com ↗)
    106comments
  19. Show HN: Craigslist for agent skills, curated by a human(skillbay.sh ↗)
    5comments
  20. TSMC revealing details about next gen A14 node(mapyourshow.com ↗)
    9comments
  21. Don't Make Job Referrals Public(melashri.net ↗)
    6comments
  22. Wax Motor(wikipedia.org ↗)
    discuss
  23. Ask HN: How to recover Google auth after phone stolen?
    71comments
  24. Stallman: Thousands Dead, Millions Deprived of Liberties (2001)(slashdot.org ↗)
    33comments
  25. My temporary PHP fix from 2014 has nearly 20M installs. Today I'm deprecating it(jakeasmith.com ↗)
    85comments
  26. Economic policy for AGI(deepmind.com ↗)
    28comments
  27. Vinix – A modern operating system written in V(vinix-os.org ↗)
    46comments
  28. Artificial intelligence now beats some of the best human forecasters(economist.com ↗)
    82comments
  29. Mastering Layout Engines in Graphviz: Dot vs. Neato vs. Twopi vs. Circo(visual-paradigm.com ↗)
    6comments
  30. The Relation Between Mathematics and Physics by Paul Dirac (1939)(cam.ac.uk ↗)
    50comments

Towards Self-Driving Codebases

53 pointsby 2h agoblog.detail.dev
33 comments
1h agoHN ↗

I suspect it won't be a harness, but just a more specific LLM trained in the universe of user-selected context of vetted resources.

Why? Because LLMs are always going to be dumb when they're trained at scale. Their ability to speak software diverges from their friendly user input layer. A harness won't overcome that, but an LLM saddle ontop of a larger model would provide the type of feedback loops you'd want to look into.

I don't think you'll find two deterministic systems will produce much.

53m agoHN ↗

fine-tuning may be a more scalable approach to LLM personalization than sending all the same context to two LLMs

I'm working towards both in my homelab to see which works better with little qwen

38m agoHN ↗

I think that dissolves the "self driving" distinction, though? The mechanisms for driving the codebase must be present in the codebase itself. Otherwise its just a regular out-of-band development process.

1h agoHN ↗

This article hints at it, but I think the blocker is environment.

How can you self drive an app on windows? There's no clear UI framework, design pattern, nothing which can bullet proof your app.

I bet you'd have better luck on Plan 9.

Remove the choice. Make frameworks which have limited options which are usable by default.

33m agoHN ↗

Spot on about environment.

I recently built a calculator to try to quantify the gains an org could expect as they become more "AI-native." I tried to account for a bunch of things including env, which I call "AI roadway," but I'm definitely missing codebase readiness (thank you, author), and also bottleneck analysis. Even without those considerations, though, gains are usually modest. It's hard to get to 2x.

Tool is here if useful: https://timvasil.com/ai-native

1h agoHN ↗

    > It’s actually fine if agents make a lot of boneheaded mistakes. What’s not ok is if they keep making the same mistakes. 

I worked in life sciences for a bit. There is a process in clinical trials called corrective and preventative actions (CAPA). You'll also find this in other areas where failure tolerance is low (e.g. aircrafts).

It's simple: when a mistake happens, you run you CAPA process and determine the root cause and the correction to the process that allowed the mistake to happen in the first place. This is something most eng shops do not have the discipline for since it requires some diligence.

Should it be fully agentic? Should there be human intervention here to approve the CAPA? Open questions to be answered.

1h agoHN ↗

Agreed that domain experts should be making these kinds of decisions, and the right way for an agent mistake to get caught is going to depend a lot on the cost and probability of the mistake. My only point here is that the agent side of the system needs to learn. The software production machine needs to improve over time.

54m agoHN ↗

Should it be fully agentic? Should there be human intervention here to approve the CAPA? Open questions to be answered.

I think a point we are grappling with is, what necessitates human intervention, like philosophically. Is it accountability? I was thinking about this in terms of code review and it's not like we would fire someone if they broke prod, so at what point do we need someone accountable. Maybe it's for approvals for certain classes of risk (like those associated with actual harm to life). It's also not lost on me that many human systems lack accountability.

26m agoHN ↗

This is a general principal in the eng shop I work for, its written into every step, including the SCRUM etc.. What when well, why did it fail, what could be done better. Its all part of root cause analysis.

I personally use it for the agents I use, so why did it fail, what was the root cause, what can we do to prevent it again.

25m agoHN ↗

The more important question - how would you actually get LLM agents to follow the instructions in your ever-growing CAPA reliably?

It’s all very well having a list of actions to avoid but that doesn’t help if your agents won’t reliably follow it.

14m agoHN ↗

Why couldn't you express all those as test cases rather than instructions?

In test cases i can do anything, a test framework is just a way of discovering and then scheduling functions to run. I can emit useful instructions to the agent from the failed test case: "After walking the AST of all use of state machine X, a branch was found at Y which reused stale state. Ensure stale references are dropped..."

I can force the agent to pass the test suite before it considers itself done. I can reject edits of such test cases to partially mitigate reward hacking. etc etc

8m agoHN ↗

You stop relying on the agents following instructions exactly.

You need two pieces:

a) prompts, that tell the agents what to do and how to do it (and ideally, the why, where, etc, the full picture) - that's the positive half, that drives behavior the way you want it.

b) deterministic tooling that prevents negative outcomes, like linters, compilers, static analysis, fuzzing, testing, the more the better. This side should either be firewalled off from the AI or very carefully watched so that it doesn't drift.

The part that you put in the deterministic side is the "never do x" stuff - I have lint for long comments (which AI hits every single time it commits), all my dev scripts are in typescript, precommit hooks, massive CI, and I lint even for things like redirecting error to standard out, tiny stuff, and also e.g. static migration analysis so the AI never ships an exclusive full table lock in a migration, for example.

1h agoHN ↗

I suspect that if you're not careful with agent memory it creates a danger of agent-driven cargo-cult behavior. I've watched this in my own ad-hoc agent loops where it starts with something basic, like the first agent tried to run some gigantic dependency inspection command and OOMed the local JVM and eventually recorded a workaround (to enable it to run gigantic dependency inspection commands...), and by time I get a few more agents into the loop, agents have written entire paragraphs about testing and validating local dev environment memory configurations that are mostly irrelevant to whatever is being worked on.

In general I've seen other issues like this where small errors and irrelevant comments in the codebase spin out into larger problems that consume annoying amounts of time/tokens. Maybe Anthropic and OpenAI don't notice this because they're in an "infinite monkeys with typewriters" scenario, but it's noticeable to me when the agent in my CLI has been spinning for 15 minutes contemplating irrelevant details

41m agoHN ↗

This happens way too often in my experience and I tried a lot of things. If the agent has access to an existing codebase it will always try to stay as close to it as possible. It doesn’t diverge from the initial direction the project/code went into, even if it’s already clear that this direction goes nowhere. Somehow agents aren’t able to detach themselves from existing code to come up with completely new solutions.

Sometimes I feel like it would be best to only give the agent access to clear API boundaries (say public interfaces to certain modules) and let it work out a new system from scratch given the expected inputs and outputs. Then plug this independent solution into the system. Of course it can still overfit these interfaces but it’s less than having access to the entire codebase.

Thinking about it, maybe it’s possible to let one agent extract those interfaces, then use them as grounding for a new session.

One less nice way of achieving the same is to tell the agent once in a while that it should think completely from scratch (from first principles). But this relies heavily on instruction following in the reasoning part, which sometimes works and sometimes fails.

58m agoHN ↗

This would be more convincing if there were a simple stat on the home page of the dispositions of the reported bugs (fixed/no-repro/won't-fix).

As a random sample of one, I looked at one of the bugs this reported on Tailscale (first thing on the homepage) [0], and the pull request ends with "Apologies for the lack of due diligence here. I'll go ahead and close this out."

[0] https://github.com/tailscale/tailscale/pull/17843

52m agoHN ↗

We should publish some stats. The fix rates on bugs are around 45% baseline, increasing over time as we learn from behavior within a given codebase. The merge rates for the codebase health work we do (e.g. deleting dead code) are very high, at least 90%.

48m agoHN ↗

Makes sense to me - I see it going down two separate routes in parallel:

One is to take the human out the OODA loop for cyber defense. Servlet libs (for example) are going to become fluid, self-modifying things w/ contracts that operate much differenlty from how they do today. The engineering practice around these things will need to change.

The second is that UX will be self-modifying. Just like how pi can modify itself, I can see this being a general practice for user-facing applications. Perhaps a text-box in which users can describe tweaks in can request changes to how the application functions. Engineering an application will focus on modeling the non-negotiables of how an application works, and providing the correct primitives for user-driven LLMs to modify software on the fly, as well as track and rollback changes. There'll also be funsies around how to ensure that ads get delivered regardless of the user trying to get rid of them.

38m agoHN ↗

fluid, self-modifying things w/ contracts

This smells like worm food. Those contracts had better be airtight.

48m agoHN ↗

The missing piece in most versions of this is the feedback loop, not the harness. A codebase can only drive itself as far as it can tell whether it's still on the road: tests that fail for the right reason, error budgets, a way to notice that a change made something slower rather than broken.

Without that, "self-driving" degrades into applying diffs that compile. With it, the interesting question becomes what the system is allowed to do when the signal goes red - revert, retry, or stop and ask - and that's a policy decision nobody has good defaults for yet.

41m agoHN ↗

If you have a logo in the top left corner of your company blog the logo should route to the home page so I can see what product you're actually building.

35m agoHN ↗

I have integrated AI into my application. The source code is embedded into the binary. When someone questions the numbers in my app it can debug itself. If it truly finds a bug in itself it will tell the user and open a ticket. Soon we are going to let the application fix itself.

33m agoHN ↗

How do you protect intellectual property? Or is this a case of the value being somewhere else, such as in your backend? If so, how does the agent debug frontend and backend? I presume it stops at frontend

26m agoHN ↗

It's a losing proposition. Self-driving cars go from point A to point B, and it's really easy to specify point B. My experience so far using agentic AI 24/7 for almost a year has been the AI can drive almost anywhere, so the whole problem is specifying where to drive. This doesn't get solved with faster, better AI, because all that will do is allow it to autonomously drive your codebase to random places you didn't want it to go. Then you're still left with the problem of specifying the problem.

But then there's the cases where the AI can't actually drive. What if you tell the agent to invent AGI? Or time travel? Where does it drive to? Does it tell you that it can't? How does it know it can't just drive here? How you you know? At the end of the day these are not wish granting machines, so someone connected to reality is still going to have to make decisions. And that person is going to be the one held liable for whatever the AI does so would they want a self-driving codebase in the first place?

17m agoHN ↗

Global memory

I don't get why we need global memory for code? Aren't code comments (even if invented for humans) the ideal place where to put "memories"?

12m agoHN ↗

LLMs also do not have anything like memory, by design. Everything bolted on that smells like memory or is being called memory is a crutch, at best. Not being pedantic, I just think this aspect is lost on a lot of people.

13m agoHN ↗

“how can we make ourselves even MORE replaceable?”

12m agoHN ↗

I'm hoping the "blogging about doing" format will fade away, now that doing is cheaper than blogging. It used to be that the doing part was expensive, and risky. Now you can just do 5 things and throw away 4. So I'd rather see the finished product than talk about it.

11m agoHN ↗

I'm playing around with ecosystem driven development (hear me out ;)):

So i want claude to build a small game for me so of course i create one big file in which i write everything then i tell claude to analyse it and grill me (grill me skill) to clarify all smaller details.

This alone might lead to really good small sfotware but I still have to push it sometimes.

Now instead of doing this, i tell claude to build a small tool which generates a dashboard and memory and which can save specs and ask me choicses (do you prefer this color over the other, what do you think about problem A? What solution would you prefer? A, b, c or something else).

This does a few things:

1. claude doesn't has to save/store everything in a context 2. claude can now talk to that tool to ask it stuff 3. claude can now use the tool as a todo list 4. claude now can more easily spin up more agents in parallel 5. i have a nice interface and i can solve issues while claude works on unblocked tasks 6. I actually can follow the progress a lot easier

The only problem with this is: with the next update, you have to reinvestigate how claude was finetuned and adjust. A few month ago /goal was really good, now you need it a lot less because claude will do something for an hour without /goal

And the spec file only started to work after November/Opus moment but it got so good, that i can pack A LOT of stuff in a half structured markdown file and let it code what I need.

The progress is still too fast for the whole ecosystem

7m agoHN ↗

Sorry to get hung up on what is probably just flavor text, but the first sentence.. "Agents can oneshot games that are actually fun", uhhh such as?

Would love to be proven wrong here, feels like I've just seen the same basic one-level kart racer in like 3 model announcements. Not even sure if they were one-shotted, I certainly would not describe them as "fun"

5m agoHN ↗

I currently see a shit ton of work involved with "scaling" (aka cleaning up) the AI generated slop that was output in the past 2-3 years.