Hacker News new | ask | show | jobs
user: etiamz
created: 2025-05-05
karma: 23

submissions:

0 points | 0 comments
0 points | 0 comments
A collection of resources about normalization-by-evaluation
3 points | 0 comments
Programs as Singularities
2 points | 0 comments
Show HN: A collection of resources about supercompilation
5 points | 0 comments
Verifiably Correct Lifting of Position-Independent x86-64 Binaries (2024)
34 points | 6 comments