cap-talk General discussion of capability systems

2011-04-01 - 2011-05-01 (162 messages)

2011-03-01 - 2011-04-01 (114 messages)

2011-02-01 - 2011-03-01 (179 messages)

  1. 2011-03-27  [5] Re: [cap-talk] Capabilities for immutable data             cap-talk    David Barbour 
  2. 2011-03-21 [19] [cap-talk] Composability and RAII                          cap-talk    David Barbour 
  3. 2011-03-14  [7] Re: [cap-talk] cap-talk Digest, Vol 84, Issue 19           cap-talk    James A. Donald 
  4. 2011-03-11  [3] [cap-talk] What is the implementation status of yurls?     cap-talk    David Barbour 
  5. 2011-03-10  [1] [cap-talk] First class meta-connection object (MCO) protoc cap-talk    David Barbour 
  6. 2011-03-09  [4] Re: [cap-talk] Beneath Notice Authority was:Capabilities   cap-talk    Matthieu Lemerre
  7. 2011-03-06 [58] [cap-talk] small notes re: waterken                        cap-talk    Ben Kloosterman 
  8. 2011-03-04  [1] Re: [cap-talk] Public Release of seL4: a formally          cap-talk    Matej Kosik 
  9. 2011-03-04 [14] Re: [cap-talk] Public Release of seL4: a formally verified cap-talk    Matej Kosik 
 10. 2011-03-01  [2] Re: [cap-talk] *cap/*ken indoctrination day?               cap-talk    Marc Stiegler