Hacker News new | ask | show | jobs
user: etiams
created: 2025-05-05
karma: 15

submissions:

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