etiamz

Karma: 23
Created: 7 months ago

Recent Submissions

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

All submissions on HN · View profile on HN