Groups

friam

1–30 of 2337

0 selected

Alan Karp, … Matt Rice15

2:36 AM

String processing errors

On Sat, Apr 25, 2026 at 3:32 AM Alan Karp <alan...@gmail.com> wrote: > > On Fri, Apr 24

unread,

String processing errors

On Sat, Apr 25, 2026 at 3:32 AM Alan Karp <alan...@gmail.com> wrote: > > On Fri, Apr 24

2:36 AM

Vinícius dos Santos Oliveira

Apr 24

Pratt parsing is a black box

As I follow-up from the discussion on macros that we had today, here's my article on Pratt

unread,

Pratt parsing is a black box

As I follow-up from the discussion on macros that we had today, here's my article on Pratt

Apr 24

Mike Samuel, Alan Karp3

Apr 24

Preprint on secure composition of network message strings in langs like HTML, SQL

Thanks for catching that, Alan. I had skragged some macro that sets the conference. Now it says 2018

unread,

Preprint on secure composition of network message strings in langs like HTML, SQL

Thanks for catching that, Alan. I had skragged some macro that sets the conference. Now it says 2018

Apr 24

Alan Karp, ๏̯͡๏ Jasvir Nagra3

Apr 21

Topic for Friday

https://forum.stanford.edu/events/2026-annual-affiliates-meeting/day-1-security-workshop ------------

unread,

Topic for Friday

https://forum.stanford.edu/events/2026-annual-affiliates-meeting/day-1-security-workshop ------------

Apr 21

Apr 20

Fwd: [security-lunch] [LOCATION CHANGE: GATES 403] Apr 22 | Thea Rossman on "Iris: Expressive Traffic Analysis for the Modern Internet"

-------------- Alan Karp ---------- Forwarded message --------- From: Michael Leo Paper via security-

unread,

Fwd: [security-lunch] [LOCATION CHANGE: GATES 403] Apr 22 | Thea Rossman on "Iris: Expressive Traffic Analysis for the Modern Internet"

-------------- Alan Karp ---------- Forwarded message --------- From: Michael Leo Paper via security-

Apr 20

Apr 13

Fwd: [security-lunch] Apr 15 | Ihyun Nam on "Passlog: Authentication Logging with Public State"

-------------- Alan Karp ---------- Forwarded message --------- From: Michael Leo Paper via security-

unread,

Fwd: [security-lunch] Apr 15 | Ihyun Nam on "Passlog: Authentication Logging with Public State"

-------------- Alan Karp ---------- Forwarded message --------- From: Michael Leo Paper via security-

Apr 13

Kurt Thams, … Raoul Duke10

Apr 12

Anthropic's Mythos and Javascript Sploits

well, copilot is knowledgeable enough to tell me how super vulnerable everything is, so that's

unread,

Anthropic's Mythos and Javascript Sploits

well, copilot is knowledgeable enough to tell me how super vulnerable everything is, so that's

Apr 12

Alan Karp, … Mark S. Miller13

Apr 8

Praise of IBM's capability-based OS/400

Ok, I see what you mean now. In a multi-process system in which tiny processes are only coupled to

unread,

Praise of IBM's capability-based OS/400

Ok, I see what you mean now. In a multi-process system in which tiny processes are only coupled to

Apr 8

Alan Karp, … Mark S. Miller12

Apr 7

Protecting yourself from your AI

On a completely separate note, I happened across https://ilblackdragon.substack.com/p/agent-harnesses

unread,

Protecting yourself from your AI

On a completely separate note, I happened across https://ilblackdragon.substack.com/p/agent-harnesses

Apr 7

Apr 6

Fwd: [security-lunch] Apr 8 | Ryan Lehmkuhl on "Let’s Aggregate? Towards making private telemetry as ubiquitous as TLS"

-------------- Alan Karp ---------- Forwarded message --------- From: Michael Leo Paper via security-

unread,

Fwd: [security-lunch] Apr 8 | Ryan Lehmkuhl on "Let’s Aggregate? Towards making private telemetry as ubiquitous as TLS"

