Re:CapROS: The Capability-Based Reliable Operating System
by ryanjshaw on Sunday December 14, 2025 @11:55PM
(#46270633)
I was a nerdy kid living in the middle of nowhere in Africa. I think we’d had dialup for about 2 years at that, and I emailed him with some questions about how to understand the mathematical notations used in his EROS work. He was very kind and helpful in his response, even though my questions were probably very naive.
Re:CapROS: The Capability-Based Reliable Operating System
by kragen on Sunday December 14, 2025 @09:46PM
(#46269852)
Coyotos and CapROS are two continuations of EROS.
Re:CapROS: The Capability-Based Reliable Operating System
by naasking on Monday December 15, 2025 @09:54AM
(#46275302)
CapROS is a literal successor taking the EROS source code and continuing development. Coyotos is more of a spiritual successor, a redesign of the core OS but in the same spirit.
Re:CapROS: The Capability-Based Reliable Operating System
by kragen on Tuesday December 16, 2025 @10:17AM
(#46289542)
I very much appreciate the correction/clarification.
Re:CapROS: The Capability-Based Reliable Operating System
by ajb on Monday December 15, 2025 @05:47PM
(#46281924)
Dr Shapiro has "open to work" on his LinkedIn right now, FWIW. Don't know what kind of work he's interested in today.
I followed his work on bitc for a while (it was his alternative to rust).
This was easily one of my most memorable lectures from undergrad, and it really helped to show me that even your operating system is just more software that you can read and understand.
1. https://github.com/vsrinivas/coyotos/blob/c68719b851e253aa11...