cap-talk General discussion of capability systems

2015-10-01 - 2015-11-01 (60 messages)

2015-09-01 - 2015-10-01 (20 messages)

2015-08-01 - 2015-09-01 (9 messages)

  1. 2015-09-29  [1] [cap-talk] CFP: POST 2016                                  cap-talk    Deian Stefan 
  2. 2015-09-27  [3] [cap-talk] C++ becoming memory safe (sorta)                cap-talk    Tony Arcieri 
  3. 2015-09-25  [1] [cap-talk] SSV 2015 - Deadline Extended to Oct 5th         cap-talk    Toby Murray 
  4. 2015-09-23  [1] Re: [cap-talk] Fwd: Re: [Cryptography] Encryption opinion  cap-talk    Dan Connolly 
  5. 2015-09-18  [1] [cap-talk] Python port of RumpelTree++ (plus some demo too cap-talk    rmeijer 
  6. 2015-09-16  [1] [cap-talk] =?utf-8?q?Fwd=3A_=5BseL4_Announce=5D_Second_seL cap-talk    Mark S. Miller 
  7. 2015-09-16  [1] [cap-talk] Fwd: [seL4 Announce] seL4 Roadmap announced     cap-talk    Mark S. Miller 
  8. 2015-09-14  [9] Re: [cap-talk] imagining a programming language with a cap cap-talk    David Nicol 
  9. 2015-09-03  [1] [cap-talk] Fwd: [seL4 Announce] So Long NICTA, Go DATA61!  cap-talk    Mark S. Miller 
 10. 2015-09-02  [1] [cap-talk] Attending - driving down? (was: Re: [friam] SOS cap-talk    Jed Donnelley