[gamblor956]

Maybe the takeaway is that 20% is about all the LLM can muster.

[malisper]

> Maybe the takeaway is that 20% is about all the LLM can muster

At this point there's a long list of projects that have used LLMs to rewrite a system in Rust including:

  - Bun (https://github.com/oven-sh/bun/pull/30412)
  - Valkey (https://github.com/ianm199/valdr)
  - Git (https://github.com/gitbutlerapp/grit)
  - Postgres (https://github.com/malisper/pgrust)

With the exception of Bun, these projects were done pre-fable too, so I bet Fable will make these types of rewrites even easier.

[verandaguy]

I'm not sure about the other three, but Bun's rewrite from Zig to Rust was a bit of a joke. `unsafe`s in the thousands, a quarter-million lines of diff, and merged inside a week with no significant public discourse (at least, not much that was responded to by the author).

[solid_fuel]

Still waiting on that blog post from Jarred that will supposedly answer all the questions and concerns about the rust port.

[gamblor956]

I think the standard should be rewrites that are at least as good as the original, not buggy piles of unfinished unmaintainable crap.

[UncleEntity]

I mean, I got them to 100% using the official conformance suite on my copy-and-patch jit compiler/interpreter WASM VM...

Saw that Salt Language article a day to two ago on how they do the static verification as part of the compilation process (or whatever they really get up to) and that's next on the agenda, tried that with a JavaCard VM I was poking at as its 'computation space' is much smaller but that was too much for my poor little laptop to handle but, apparently, this Salt thing is much different and actually tractable so, we'll see, still working out the details.