Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
cap-talk
Conversations
About
cap-talk
1–30 of 433
Mark all as read
Report abusive group
0 selected
Christine Lemmer-Webber
Feb 3
Effects, capabilities, and boxes: From Scope-Based Reasoning to Type-Based Reasoning and Back
Has this come up before? On the queue for me to read, Brooklyn Zelenka recommended it to me: https://
unread,
Effects, capabilities, and boxes: From Scope-Based Reasoning to Type-Based Reasoning and Back
Has this come up before? On the queue for me to read, Brooklyn Zelenka recommended it to me: https://
Feb 3
Christine Lemmer-Webber
Feb 3
Spritely Goblins v0.10 released with Guile & Racket talking over OCapN/CapTP!
I forgot to link this one, but it's kind of a doozy: https://spritely.institute/news/spritely-
unread,
Spritely Goblins v0.10 released with Guile & Racket talking over OCapN/CapTP!
I forgot to link this one, but it's kind of a doozy: https://spritely.institute/news/spritely-
Feb 3
Christine Lemmer-Webber
Feb 3
The Spritely Institute launches a Guile->WASM compilation project!
Due to a generous grant from the MetaMask Grants DAO (thank you!!!), Spritely Networked Communities
unread,
The Spritely Institute launches a Guile->WASM compilation project!
Due to a generous grant from the MetaMask Grants DAO (thank you!!!), Spritely Networked Communities
Feb 3
Christine Lemmer-Webber
, …
Jessica Tallon
26
Jan 24
NLnet grant bootstraps OCapN protocol standardization effort!
The meeting date has been set: https://github.com/ocapn/ocapn/issues/ 28#issuecomment-1402019760 I
unread,
NLnet grant bootstraps OCapN protocol standardization effort!
The meeting date has been set: https://github.com/ocapn/ocapn/issues/ 28#issuecomment-1402019760 I
Jan 24
Alan Karp
, …
Mark S. Miller
5
Jan 17
Have we won the war?
Thanks. The translation from linked-in is apparently available only if one is signed in to linked-in.
unread,
Have we won the war?
Thanks. The translation from linked-in is apparently available only if one is signed in to linked-in.
Jan 17
Charlie Landau
, …
Jonathan S. Shapiro
9
Jan 14
CapROS status
On Mon, Nov 21, 2022 at 5:41 AM William ML Leslie <william.l...@gmail.com> wrote: I'd
unread,
CapROS status
On Mon, Nov 21, 2022 at 5:41 AM William ML Leslie <william.l...@gmail.com> wrote: I'd
Jan 14
Mark S. Miller
Jan 12
Fwd: News about our colleague Carl Hewitt
---------- Forwarded message --------- From: Henry Lieberman <he...@csail.mit.edu> Date: Thu,
unread,
Fwd: News about our colleague Carl Hewitt
---------- Forwarded message --------- From: Henry Lieberman <he...@csail.mit.edu> Date: Thu,
Jan 12
Alan Karp
, …
Ben Laurie
22
12/28/22
Question about a capability pattern
On Wed, 28 Dec 2022 at 17:17, Alan Karp <alan...@gmail.com> wrote: Keynote sounds a lot like
unread,
Question about a capability pattern
On Wed, 28 Dec 2022 at 17:17, Alan Karp <alan...@gmail.com> wrote: Keynote sounds a lot like
12/28/22
F. Randall Farmer
12/19/22
Growing a Networked Garden with Spritely Goblins
Our new Core Infrastructure Architect (David Thompson) for his first week's project created a
unread,
Growing a Networked Garden with Spritely Goblins
Our new Core Infrastructure Architect (David Thompson) for his first week's project created a
12/19/22
William ML Leslie
,
Alan Karp
3
12/14/22
Rambling, content-free update #0
On Sun, 11 Dec 2022 at 10:57, Alan Karp <alan...@gmail.com> wrote: Thanks for sending this.
unread,
Rambling, content-free update #0
On Sun, 11 Dec 2022 at 10:57, Alan Karp <alan...@gmail.com> wrote: Thanks for sending this.
12/14/22
Ben Laurie
,
Dan Connolly
2
10/27/22
CHERI-based caoability OS
On Tue, Oct 18, 2022 at 5:45 AM 'Ben Laurie' via cap-talk <cap-...@googlegroups.com>
unread,
CHERI-based caoability OS
On Tue, Oct 18, 2022 at 5:45 AM 'Ben Laurie' via cap-talk <cap-...@googlegroups.com>
10/27/22
Dan Connolly
10/27/22
Agoric Smart Contract Platform is live!
The smart contract platform that we spent years building is now live on 100+ validators after 1800
unread,
Agoric Smart Contract Platform is live!
The smart contract platform that we spent years building is now live on 100+ validators after 1800
10/27/22
Valerio Bellizzomi
, …
Dan Connolly
28
10/24/22
Google KataOS and Sparrow
On Mon, Oct 17, 2022 at 9:58 PM William ML Leslie <william.l...@gmail.com> wrote: The
unread,
Google KataOS and Sparrow
On Mon, Oct 17, 2022 at 9:58 PM William ML Leslie <william.l...@gmail.com> wrote: The
10/24/22
Raoul Duke
10/19/22
slightly ot: seeking real world security help
hi, apologies this is too ot and spammy. Stanford medicine is rolling out palm biometric reader
unread,
slightly ot: seeking real world security help
hi, apologies this is too ot and spammy. Stanford medicine is rolling out palm biometric reader
10/19/22
Alan Karp
, …
Charlie Landau
11
10/10/22
A request
KeyKOS: there are some links on this page http://cap-lore.com/CapTheory/upenn/ http://www.capros.org/
unread,
A request
KeyKOS: there are some links on this page http://cap-lore.com/CapTheory/upenn/ http://www.capros.org/
10/10/22
randy....@pobox.com
10/4/22
Spritely Institute Community open to cap-talk members...
Hey gang! We're expanding the Spritely Institute Discourse Community and would like to encourage
unread,
Spritely Institute Community open to cap-talk members...
Hey gang! We're expanding the Spritely Institute Discourse Community and would like to encourage
10/4/22
Raoul Duke
9/25/22
preaching to the already converted
Of course i just at least want the other option of "non-destructive-write-only" permission.
unread,
preaching to the already converted
Of course i just at least want the other option of "non-destructive-write-only" permission.
9/25/22
Stewart Webb
, …
Jonathan S. Shapiro
9
9/22/22
C++ as an ocap language?
Picky, picky…🤣 On Tue, Sep 20, 2022 at 1:06 AM 'Ben Laurie' via cap-talk <cap-talk@
unread,
C++ as an ocap language?
Picky, picky…🤣 On Tue, Sep 20, 2022 at 1:06 AM 'Ben Laurie' via cap-talk <cap-talk@
9/22/22
Terry Hayes
9/21/22
Computerphile video - blockchain driving need for distributed access control methods
I recently watched this video about applications that can benefit from blockchains. https://www.
unread,
Computerphile video - blockchain driving need for distributed access control methods
I recently watched this video about applications that can benefit from blockchains. https://www.
9/21/22
Rob Meijer
, …
Alan Karp
6
9/19/22
Anyone I can run my CoinZdense slides past?
I did look at the slides, but the crypto is way above my head. -------------- Alan Karp On Mon, Sep
unread,
Anyone I can run my CoinZdense slides past?
I did look at the slides, but the crypto is way above my head. -------------- Alan Karp On Mon, Sep
9/19/22
Alan Karp
, …
Tony Arcieri
4
9/16/22
Verifiable Credentials (VCs) and the confused deputy
On Fri, Sep 16, 2022 at 4:45 PM Tony Arcieri <bas...@gmail.com> wrote: I remember talking to
unread,
Verifiable Credentials (VCs) and the confused deputy
On Fri, Sep 16, 2022 at 4:45 PM Tony Arcieri <bas...@gmail.com> wrote: I remember talking to
9/16/22
Mark S. Miller
,
Mike Stay
2
9/14/22
Re: [friam] Re: Captp spec/slides/presentation?
Oops, replied to the old cap-talk. Updated the CC. On Wed, Sep 14, 2022 at 8:33 PM Mike Stay <
unread,
Re: [friam] Re: Captp spec/slides/presentation?
Oops, replied to the old cap-talk. Updated the CC. On Wed, Sep 14, 2022 at 8:33 PM Mike Stay <
9/14/22
Alan Karp
, …
Mark S. Miller
16
9/9/22
A term for universal access
On Fri, Sep 9, 2022 at 4:16 PM Charlie Landau <cha...@charlielandau.com> wrote: On 9/7/22 9:46
unread,
A term for universal access
On Fri, Sep 9, 2022 at 4:16 PM Charlie Landau <cha...@charlielandau.com> wrote: On 9/7/22 9:46
9/9/22
Alan Karp
, …
Jonathan Frederickson
4
9/8/22
Using your cell phone as a car key
If it's not a capability, it should be (and feels like a missed opportunity). Shared car keys are
unread,
Using your cell phone as a car key
If it's not a capability, it should be (and feels like a missed opportunity). Shared car keys are
9/8/22
Alan Karp
, …
Ben Laurie
3
8/26/22
UCAN
On Thu, 25 Aug 2022 at 23:32, Alan Karp <alan...@gmail.com> wrote: User Controlled
unread,
UCAN
On Thu, 25 Aug 2022 at 23:32, Alan Karp <alan...@gmail.com> wrote: User Controlled
8/26/22
Dale Schumacher
8/25/22
Memory Safety Simplifies Microprocessor Design
About a month ago, at Friam, I gave an informal presentation of an actor-oriented microprocessor
unread,
Memory Safety Simplifies Microprocessor Design
About a month ago, at Friam, I gave an informal presentation of an actor-oriented microprocessor
8/25/22
Raoul Duke
, …
Rob Meijer
28
8/18/22
re: pola etc.
On Tue, 16 Aug 2022 at 20:00, Mark S. Miller <eri...@gmail.com> wrote: On Tue, Aug 16, 2022 at
unread,
re: pola etc.
On Tue, 16 Aug 2022 at 20:00, Mark S. Miller <eri...@gmail.com> wrote: On Tue, Aug 16, 2022 at
8/18/22
Randy Farmer
,
Christine Lemmer-Webber
2
8/17/22
FFDW grant to Spritely Institute announced today!
And also, a tech tour blogpost: https://spritely.institute/news/blast-off-spritely-institutes-tech-
unread,
FFDW grant to Spritely Institute announced today!
And also, a tech tour blogpost: https://spritely.institute/news/blast-off-spritely-institutes-tech-
8/17/22
Ben Laurie
8/15/22
CHERITech...
...might be of interest: https://soft-dev.org/events/cheritech22/.
unread,
CHERITech...
...might be of interest: https://soft-dev.org/events/cheritech22/.
8/15/22
Christine Lemmer-Webber
7/18/22
Austral, an ocap language with linear types
It seems interesting. I'm surprised I hadn't seen it mentioned over here. https://austral.
unread,
Austral, an ocap language with linear types
It seems interesting. I'm surprised I hadn't seen it mentioned over here. https://austral.
7/18/22