etiams

15 karmajoined May 5, 2025On HN

Recent submissions

A collection of resources about normalization-by-evaluation github.com/etiams
3etiams1ydiscuss
Programs as Singularities arxiv.org
2etiams1ydiscuss
Show HN: A collection of resources about supercompilation github.com/etiams
5etiams1ydiscuss
Verifiably Correct Lifting of Position-Independent x86-64 Binaries (2024)dl.acm.org
34etiams1y6 comments

All submissions and comments on Hacker News.