Groups
Groups
Sign in
Groups
Groups
cap-talk
Conversations
About
Send feedback
Help
cap-talk
Contact owners and managers
1–30 of 539
Mark all as read
Report group
0 selected
Alan Karp
, …
Ben Laurie
50
3:59 AM
Comparing capability systems
On Thu, 12 Mar 2026 at 21:36, Mark S. Miller <eri...@gmail.com> wrote: Ok, I believe I read
unread,
Comparing capability systems
On Thu, 12 Mar 2026 at 21:36, Mark S. Miller <eri...@gmail.com> wrote: Ok, I believe I read
3:59 AM
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
Jonathan S. Shapiro
Feb 19
Coyotos/Rust Update: Tooling Hell
I'm trying to send out occasional updates. This one is kind of embarrassing. The "Good"
unread,
Coyotos/Rust Update: Tooling Hell
I'm trying to send out occasional updates. This one is kind of embarrassing. The "Good"
Feb 19
John Carlson
, …
Matt Rice
11
Feb 14
A forwarding xor reading capability?
I think it's a simple choice between either reading XOR forwarding. Yes, once reading, the
unread,
A forwarding xor reading capability?
I think it's a simple choice between either reading XOR forwarding. Yes, once reading, the
Feb 14
Jonathan S. Shapiro
, …
Valerio Bellizzomi
9
Feb 7
Quick coyotos update and question
Yes, Raspberry 3/4/5 with some Coyotos pin read/write utility too. On Saturday, February 7, 2026 at 9
unread,
Quick coyotos update and question
Yes, Raspberry 3/4/5 with some Coyotos pin read/write utility too. On Saturday, February 7, 2026 at 9
Feb 7
Rob Meijer
Jan 19
VaultFS progress.
Think I'm half way towards a first beta for InnuenDo VaultFS that we touched on with basic ideas
unread,
VaultFS progress.
Think I'm half way towards a first beta for InnuenDo VaultFS that we touched on with basic ideas
Jan 19
Rob Meijer
2
Jan 11
argv-spoof-safe interpreters and VMs?
For context: https://codeberg.org/pibara/innuendo-vaultfs/src/branch/main/README.md Not much code yet
unread,
argv-spoof-safe interpreters and VMs?
For context: https://codeberg.org/pibara/innuendo-vaultfs/src/branch/main/README.md Not much code yet
Jan 11
Jonathan S. Shapiro
, …
Matt Rice
5
Jan 8
More thoughts on Rust: enums, confined proc-macros, SES for Rust
On Thu, Jan 8, 2026 at 5:11 AM Kevin Reid <kpr...@switchb.org> wrote: > > On Wed, Jan 7,
unread,
More thoughts on Rust: enums, confined proc-macros, SES for Rust
On Thu, Jan 8, 2026 at 5:11 AM Kevin Reid <kpr...@switchb.org> wrote: > > On Wed, Jan 7,
Jan 8
Jonathan S. Shapiro
, …
Valerio Bellizzomi
25
Jan 8
Early reactions to Rust
As I said earlier privately to Shap, the Cloud-Hypervisor is a project written in Rust, the project
unread,
Early reactions to Rust
As I said earlier privately to Shap, the Cloud-Hypervisor is a project written in Rust, the project
Jan 8
Rob Meijer
, …
Raoul Duke
7
Jan 6
Model purity escape hatch as adoption enabler?
For completeness, this is currently the complete list of situations where the "hazardous"
unread,
Model purity escape hatch as adoption enabler?
For completeness, this is currently the complete list of situations where the "hazardous"
Jan 6
Rob Meijer
, …
John Carlson
12
12/30/25
Sensitive data in constants; language feature dilemma.
If I can't really depend on TPMs to store my private keys, is their only purpose to identify me?
unread,
Sensitive data in constants; language feature dilemma.
If I can't really depend on TPMs to store my private keys, is their only purpose to identify me?
12/30/25
Jonathan S. Shapiro
, …
Daira-Emma Hopwood
72
12/17/25
Hardware Coyotos variant?
On Tue, Dec 16, 2025 at 2:07 AM 'Daira-Emma Hopwood' via cap-talk <cap-talk@googlegroups.
unread,
Hardware Coyotos variant?
On Tue, Dec 16, 2025 at 2:07 AM 'Daira-Emma Hopwood' via cap-talk <cap-talk@googlegroups.
12/17/25
Jonathan S. Shapiro
, …
Kevin Reid
28
12/16/25
Describing coyotos: processes
On Tue, Dec 16, 2025 at 4:15 PM Alan Karp <alan...@gmail.com> wrote: Thanks for the pointer.
unread,
Describing coyotos: processes
On Tue, Dec 16, 2025 at 4:15 PM Alan Karp <alan...@gmail.com> wrote: Thanks for the pointer.
12/16/25
William ML Leslie
3
12/14/25
Getting started with jessica
Forwarding to cap-talk at Michael's request. This is all exciting news, thank you Michael. I'
unread,
Getting started with jessica
Forwarding to cap-talk at Michael's request. This is all exciting news, thank you Michael. I'
12/14/25
Jonathan S. Shapiro
12/14/25
Book progress
Writing is proceeding, and two of the open questions that have come up seem to have converged.
unread,
Book progress
Writing is proceeding, and two of the open questions that have come up seem to have converged.
12/14/25
William ML Leslie
12/11/25
Describing the new async model
Well, why not. I thought it might be time to start describing the new objects I've begun
unread,
Describing the new async model
Well, why not. I thought it might be time to start describing the new objects I've begun
12/11/25
Alan Karp
,
Raoul Duke
3
12/3/25
UCAN web site is live
maybe old news but looks like they have been involved at ipfs fwiw https://discuss.ipfs.tech/t/unconf
unread,
UCAN web site is live
maybe old news but looks like they have been involved at ipfs fwiw https://discuss.ipfs.tech/t/unconf
12/3/25