HN
Hacker News
Top
New
Best
Ask
Show
Jobs
etiams
15 karma · joined May 5, 2025
submissions
comments
A collection of resources about normalization-by-evaluation
github.com
·
3 pts
·
etiams
·
0
Programs as Singularities
arxiv.org
·
2 pts
·
etiams
·
0
Show HN: A collection of resources about supercompilation
github.com
·
5 pts
·
etiams
·
0
Verifiably Correct Lifting of Position-Independent x86-64 Binaries (2024)
dl.acm.org
·
34 pts
·
etiams
·
6