3 ms·
The various object-capability projects alive right now, like Tahoe-LAFS, Monte, Cap'n Proto, Sandstorm, and Genode, are all very much future technology. Imagine
by DonbunEf7 9y ago
The various object-capability projects alive right now, like Tahoe-LAFS, Monte, Cap'n Proto, Sandstorm, and Genode, are all very much future technology. Imagine:
* No accounts, no passwords, just secret keycaps
* Instead of messy and complex role-based tables, capabilities always know exactly what they are capable of doing
* No more confused deputies
* Fine-grained trust
- jonjacky 9y agoHere is a book of case studies of object-capability projects in the 1960s 70s and 80s, including several products from big computer companies: http://homes.cs.washington.edu/~levy/capabook/ http://homes.cs.washington.edu/~levy/capabook/
- Jtsummers 9y agoI didn't know you were on HN. Tangential to the discussion, thanks for your book The Way of Z. That was one of the first books I read in my efforts to understand and formal methods and specifications.
- deleted 9y ago[deleted]