-------------- Alan Karp ---------- Forwarded message --------- From: Michael Leo Paper via security-

Apr 6

Dominique Quatravaux

Apr 4

erights.org down

Hi crew, it seems like https://erights.org/ is down from a number of vantage points (Europe and https

unread,

erights.org down

Hi crew, it seems like https://erights.org/ is down from a number of vantage points (Europe and https

Apr 4

Alan Karp, … Matt Rice25

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

Alan Karp, … Rob Meijer11

Apr 3

Info on DigitalBazaar's use of capabilities in production

On Fri, Apr 3, 2026 at 12:58 AM Rob Meijer <pib...@gmail.com> wrote: Maybe it's not serious

unread,

Info on DigitalBazaar's use of capabilities in production

On Fri, Apr 3, 2026 at 12:58 AM Rob Meijer <pib...@gmail.com> wrote: Maybe it's not serious

Apr 3

Vinícius dos Santos Oliveira

Apr 1

BUS1 capabilyt/actor-inspired IPC system re-submitted to Linux kernel

News article (context for previous submissions): https://www.phoronix.com/news/BUS1-Linux-2026 The

unread,

BUS1 capabilyt/actor-inspired IPC system re-submitted to Linux kernel

News article (context for previous submissions): https://www.phoronix.com/news/BUS1-Linux-2026 The

Apr 1

Mar 31

Fwd: [security-lunch] Apr 1 | Umar Iqbal on "Tremendously capable, Trivially Susceptible: Securing Systems built atop unreliable GenAI"

-------------- Alan Karp ---------- Forwarded message --------- From: Michael Leo Paper via security-

unread,

Fwd: [security-lunch] Apr 1 | Umar Iqbal on "Tremendously capable, Trivially Susceptible: Securing Systems built atop unreliable GenAI"

-------------- Alan Karp ---------- Forwarded message --------- From: Michael Leo Paper via security-

Mar 31

Mar 26

Possible topic for tomorrow

I walked the show floor at the RSA Conference Expo and can give a summary of what I saw. ------------

unread,

Possible topic for tomorrow

I walked the show floor at the RSA Conference Expo and can give a summary of what I saw. ------------

Mar 26

Alan Karp, … Mark S. Miller14

Mar 16

Group delegation

On Mon, Mar 16, 2026 at 4:29 PM Alan Karp <alan...@gmail.com> wrote: On Mon, Mar 16, 2026 at

unread,

Group delegation

On Mon, Mar 16, 2026 at 4:29 PM Alan Karp <alan...@gmail.com> wrote: On Mon, Mar 16, 2026 at

Mar 16

Vinícius dos Santos Oliveira

Mar 16

Arcan: A browser for different webs

I always talked about Arcan as the "desktop service" that allows one to have "widgets

unread,

Arcan: A browser for different webs

I always talked about Arcan as the "desktop service" that allows one to have "widgets

Mar 16

Vinícius dos Santos Oliveira, Alan Karp2

Mar 13

Thanks. I've added it to the list the working group needs to consider. -------------- Alan Karp

unread,

Thanks. I've added it to the list the working group needs to consider. -------------- Alan Karp

Mar 13

Mar 9

Fwd: [security-lunch] Mar 11 | Riana Pfefferkorn on "Advanced Persistent Teenagers: Is Age Assurance Circumvention Hacking?"

-------------- Alan Karp ---------- Forwarded message --------- From: Michael Leo Paper via security-

unread,

Fwd: [security-lunch] Mar 11 | Riana Pfefferkorn on "Advanced Persistent Teenagers: Is Age Assurance Circumvention Hacking?"

-------------- Alan Karp ---------- Forwarded message --------- From: Michael Leo Paper via security-

Mar 9

Alan Karp, … Vinícius dos Santos Oliveira14

Mar 5

Relevant to Jas's comments on my idea for AI agent safety

Em seg., 2 de mar. de 2026 às 15:59, Alan Karp <alan...@gmail.com> escreveu: > I don't

