just realized my "moar file descriptors" operating system idea turned into "file descriptors as capabilities" which is actually vaguely reminding me of freebsd's capsicum
i think my ideas are stronger though
i think my ideas are stronger though
@314 You'll probably want to name it something different because system F is a pretty established CS thing already[1]. (Essentially, it's a stronger version of ML's type system)
1: https://en.wikipedia.org/wiki/System_F
1: https://en.wikipedia.org/wiki/System_F
@abs System FD then?
@xiao @abs i only went for System $var to commemorate System V tbh
