cap-talk

1–30 of 433

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 Tallon26

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. Miller5

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. Shapiro9

Jan 14

On Mon, Nov 21, 2022 at 5:41 AM William ML Leslie <william.l...@gmail.com> wrote: I'd

unread,

On Mon, Nov 21, 2022 at 5:41 AM William ML Leslie <william.l...@gmail.com> wrote: I'd

Jan 14

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 Laurie22

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 Karp3

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 Connolly2

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

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 Connolly28

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

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 Landau11

10/10/22

KeyKOS: there are some links on this page http://cap-lore.com/CapTheory/upenn/ http://www.capros.org/

unread,

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

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. Shapiro9

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

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 Karp6

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 Arcieri4

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 Stay2

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. Miller16

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 Frederickson4

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 Laurie3

8/26/22

On Thu, 25 Aug 2022 at 23:32, Alan Karp <alan...@gmail.com> wrote: User Controlled

unread,

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 Meijer28

8/18/22

On Tue, 16 Aug 2022 at 20:00, Mark S. Miller <eri...@gmail.com> wrote: On Tue, Aug 16, 2022 at

unread,

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-Webber2

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

8/15/22

...might be of interest: https://soft-dev.org/events/cheritech22/.

unread,

...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

Search

Clear search

Close search

Google apps

Main menu