Live data from Hacker News

Viewing profile — etiams

etiams

HN member

Joined: Mon, May 05, 2025, 5:31 AM UTC
HN karma: 15
Public activity: 4 items
HN profile: View on Hacker News ↗

About etiams

No profile information was provided.

Recent public activity

story
A collection of resources about normalization-by-evaluation
Fri, Jul 04, 2025, 5:46 PM UTC
story
Programs as Singularities
Wed, Jul 02, 2025, 11:47 AM UTC
story
Show HN: A collection of resources about supercompilation
Wed, Jun 25, 2025, 3:44 PM UTC
story
Verifiably Correct Lifting of Position-Independent x86-64 Binaries (2024)
Wed, Jun 25, 2025, 12:41 PM UTC