unread,

Relevant to Jas's comments on my idea for AI agent safety

Em seg., 2 de mar. de 2026 às 15:59, Alan Karp <alan...@gmail.com> escreveu: > I don't

Mar 5

๏̯͡๏ Jasvir Nagra, … Vinícius dos Santos Oliveira9

Mar 5

Em sex., 27 de fev. de 2026 às 14:40, ๏̯͡๏ Jasvir Nagra <j...@nagras.com> escreveu: > by

unread,

Em sex., 27 de fev. de 2026 às 14:40, ๏̯͡๏ Jasvir Nagra <j...@nagras.com> escreveu: > by

Mar 5

Mar 3

Fwd: [security-lunch] March 4 | Zachary Yedidia on "Lightweight Fault Isolation: From Research to Production Sandboxing"

-------------- Alan Karp ---------- Forwarded message --------- From: Michael Leo Paper via security-

unread,

Fwd: [security-lunch] March 4 | Zachary Yedidia on "Lightweight Fault Isolation: From Research to Production Sandboxing"

-------------- Alan Karp ---------- Forwarded message --------- From: Michael Leo Paper via security-

Mar 3

Alan Karp, … Ben Laurie3

Mar 3

On Tue, 3 Mar 2026 at 14:51, Tony Arcieri <bas...@gmail.com> wrote: Google never published a

unread,

On Tue, 3 Mar 2026 at 14:51, Tony Arcieri <bas...@gmail.com> wrote: Google never published a

Mar 3

Alan Karp, … Matt Rice12

Feb 26

Delegation technologies

I want to apologize to all the folks I've drawn down this rabbit hole. I've been arguing

unread,

Delegation technologies

I want to apologize to all the folks I've drawn down this rabbit hole. I've been arguing

Feb 26

Feb 25

A talk some of you might find interesting

https://californiaconsultants.org/event/the-fpga-40-years-of-change/ -------------- Alan Karp

unread,

A talk some of you might find interesting

https://californiaconsultants.org/event/the-fpga-40-years-of-change/ -------------- Alan Karp

Feb 25

Feb 23

Fwd: [security-lunch] Feb 25 | Micah Murray on "Picsou: Enabling Replicated State Machines to Communicate Efficiently"

-------------- Alan Karp ---------- Forwarded message --------- From: Michael Leo Paper via security-

unread,

Fwd: [security-lunch] Feb 25 | Micah Murray on "Picsou: Enabling Replicated State Machines to Communicate Efficiently"

-------------- Alan Karp ---------- Forwarded message --------- From: Michael Leo Paper via security-

Feb 23

Alan Karp, … Tony Arcieri6

Feb 17

Did Apple get this backward?

Here's a couple of things I learned by asking perplexity.ai. It's really hard to use a

unread,

Did Apple get this backward?

Here's a couple of things I learned by asking perplexity.ai. It's really hard to use a

Feb 17

Feb 16

Fwd: [security-lunch] Feb 18 | Elizaveta Pertseva on "Automating Verification of ZKP Arithmetizations in Lean"

-------------- Alan Karp ---------- Forwarded message --------- From: Michael Leo Paper via security-

unread,

Fwd: [security-lunch] Feb 18 | Elizaveta Pertseva on "Automating Verification of ZKP Arithmetizations in Lean"

-------------- Alan Karp ---------- Forwarded message --------- From: Michael Leo Paper via security-

Feb 16

Feb 9

Fwd: [security-lunch] Feb 11 | Fred Heiding on "A Framework for Evaluating National Cybersecurity Strategies"

-------------- Alan Karp ---------- Forwarded message --------- From: Michael Leo Paper via security-

unread,

Fwd: [security-lunch] Feb 11 | Fred Heiding on "A Framework for Evaluating National Cybersecurity Strategies"

-------------- Alan Karp ---------- Forwarded message --------- From: Michael Leo Paper via security-

Feb 9

Search

Clear search

Close search

Google apps

Main menu