friam - Google Groups

Groups

1–30 of 2422

0 selected

Nov 11

Fwd: [security-lunch] (Nov 11) "Challenging Hardware Security Boundaries in On-Device AI" (Flavien Solt)

-------------- Alan Karp ---------- Forwarded message --------- From: Ihyun Nam via security-lunch

unread,

Fwd: [security-lunch] (Nov 11) "Challenging Hardware Security Boundaries in On-Device AI" (Flavien Solt)

-------------- Alan Karp ---------- Forwarded message --------- From: Ihyun Nam via security-lunch

Nov 11

William ML Leslie

Nov 11

Pony's Sean Allen interviewed

https://www.youtube.com/watch?v=OrXKvOjR-vI Includes a reference to MarkM and E in the section "

unread,

Pony's Sean Allen interviewed

https://www.youtube.com/watch?v=OrXKvOjR-vI Includes a reference to MarkM and E in the section "

Nov 11

Nov 9

Fwd: Aditya Hegde on November 12

-------------- Alan Karp ---------- Forwarded message --------- From: Jaehyung Kim via security-

unread,

Fwd: Aditya Hegde on November 12

-------------- Alan Karp ---------- Forwarded message --------- From: Jaehyung Kim via security-

Nov 9

Alan Karp, William ML Leslie2

Nov 9

Are we finally getting Graydon's Systems Erlang? -- William ML Leslie https://mail.

unread,

Are we finally getting Graydon's Systems Erlang? -- William ML Leslie https://mail.

Nov 9

Alan Karp, … Kris Kowal5

Nov 4

This crazy idea has been my focus all year and I have a demo on https://endojs.org/. In this harness

unread,

This crazy idea has been my focus all year and I have a demo on https://endojs.org/. In this harness

Nov 4

Nov 2

How could they get it so wrong?

"The confused deputy problem was first formally described by Norm Hardy in 1988 to explain a

unread,

How could they get it so wrong?

"The confused deputy problem was first formally described by Norm Hardy in 1988 to explain a

Nov 2

Nov 2

Fwd: [security-lunch] (Security Lunch, Nov 4) "Spain: Succinct Proofs for Numerical Computations" (Zachary DeStefano)

-------------- Alan Karp ---------- Forwarded message --------- From: Ihyun Nam via security-lunch

unread,

Fwd: [security-lunch] (Security Lunch, Nov 4) "Spain: Succinct Proofs for Numerical Computations" (Zachary DeStefano)

-------------- Alan Karp ---------- Forwarded message --------- From: Ihyun Nam via security-lunch

Nov 2

Oct 31

A blog post on VOC not written by me

https://blog.aicent.com/q21-the-exception-leaves-a-receipt/ -------------- Alan Karp

unread,

A blog post on VOC not written by me

https://blog.aicent.com/q21-the-exception-leaves-a-receipt/ -------------- Alan Karp

Oct 31

Oct 30

Someone used ChatGPT to get started on a spec. A few prompts later I had a good enough draft that it

unread,

Someone used ChatGPT to get started on a spec. A few prompts later I had a good enough draft that it

Oct 30

Oct 30

The link Baldur asked for: https://github.com/abisheakp197/nti-spec/blob/main/NTI-1.md I've only

unread,

The link Baldur asked for: https://github.com/abisheakp197/nti-spec/blob/main/NTI-1.md I've only

Oct 30

Alan Karp, … Rob Meijer14

Oct 30

How long is a delegation valid?

The code that sends the revocation request is concurrent (in the Lamport sense) with code that

unread,

How long is a delegation valid?

The code that sends the revocation request is concurrent (in the Lamport sense) with code that

Oct 30

Alan Karp, William ML Leslie3

Oct 28

Fwd: compelling examples of read-eval-print loop for pm-gawk

You could have sent it to Terence directly, but I'll forward this response to him. --------------

unread,

Fwd: compelling examples of read-eval-print loop for pm-gawk

You could have sent it to Terence directly, but I'll forward this response to him. --------------

Oct 28

Oct 26

Fwd: [security-lunch] (Oct 28) "Cryptographic Proof Systems for Scalable AI Oversight" (Ziyi Guan)

-------------- Alan Karp ---------- Forwarded message --------- From: Ihyun Nam via security-lunch

unread,

Fwd: [security-lunch] (Oct 28) "Cryptographic Proof Systems for Scalable AI Oversight" (Ziyi Guan)

-------------- Alan Karp ---------- Forwarded message --------- From: Ihyun Nam via security-lunch

Oct 26

William ML Leslie, … Ken Kahn8

Oct 25

Static analysis, toolchain choices, vibe testing

On Sun, 25 Oct 2026 at 18:23, Ken Kahn <toon...@gmail.com> wrote: Hi William While I haven

unread,

Static analysis, toolchain choices, vibe testing

On Sun, 25 Oct 2026 at 18:23, Ken Kahn <toon...@gmail.com> wrote: Hi William While I haven

Oct 25

William ML Leslie, … Matt Rice24

Oct 23

On Fri, Oct 23, 2026 at 2:20 PM Alan Karp <alan...@gmail.com> wrote: > > It's been

unread,

On Fri, Oct 23, 2026 at 2:20 PM Alan Karp <alan...@gmail.com> wrote: > > It's been

Oct 23

Oct 21

Denial of service attack on certificate capabilities

Today I learned of something called an algorithmic complexity attack. Say that you have some

unread,

Denial of service attack on certificate capabilities

Today I learned of something called an algorithmic complexity attack. Say that you have some

Oct 21

Oct 19

Fwd: [security-lunch] (Oct 21) "Mitigating Algorithmic Complexity Attacks (ACAs) on Network Functions" (Nirav Atre)

