Groups
Groups
Sign in
Groups
Groups
cap-talk
Conversations
About
Send feedback
Help
cap-talk
Contact owners and managers
1–30 of 553
Mark all as read
Report group
0 selected
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
David Nicol
, …
Rob Meijer
7
May 28
Regarding the (im)possibility of "practical realization of promise pipelining in non-GC'd languages"
On Thu, 28 May 2026, 00:31 David Nicol, <david...@gmail.com> wrote: What's a non-garbage-
unread,
Regarding the (im)possibility of "practical realization of promise pipelining in non-GC'd languages"
On Thu, 28 May 2026, 00:31 David Nicol, <david...@gmail.com> wrote: What's a non-garbage-
May 28
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
Dan Connolly
,
Mark S. Miller
2
Apr 2
struggling to introduce Spectrum OS to CapDesk
It seems down for me too. I have no idea why. I'll try to look into it this weekend. On Wed, Apr
unread,
struggling to introduce Spectrum OS to CapDesk
It seems down for me too. I have no idea why. I'll try to look into it this weekend. On Wed, Apr
Apr 2
Jonathan S. Shapiro
, …
Alan Karp
12
Apr 2
Unified capabilities site
On Wed, Apr 1, 2026 at 11:22 PM Dan Connolly <dc...@madmode.com> wrote: Did anything come of
unread,
Unified capabilities site
On Wed, Apr 1, 2026 at 11:22 PM Dan Connolly <dc...@madmode.com> wrote: Did anything come of
Apr 2
Alan Karp
, …
Mark S. Miller
12
Mar 16
Group delegation
On Mon, Mar 16, 2026 at 4:20 PM Mark S. Miller <eri...@gmail.com> wrote: On Mon, Mar 16, 2026
unread,
Group delegation
On Mon, Mar 16, 2026 at 4:20 PM Mark S. Miller <eri...@gmail.com> wrote: On Mon, Mar 16, 2026
Mar 16
Mark S. Miller
, …
Matt Rice
16
Mar 12
Gemini discusses Confused Deputy
On Thu, Mar 12, 2026 at 4:52 AM William ML Leslie <william.l...@gmail.com> wrote: >
unread,
Gemini discusses Confused Deputy
On Thu, Mar 12, 2026 at 4:52 AM William ML Leslie <william.l...@gmail.com> wrote: >
Mar 12
Jonathan S. Shapiro
, …
Ben Laurie
10
Mar 8
Coyotos: Revised capability layout
On Fri, 6 Mar 2026 at 17:08, Jonathan S. Shapiro <jonathan....@gmail.com> wrote: On Fri,
unread,
Coyotos: Revised capability layout
On Fri, 6 Mar 2026 at 17:08, Jonathan S. Shapiro <jonathan....@gmail.com> wrote: On Fri,
Mar 8
Jonathan S. Shapiro
, …
William ML Leslie
21
Mar 7
64bit Coyotos might be a SASOS
On Wed, Mar 4, 2026 at 6:02 PM William ML Leslie <william.l...@gmail.com> wrote: On Thu,
unread,
64bit Coyotos might be a SASOS
On Wed, Mar 4, 2026 at 6:02 PM William ML Leslie <william.l...@gmail.com> wrote: On Thu,
Mar 7
Jonathan S. Shapiro
,
William ML Leslie
3
Mar 7
Ageing, checkpoint, and OTEntry scans
On Fri, Mar 6, 2026 at 1:47 PM William ML Leslie <william.l...@gmail.com> wrote: On Sat,
unread,
Ageing, checkpoint, and OTEntry scans
On Fri, Mar 6, 2026 at 1:47 PM William ML Leslie <william.l...@gmail.com> wrote: On Sat,
Mar 7
Rob Meijer
,
Alan Karp
8
Mar 5
Merg-E according to deepseek
The video I watched is great. I'm going to have to figure out how to do it. -------------- Alan
unread,
Merg-E according to deepseek
The video I watched is great. I'm going to have to figure out how to do it. -------------- Alan
Mar 5
David Nicol
,
Jonathan S. Shapiro
3
Mar 4
virtual 256-bit SASOS capability system
At a conceptual level, yes. SASOS256 isn't constrained by particular hardware until it gets
unread,
virtual 256-bit SASOS capability system
At a conceptual level, yes. SASOS256 isn't constrained by particular hardware until it gets
Mar 4
Jonathan S. Shapiro
,
William ML Leslie
3
Mar 4
Coyotos Endpoints
On Tue, Mar 3, 2026 at 9:50 PM William ML Leslie <william.l...@gmail.com> wrote: I miss
unread,
Coyotos Endpoints
On Tue, Mar 3, 2026 at 9:50 PM William ML Leslie <william.l...@gmail.com> wrote: I miss
Mar 4
Jonathan S. Shapiro
,
William ML Leslie
3
Mar 4
Why Cap Pages?
> I don't think we know clearly yet just how extensively people will use cappages but I guess
unread,
Why Cap Pages?
> I don't think we know clearly yet just how extensively people will use cappages but I guess
Mar 4
Jonathan S. Shapiro
,
William ML Leslie
3
Mar 3
On capability size
On Mon, Mar 2, 2026 at 11:31 PM William ML Leslie <william.l...@gmail.com> wrote: On the
unread,
On capability size
On Mon, Mar 2, 2026 at 11:31 PM William ML Leslie <william.l...@gmail.com> wrote: On the
Mar 3
Alan Karp
, …
Ben Laurie
3
Mar 3
Macaroons
On Tue, 3 Mar 2026 at 14:51, Tony Arcieri <bas...@gmail.com> wrote: Google never published a
unread,
Macaroons
On Tue, 3 Mar 2026 at 14:51, Tony Arcieri <bas...@gmail.com> wrote: Google never published a
Mar 3
Jonathan S. Shapiro
,
Mark S. Miller
4
Mar 2
Find-grain capability addressing is a natural monopoly
Well, almost everything I posted today was wrong. Powers of 2 vs. powers of 10. We return you now to
unread,
Find-grain capability addressing is a natural monopoly
Well, almost everything I posted today was wrong. Powers of 2 vs. powers of 10. We return you now to
Mar 2
Jonathan S. Shapiro
, …
William ML Leslie
25
Mar 2
Coyotos update/question: pointers in cyclic graphs vs. safe Rust
On Sun, Mar 1, 2026 at 11:53 PM William ML Leslie <william.l...@gmail.com> wrote: Looking
unread,
Coyotos update/question: pointers in cyclic graphs vs. safe Rust
On Sun, Mar 1, 2026 at 11:53 PM William ML Leslie <william.l...@gmail.com> wrote: Looking
Mar 2
Jonathan S. Shapiro
, …
Ben Laurie
4
Feb 28
Hardware-assisted Coyotos: first look at board options
It depends a lot on what variety of CHERI research you want to do, since CHERI runs on everything
unread,
Hardware-assisted Coyotos: first look at board options
It depends a lot on what variety of CHERI research you want to do, since CHERI runs on everything
Feb 28
Alan Karp
, …
Matt Rice
47
Feb 26
Delegation technologies
On Thu, Feb 26, 2026 at 7:12 PM 'Mark S. Miller' via cap-talk <cap-...@googlegroups.com
unread,
Delegation technologies
On Thu, Feb 26, 2026 at 7:12 PM 'Mark S. Miller' via cap-talk <cap-...@googlegroups.com
Feb 26
