etiams

Joined 1 year ago

Karma

15

Submissions

4

Member since

May 5

View on Hacker News

Recent submissions

A collection of resources about normalization-by-evaluation github.com

3 etiams 1 year ago 0 comments

Programs as Singularities arxiv.org

2 etiams 1 year ago 0 comments

Show HN: A collection of resources about supercompilation github.com

5 etiams 1 year ago 0 comments

Verifiably Correct Lifting of Position-Independent x86-64 Binaries (2024) dl.acm.org

34 etiams 1 year ago 6 comments