-------------- Alan Karp ---------- Forwarded message --------- From: Ihyun Nam via security-lunch

unread,

Fwd: [security-lunch] (Oct 21) "Mitigating Algorithmic Complexity Attacks (ACAs) on Network Functions" (Nirav Atre)

-------------- Alan Karp ---------- Forwarded message --------- From: Ihyun Nam via security-lunch

Oct 19

Oct 12

Fwd: [security-lunch] (Oct 14) "Securing LLMs Against Prompt Injection for Agentic Applications" (Sizhe Chen)

-------------- Alan Karp ---------- Forwarded message --------- From: Ihyun Nam via security-lunch

unread,

Fwd: [security-lunch] (Oct 14) "Securing LLMs Against Prompt Injection for Agentic Applications" (Sizhe Chen)

-------------- Alan Karp ---------- Forwarded message --------- From: Ihyun Nam via security-lunch

Oct 12

Oct 8

Fwd: Sai Nagabhairava on October 15

-------------- Alan Karp ---------- Forwarded message --------- From: Jaehyung Kim via security-

unread,

Fwd: Sai Nagabhairava on October 15

-------------- Alan Karp ---------- Forwarded message --------- From: Jaehyung Kim via security-

Oct 8

Oct 5

Fwd: [security-lunch] (Oct 7) "High-Capacity, Keyless, and Undetectable Multi-Agent Collusion" (Qi Pang)

-------------- Alan Karp ---------- Forwarded message --------- From: Ihyun Nam via security-lunch

unread,

Fwd: [security-lunch] (Oct 7) "High-Capacity, Keyless, and Undetectable Multi-Agent Collusion" (Qi Pang)

-------------- Alan Karp ---------- Forwarded message --------- From: Ihyun Nam via security-lunch

Oct 5

Alan Karp, Chris Hibbert3

Oct 3

How capabilities help with the AI agent problem

Here's a PDF that looks better. -------------- Alan Karp

unread,

How capabilities help with the AI agent problem

Here's a PDF that looks better. -------------- Alan Karp

Oct 3

Alan Karp, Matt Rice4

Oct 2

On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks

On Fri, Oct 2, 2026 at 3:30 PM Matt Rice <rat...@gmail.com> wrote: > > On Fri, Oct 2,

unread,

On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks

On Fri, Oct 2, 2026 at 3:30 PM Matt Rice <rat...@gmail.com> wrote: > > On Fri, Oct 2,

Oct 2

Sep 30

Some features of Github that I wasn't aware of

https://github.ondemand.goldcast.io/on-demand/ee84b400-2894-4c13-b8a7-f37359108ea6 Some of them

unread,

Some features of Github that I wasn't aware of

https://github.ondemand.goldcast.io/on-demand/ee84b400-2894-4c13-b8a7-f37359108ea6 Some of them

Sep 30

William ML Leslie, Raoul Duke2

Sep 30

No linux distro will ever be truly secure

but the web is the other 200% of the problem https://docs.google.com/document/d/

unread,

No linux distro will ever be truly secure

but the web is the other 200% of the problem https://docs.google.com/document/d/

Sep 30

jake meta, … Dale Schumacher11

Sep 29

radical computer architectures

What a wonderful talk! Thanks for sharing. I learned about CSP and wrote some code for the T800 back

unread,

radical computer architectures

What a wonderful talk! Thanks for sharing. I learned about CSP and wrote some code for the T800 back

Sep 29

Sep 28

Fwd: [security-lunch] (Sep 30) "Gesserit: Deterministic Orchestration for LLM Vulnerability Discovery" (Garand Tyson)

-------------- Alan Karp ---------- Forwarded message --------- From: Ihyun Nam via security-lunch

unread,

Fwd: [security-lunch] (Sep 30) "Gesserit: Deterministic Orchestration for LLM Vulnerability Discovery" (Garand Tyson)

-------------- Alan Karp ---------- Forwarded message --------- From: Ihyun Nam via security-lunch

Sep 28

Alan Karp, … Matt Rice5

Sep 25

Claude Code recommends blocking delegation

On Thu, Sep 24, 2026 at 4:03 PM Alan Karp <alan...@gmail.com> wrote: > > A guy I know

unread,

Claude Code recommends blocking delegation

On Thu, Sep 24, 2026 at 4:03 PM Alan Karp <alan...@gmail.com> wrote: > > A guy I know

Sep 25

Sep 21

Fwd: [security-lunch] (Sep 23) "Microarchitecture and (Trying to) Secure Software" (David Kohlbrenner)

-------------- Alan Karp ---------- Forwarded message --------- From: Ihyun Nam via security-lunch

unread,

Fwd: [security-lunch] (Sep 23) "Microarchitecture and (Trying to) Secure Software" (David Kohlbrenner)

-------------- Alan Karp ---------- Forwarded message --------- From: Ihyun Nam via security-lunch

Sep 21

Alan Karp, Alex Vincent2

Sep 19

A very weird talk about a 75 cent discrepancy

When you said "75 discrepancy", I knew exactly what you were talking about. I have his book

unread,

A very weird talk about a 75 cent discrepancy

When you said "75 discrepancy", I knew exactly what you were talking about. I have his book

Sep 19

Alan Karp, … Matt Rice5

Sep 18

Designating the resource

On Fri, Sep 18, 2026 at 4:58 PM ๏̯͡๏ Jasvir Nagra <j...@nagras.com> wrote: > > In practice

unread,

Designating the resource

On Fri, Sep 18, 2026 at 4:58 PM ๏̯͡๏ Jasvir Nagra <j...@nagras.com> wrote: > > In practice

Sep 18

Search

Clear search

Close search

Google apps

Main menu