News for hackers. Stuff that matters.
Re:Bun Rust rewrite: "codebase fails basic miri checks, allo... by swiftcoder on Friday May 15, 2026 @03:57PM (#48153074)
> let the LLM generate slop, check it using formal methods

I'm much more bullish on the opposite approach. Perform the naive translation, let the LLM lose on cleaning it up...

There are no comments on this comment yet.