Groups
Groups
Sign in
Groups
Groups
cap-talk
Conversations
About
Send feedback
Help
Group path
cap-talk
Contact owners and managers
1–30 of 569
Mark all as read
Report group
0 selected
David Nicol
, …
Matt Rice
28
Aug 15
"Permity"
On Sat, Aug 15, 2026 at 6:05 PM David Nicol <david...@gmail.com> wrote: > > > >
unread,
"Permity"
On Sat, Aug 15, 2026 at 6:05 PM David Nicol <david...@gmail.com> wrote: > > > >
Aug 15
William ML Leslie
Aug 14
Re: [friam] Adopting Memory-Safety and Fine-Grained Compartmentalisation with CHERI
On Fri, 14 Aug 2026 at 03:57, Vinícius dos Santos Oliveira <vini.i...@gmail.com> wrote:
unread,
Re: [friam] Adopting Memory-Safety and Fine-Grained Compartmentalisation with CHERI
On Fri, 14 Aug 2026 at 03:57, Vinícius dos Santos Oliveira <vini.i...@gmail.com> wrote:
Aug 14
Alan Karp
, …
Mark S. Miller
31
Aug 14
Permission/authority
On Fri, Aug 14, 2026 at 3:58 AM John Carlson <yott...@gmail.com> wrote: I'm just trying to
unread,
Permission/authority
On Fri, Aug 14, 2026 at 3:58 AM John Carlson <yott...@gmail.com> wrote: I'm just trying to
Aug 14
Alan Karp
, …
Matt Rice
16
Aug 14
Anyone aware of this project?
On Fri, Aug 14, 2026 at 12:49 AM William ML Leslie <william.l...@gmail.com> wrote: >
unread,
Anyone aware of this project?
On Fri, Aug 14, 2026 at 12:49 AM William ML Leslie <william.l...@gmail.com> wrote: >
Aug 14
Alan Karp
,
Matt Rice
2
Aug 8
Designating the resource with certificate capabilities
On Fri, Aug 7, 2026 at 3:31 PM Alan Karp <alan...@gmail.com> wrote: > > I'm back
unread,
Designating the resource with certificate capabilities
On Fri, Aug 7, 2026 at 3:31 PM Alan Karp <alan...@gmail.com> wrote: > > I'm back
Aug 8
Alan Karp
, …
Matt Rice
56
Jul 25
Confused deputy
The systems I'm dealing with are all on the open Internet, so confinement isn't a
unread,
Confused deputy
The systems I'm dealing with are all on the open Internet, so confinement isn't a
Jul 25
David Nicol
, …
Jonathan S. Shapiro
8
Jul 24
Regarding the (im)possibility of "practical realization of promise pipelining in non-GC'd languages"
Apologies that I am so belatedly catching up with this thread. I have enormous respect for cap'n
unread,
Regarding the (im)possibility of "practical realization of promise pipelining in non-GC'd languages"
Apologies that I am so belatedly catching up with this thread. I have enormous respect for cap'n
Jul 24
Rob Meijer
Jul 22
A less Merg-E only version of HF-JSON
Because it touches on a few subjects regarding numeric type safety discussed here earlier, I thought
unread,
A less Merg-E only version of HF-JSON
Because it touches on a few subjects regarding numeric type safety discussed here earlier, I thought
Jul 22
Tom Stepleton
, …
Alan Karp
9
Jul 20
Revived: RSRE Flex; and questions
Thanks for sending the link. I thoroughly enjoyed the talk. -------------- Alan Karp On Mon, Jul 20,
unread,
Revived: RSRE Flex; and questions
Thanks for sending the link. I thoroughly enjoyed the talk. -------------- Alan Karp On Mon, Jul 20,
Jul 20
John Carlson
,
Mark S. Miller
2
Jul 16
Exemplary implementations of capability-based commerce
http://agoric.com On Thu, Jul 16, 2026 at 11:05 AM John Carlson <yott...@gmail.com> wrote:
unread,
Exemplary implementations of capability-based commerce
http://agoric.com On Thu, Jul 16, 2026 at 11:05 AM John Carlson <yott...@gmail.com> wrote:
Jul 16
John Carlson
Jul 8
Correct way to agents?
This is a very good video about using bearer tokens outside docker sandboxes (sbx command) and
unread,
Correct way to agents?
This is a very good video about using bearer tokens outside docker sandboxes (sbx command) and
Jul 8
Alan Karp
, …
Rob Meijer
5
Jul 8
At least it admits it's an AI
I haven't tried with Fable (wasn't around at the time), but one thing that stood out to me
unread,
At least it admits it's an AI
I haven't tried with Fable (wasn't around at the time), but one thing that stood out to me
Jul 8
fengyun liu
, …
Mark S. Miller
14
Jun 29
[Ask for Feedback] I created a simple typed object-capability language Jo
Also, fluid scoping is straightforward enough to implement that I do not see any need for hardware
unread,
[Ask for Feedback] I created a simple typed object-capability language Jo
Also, fluid scoping is straightforward enough to implement that I do not see any need for hardware
Jun 29
Alan Karp
, …
Matt Rice
24
Jun 21
Certificate capabilities
On Sat, Jun 20, 2026 at 11:37 PM David Nicol <david...@gmail.com> wrote: In an object
unread,
Certificate capabilities
On Sat, Jun 20, 2026 at 11:37 PM David Nicol <david...@gmail.com> wrote: In an object
Jun 21
Alan Karp
Jun 17
A convert
https://www.linkedin.com/pulse/authorization-problem-we-keep-half-solving-george-fletcher-hueee/ For
unread,
A convert
https://www.linkedin.com/pulse/authorization-problem-we-keep-half-solving-george-fletcher-hueee/ For
Jun 17
Jonathan S. Shapiro
, …
Raoul Duke
27
Jun 12
Coyotos update/question: pointers in cyclic graphs vs. safe Rust
i daydream of a functional-relational development environment. https://docs.google.com/document/d/1-
unread,
Coyotos update/question: pointers in cyclic graphs vs. safe Rust
i daydream of a functional-relational development environment. https://docs.google.com/document/d/1-
Jun 12
Alan Karp
Jun 11
Capabilities as a governance mechanism
https://gluufederation.medium.com/why-the-acc-is-the-foundation-of-govops-4022c6865fc0 --------------
unread,
Capabilities as a governance mechanism
https://gluufederation.medium.com/why-the-acc-is-the-foundation-of-govops-4022c6865fc0 --------------
Jun 11
Alan Karp
Jun 10
A 10-minute description of certificate capabilities
https://www.youtube.com/watch?v=_fziCbcKAd4 -------------- Alan Karp
unread,
A 10-minute description of certificate capabilities
https://www.youtube.com/watch?v=_fziCbcKAd4 -------------- Alan Karp
Jun 10
William ML Leslie
,
Matt Rice
14
Jun 3
On Cap'nProto for generating Coyotos Kernel interfaces
On Wed, 3 Jun 2026 at 05:39, Matt Rice <rat...@gmail.com> wrote: Sorry for yet another
unread,
On Cap'nProto for generating Coyotos Kernel interfaces
On Wed, 3 Jun 2026 at 05:39, Matt Rice <rat...@gmail.com> wrote: Sorry for yet another
Jun 3
Valerio Bellizzomi
Jun 2
Confused deputy Instagram
This is interesting:
unread,
Confused deputy Instagram
This is interesting:
Jun 2
Bakul Shah
, …
Gernot Heiser
8
May 28
Questions regarding KeyKOS, EROS, CapROS
MCS is pretty much what you call “mixed mode”. Note that “fairness” is pretty much the opposite of
unread,
Questions regarding KeyKOS, EROS, CapROS
MCS is pretty much what you call “mixed mode”. Note that “fairness” is pretty much the opposite of
May 28
Jonathan S. Shapiro
, …
William ML Leslie
18
May 27
Interactions between capabilities and concurrency guards
On Wed, 27 May 2026 at 03:11, Jonathan S. Shapiro <jonathan....@gmail.com> wrote: I'm
unread,
Interactions between capabilities and concurrency guards
On Wed, 27 May 2026 at 03:11, Jonathan S. Shapiro <jonathan....@gmail.com> wrote: I'm
May 27
Raoul Duke
May 24
i heard a daydream
leveraging ocaps + blackboards + worker nodes, to make a workflow engine (or anything that can be
unread,
i heard a daydream
leveraging ocaps + blackboards + worker nodes, to make a workflow engine (or anything that can be
May 24
Alan Karp
, …
John Carlson
14
May 11
Scala 3 capabilities
Both IronClaw and Clawdrey's Carapace are more general. They use a run-before feature to route
unread,
Scala 3 capabilities
Both IronClaw and Clawdrey's Carapace are more general. They use a run-before feature to route
May 11
Mark S. Miller
, …
Alan Karp
4
May 8
Hallucinated ocap paper?
Notice the link to the tech report. HP removed links to them, but fortunately you can still get them
unread,
Hallucinated ocap paper?
Notice the link to the tech report. HP removed links to them, but fortunately you can still get them
May 8
Raoul Duke
,
Mark S. Miller
3
May 4
grant matcher
Sorry, I was unclear & behind the times, on the old "without eq" variant. On Sun, May 3
unread,
grant matcher
Sorry, I was unclear & behind the times, on the old "without eq" variant. On Sun, May 3
May 4
John Carlson
, …
Alan Karp
5
Apr 30
Attenuation is a good idea!
One problem with applying POLA to LLM agents is their nondeterminism. You don't know what
unread,
Attenuation is a good idea!
One problem with applying POLA to LLM agents is their nondeterminism. You don't know what
Apr 30
Alan Karp
, …
Rob Meijer
21
Apr 23
String processing errors
On Thu, 23 Apr 2026, 13:16 Rob Meijer, <pib...@gmail.com> wrote: It never grew a user base, so
unread,
String processing errors
On Thu, 23 Apr 2026, 13:16 Rob Meijer, <pib...@gmail.com> wrote: It never grew a user base, so
Apr 23
Alan Karp
, …
William ML Leslie
4
Apr 5
Praise of IBM's capability-based OS/400
On Mon, 6 Apr 2026 at 04:59, Raoul Duke <rao...@gmail.com> wrote: Oh, absolutely — IBM i's
unread,
Praise of IBM's capability-based OS/400
On Mon, 6 Apr 2026 at 04:59, Raoul Duke <rao...@gmail.com> wrote: Oh, absolutely — IBM i's
Apr 5
Alan Karp
, …
Matt Rice
55
Apr 4
Comparing capability systems
On Sat, Apr 4, 2026 at 2:56 PM Rob Meijer <pib...@gmail.com> wrote: On Sat, 4 Apr 2026, 11:06
unread,
Comparing capability systems
On Sat, Apr 4, 2026 at 2:56 PM Rob Meijer <pib...@gmail.com> wrote: On Sat, 4 Apr 2026, 11:06
Apr 4