Re:Law for Computer Scientists (2020)
by eru on Monday January 29, 2024 @02:44AM
(#39173777)
> I now have the very nerdy perspective that law is the operating system our socially run on. Laws are small snippets of code similar to a predicate in Prolog. We apply them once the conditions are fulfilled.
Traditional operating systems try to help programs securely share resources, but also want to provide abstractions away from the raw hardware. An exokernel approach limits itself to just the secure multiplexing, and delegates abstractions to another mechanism much better suited for the task: user space libraries.
To close out the tangent: I wonder how you would bring this metaphor back to laws? I guess it would have something to do with Subsidiarity? https://en.wikipedia.org/wiki/Subsidiarity
That's a very government centric point of view.
Compare https://slatestarcodex.com/2017/03/16/book-review-seeing-lik...
See also the exokernel papers like https://pdos.csail.mit.edu/6.828/2008/readings/engler95exoke... or via https://en.wikipedia.org/wiki/Exokernel
Traditional operating systems try to help programs securely share resources, but also want to provide abstractions away from the raw hardware. An exokernel approach limits itself to just the secure multiplexing, and delegates abstractions to another mechanism much better suited for the task: user space libraries.
To close out the tangent: I wonder how you would bring this metaphor back to laws? I guess it would have something to do with Subsidiarity? https://en.wikipedia.org/wiki/Subsidiarity