Relevant: "Why KeyKOS is fascinating" - https://github.com/void4/notes/issues/41 | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		7373737373 on April 7, 2021 \| parent \| context \| favorite \| on: What have we lost? [video] Relevant: "Why KeyKOS is fascinating" - https://github.com/void4/notes/issues/41

js8 on April 7, 2021 [–]

Interesting.. it somewhat ties to what people are doing in programming languages with linear/affine types, representing resources that can be passed around but not duplicated.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact