This doesn't seem surprising, given the straight translation that they prompted.

Couldn't a case be made that it's better to get Bun to the to the language with the stronger type system first and, once there, use that stronger type system as leverage for these kinds of improvements as a follow-on effort? It seems preferable to requiring perfection on the very first step.

▲

Aurornis a day ago | parent | next [-]

> Couldn't a case be made that it's better to get Bun to the to the language with the stronger type system first and, once there, use that stronger type system as leverage for these kinds of improvements as a follow-on effort? It seems preferable to requiring perfection on the very first step.

This is what they are doing.

They are working through the issues as they come in.

▲

kubb a day ago | parent | prev | next [-]

They'll just need to update the prompt with "make sure there's no UB", and it should be good.

▲

fastball a day ago | parent | prev | next [-]

Yes, and seems pretty clear you can now backpressure the rewrite with tools like miri to have Claude Code automatically improve it.

▲

whateveracct a day ago | parent [-]

[flagged]

▲

dang a day ago | parent | next [-]

Could you please stop posting unsubstantive comments and flamebait? You've unfortunately been doing it repeatedly.

If you wouldn't mind reviewing https://news.ycombinator.com/newsguidelines.html and taking the intended spirit of the site more to heart, we'd be grateful.

▲

whateveracct a day ago | parent | next [-]

looking at my recent comment history, this was the only comment i see that qualifies https://news.ycombinator.com/item?id=48136130

▲

dang 7 hours ago | parent [-]

I was thinking of https://news.ycombinator.com/item?id=48152395. If I hadn't seen that one, I probably wouldn't have interpreted the GP this way.

	▲	whateveracct 4 hours ago \| parent [-]
		that's a pretty substantive comment imo. it pretty succinctly explains an issue we are having in 2026.

▲

whateveracct a day ago | parent | prev [-]

this was a serious observation of the industry in 2026 lol

▲

winwang a day ago | parent | prev | next [-]

This is, ironically, a pretty good idea. ...Minus the fact that you're presumably talking about having AI generate it all instead.

▲

npodbielski a day ago | parent | prev [-]

Hey... I like coding! Does it mean I am not an engineer?

▲

muvlon a day ago | parent | prev [-]

It's not surprising that a mostly straightforward translation to (partly unsafe) Rust exhibits UB.

What is a bit disappointing is that the Rust code apparently has APIs that aren't marked unsafe but may cause UB anyway. When doing this kind of translation, I'd always err on the side of caution and start by marking all/most things unsafe. Or prompt the slopbots to do the same I guess.

Then you can go in and verify the safety of individual bits step by step.

▲

Kavelach a day ago | parent [-]

From what I read from the PR comments, the case is that the unsafe blocks behave in a way that allows for UB.

This is expected, because unsafe rust can leave your program in an unhealthy state, since the language doesn't doesn't hold your hand anymore.

	▲	DSMan195276 a day ago \| parent [-]
		The point is that at a minimum you're supposed to bubble the `unsafe` up if the API does not guarantee safety is maintained for all cases (and documents the invariants that have to be kept by the caller), otherwise the system breaks down.