Re:Porffor: A from-scratch ahead-of-time JS engine
by g15jv2dp on Wednesday July 31, 2024 @05:37AM
(#41117640)
I doubt it's been proved to be sound. It shows up a lot on https://counterexamples.org/, although if I skim the issues seem to have been fixed since then.
[ Parent
| on HN ]