News for hackers. Stuff that matters.

A comment on Decompiling 2024: A Year of Resurgance in Decompilation Research. Parent comment

Re:Decompiling 2024: A Year of Resurgance in Decompilation R... by IshKebab on Thursday January 30, 2025 @05:47PM (#42882973)
I wouldn't be at all leery of LLM-based compilers (as long as their output is verified to be correct and reasonable).
[ Parent | on HN ]
Re:Decompiling 2024: A Year of Resurgance in Decompilation R... by pjc50 on Friday January 31, 2025 @05:31AM (#42886405)
Verification is the hard bit! That's why sel4 is so unique.
[ Parent | on HN ]
Re:Decompiling 2024: A Year of Resurgance in Decompilation R... by IshKebab on Friday January 31, 2025 @08:49AM (#42887614)
That's a different kind of verification entirely.
[ Parent | on HN ]