logoalt Hacker News

okeuro49yesterday at 9:21 PM7 repliesview on HN

It looks like quite a lot of analysis went into the rewrite

https://bun.com/bun-unsafe-audit

If the tests pass, then why not accept the rewrite?

An interesting article of Prisma using the rewrite:

https://www.prisma.io/blog/bun-rust-rewrite-prisma-compute


Replies

zarzavatyesterday at 10:18 PM

Just think about what "tests pass" means for a rewrite. If you rewrite from language A to language B then any unit tests have to be rewritten during the rewrite.

So either "tests pass" does not include unit tests or unit tests were rewritten probably by the same AI that is doing the rewrite!

show 1 reply
JCTheDenthogyesterday at 9:50 PM

Given that even the unsafe audit article appears to be written by AI that doesn't seem like much thought to me.

show 1 reply
adamddev1yesterday at 10:46 PM

People are forgetting that "if the tests pass" is not a good measure of reliability. CS 101 from Dijkstra: tests cannot prove the absence of bugs.

show 2 replies
dimavayesterday at 11:57 PM

The ones who accept rewrites are expected to support it indefinitely.

That's why Jared didn't consider using it for Bun even if it's undeniably better, they don't have human resources to support it

root_axisyesterday at 11:59 PM

We've repeatedly seen that these test-driven LLM rewrites consistently produce absolute garbage.

show 1 reply
applfanboysbgonyesterday at 9:50 PM

> quite a lot of analysis went into the rewrite

Literally just prompted for an LLM to review it and asked for a fancy presentation. That is not "quite a lot of analysis". That is anything but.

> If the tests pass, then why not accept the rewrite?

Because (1) tests passing are absolutely not a guarantee that no regressions were introduced in a change, and (2) even if they were, those tests are the result of thousands of hours of human labour, which is all well and good for the codebase as it currently exists, but who is going to be writing the tests for the 1m loc repo of unread code in the future? Unless you've proven that specifically LLM-generated tests can prevent all possible regressions, you're condemning the future of the project because nobody will be able to continue writing robust tests.

show 1 reply
theturtletalksyesterday at 10:22 PM

[dead]