etiams | Dark Hacker News

1.	A collection of resources about normalization-by-evaluation(github.com) 3 points by etiams 317 days ago \| 0 comments
2.	Programs as Singularities(arxiv.org) 2 points by etiams 320 days ago \| 0 comments
3.	Show HN: A collection of resources about supercompilation(github.com) 5 points by etiams 327 days ago \| 0 comments
4.	Verifiably Correct Lifting of Position-Independent x86-64 Binaries (2024)(dl.acm.org) 34 points by etiams 327 days ago \| 6 comments