6 ms·
Relevant: "Why KeyKOS is fascinating" - https://github.com/void4/notes/issues/41 https://github.com/void4/notes/issues/41
by 7373737373 6y ago
Relevant: "Why KeyKOS is fascinating" - https://github.com/void4/notes/issues/41 https://github.com/void4/notes/issues/41
- js8 6y agoInteresting.. 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.