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 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 ]