Show HN: Your binary is no longer safe(reorchestrate.com)
reorchestrate.com
Show HN: Your binary is no longer safe
https://reorchestrate.com/posts/your-binary-is-no-longer-safe/
0 comments
—
https://reorchestrate.com/posts/your-binary-is-no-longer-safe/
—
The most interesting part for most will likely be the demonstration on how to use differential-property testing to automate the LLM feedback loop for the rewrite (translation) phase (in this case to rewrite to Rust).
This that I believe would solve the 'rewrite issues' discussed recently here: https://news.ycombinator.com/item?id=46954696