friam

1–30 of 1963

0 selected

Alan Karp, … William ML Leslie4

Sep 19

For your amusement

On Sun, 19 Sept 2021 at 12:41, Raoul Duke <raould@gmail.com> wrote: > > Huh, I can't

unread,

For your amusement

On Sun, 19 Sept 2021 at 12:41, Raoul Duke <raould@gmail.com> wrote: > > Huh, I can't

Sep 19

Aug 12

Fwd: [seL4 Announce] seL4 defeats DEF CON hackers

Awesome achievement! Congrats! ---------- Forwarded message --------- From: Announcements about seL4

unread,

Fwd: [seL4 Announce] seL4 defeats DEF CON hackers

Awesome achievement! Congrats! ---------- Forwarded message --------- From: Announcements about seL4

Aug 12

Christine Lemmer-Webber, … Mark S. Miller7

Aug 8

Update your petname database

I just wanted to say that I appreciate how welcoming and supportive everyone has been, both on the

unread,

Update your petname database

I just wanted to say that I appreciate how welcoming and supportive everyone has been, both on the

Aug 8

Aug 6

"Proving full-system security properties under multiple attacker models on capability machines"

https://cs.au.dk/~birke/papers/caps-mmio-conf.pdf To the tiny extent that I understand it, this looks

unread,

"Proving full-system security properties under multiple attacker models on capability machines"

https://cs.au.dk/~birke/papers/caps-mmio-conf.pdf To the tiny extent that I understand it, this looks

Aug 6

Aug 4

"seL4 Integrity Enforcement Proved for RISC-V"

https://microkerneldude.wordpress.com/2021/08/04/sel4-integrity-enforcement-proved-for-risc-v/

unread,

"seL4 Integrity Enforcement Proved for RISC-V"

https://microkerneldude.wordpress.com/2021/08/04/sel4-integrity-enforcement-proved-for-risc-v/

Aug 4

Christine Lemmer-Webber, Alan Karp2

Aug 2

Re: A deeper look at Fuchsia (was on cap-talk)

Sounds like a plan as long as you lead the discussion. -------------- Alan Karp On Mon, Aug 2, 2021

unread,

Re: A deeper look at Fuchsia (was on cap-talk)

Sounds like a plan as long as you lead the discussion. -------------- Alan Karp On Mon, Aug 2, 2021

Aug 2

Jul 29

Scientifically rigorous computation: was "You don't need delegation, but it's very useful"

Thanks Christine! We need a rigorous scientific understanding of computation that is free of dogma.

unread,

Scientifically rigorous computation: was "You don't need delegation, but it's very useful"

Thanks Christine! We need a rigorous scientific understanding of computation that is free of dogma.

Jul 29

Alan Karp, Christine Lemmer-Webber2

Jul 28

You don't need delegation, but it's very useful

Alan Karp writes: > (Previously sent to cap-talk, but I haven't gotten any responses.) >

unread,

You don't need delegation, but it's very useful

Alan Karp writes: > (Previously sent to cap-talk, but I haven't gotten any responses.) >

Jul 28

Jul 28

Malware Authors are Using Uncommon Programming Languages

From: SANS NewsBites Vol. 23 Num. 058 cheers - Bill Malware Authors are Using Uncommon Programming

unread,

Malware Authors are Using Uncommon Programming Languages

From: SANS NewsBites Vol. 23 Num. 058 cheers - Bill Malware Authors are Using Uncommon Programming

Jul 28

Jul 13

Preventing Successful Cyberattacks Using Strongly-typed Actors

See video here: https://www.youtube.com/watch?v=AJP1VL7shiI Comments and suggestions greatly

unread,

Preventing Successful Cyberattacks Using Strongly-typed Actors

See video here: https://www.youtube.com/watch?v=AJP1VL7shiI Comments and suggestions greatly

Jul 13

jack mills, … Christoph Dorn3

Jul 2

an alternative to ActivityPub for decentralized social networks?

On 2021-07-01 12:55 pm, Chris Lemmer-Webber wrote: > ... > In a sesne, most of the systems

unread,

an alternative to ActivityPub for decentralized social networks?

On 2021-07-01 12:55 pm, Chris Lemmer-Webber wrote: > ... > In a sesne, most of the systems

Jul 2

Carl Hewitt, William ML Leslie4

Jul 1

Citadels for Social Discourse was "an alternative to ActivityPub for decentralized social networks?"

On Thu, 1 Jul 2021, 11:33 pm Carl Hewitt, <hewitt@irobust.org> wrote: Thanks Jack! I don't

unread,

Citadels for Social Discourse was "an alternative to ActivityPub for decentralized social networks?"

On Thu, 1 Jul 2021, 11:33 pm Carl Hewitt, <hewitt@irobust.org> wrote: Thanks Jack! I don't

Jul 1

๏̯͡๏ Jasvir Nagra

Jun 23

Google workspaces urls become more cap-like as a security update?

https://workspaceupdates.googleblog.com/2021/06/drive-file-link-updates.html I can't quite get my

unread,

Google workspaces urls become more cap-like as a security update?

https://workspaceupdates.googleblog.com/2021/06/drive-file-link-updates.html I can't quite get my

Jun 23

Douglas Crockford, Alan Karp2

Jun 20

It was Twenty Years ago today

Good decision. -------------- Alan Karp On Sun, Jun 20, 2021 at 1:18 PM Douglas Crockford <douglas

unread,

It was Twenty Years ago today

Good decision. -------------- Alan Karp On Sun, Jun 20, 2021 at 1:18 PM Douglas Crockford <douglas

Jun 20

Jun 16

LightBend persistent Actors framework

Congratulations to LightBend on persistent Actors framework! Presentations by @jboner, @_JamesWard, @

unread,

LightBend persistent Actors framework

Congratulations to LightBend on persistent Actors framework! Presentations by @jboner, @_JamesWard, @

Jun 16

Mark S. Miller, Tony Arcieri2

Jun 15

"New TLS Attack Lets Attackers Launch Cross-Protocol Attacks Against Secure Sites"

It's ultimately making the case for things like ALPN and SNI. Although there's much simpler

unread,

"New TLS Attack Lets Attackers Launch Cross-Protocol Attacks Against Secure Sites"

It's ultimately making the case for things like ALPN and SNI. Although there's much simpler

Jun 15

Carl Hewitt, … John Kemp10

Jun 10

Swift provides holes in an Actor region of mutual exclusion

PS. Maybe you would like to use “Crock Actors” for less-well-defined conceptions of the Actor

unread,

Swift provides holes in an Actor region of mutual exclusion

PS. Maybe you would like to use “Crock Actors” for less-well-defined conceptions of the Actor

Jun 10

Jun 10

Strategic Cybersecurity

See discussion of Strategic Cybersecurity here: https://twitter.com/ProfCarlHewitt/status/

unread,

Strategic Cybersecurity

See discussion of Strategic Cybersecurity here: https://twitter.com/ProfCarlHewitt/status/

Jun 10

Jun 9

Main Actor in Swift

PS. Check out Main Actor in Swift to see how a Actor abstraction can provide means to increase

unread,

Main Actor in Swift

PS. Check out Main Actor in Swift to see how a Actor abstraction can provide means to increase

Jun 9

Jun 8

The Swift language now has "Actors"

Hello all, I've been watching some of the presentations at this week's Apple WWDC. One item

unread,

The Swift language now has "Actors"

Hello all, I've been watching some of the presentations at this week's Apple WWDC. One item

Jun 8

Carl Hewitt, … Douglas Crockford6

Jun 8

Role of efficiency in Actor abstraction

Measurement of systems is important. Systems analysis is also important. For example, communication

unread,

Role of efficiency in Actor abstraction

Measurement of systems is important. Systems analysis is also important. For example, communication

Jun 8

Carl Hewitt, … Mark S. Miller9

Jun 8

An Actor sending a message to itself

PS. In other words, if a pure Actor programming language has first-class expressions for “behaviors”,

unread,

An Actor sending a message to itself

PS. In other words, if a pure Actor programming language has first-class expressions for “behaviors”,

Jun 8

Christopher Lemmer Webber, … Mark S. Miller9

Jun 6

The ampitheater pattern, and what Chip really means by the "Unum Pattern"?

Aside: one thing I like to point out (and Dan agrees) is that what a lot of systems don't focus

unread,

The ampitheater pattern, and what Chip really means by the "Unum Pattern"?

Aside: one thing I like to point out (and Dan agrees) is that what a lot of systems don't focus

Jun 6

Jun 4

Actor concurrency inside a region of mutual excluson

From FiAM on Friday: The axioms that define Actors do not prohibit internal parallelism inside a

unread,

Actor concurrency inside a region of mutual excluson

From FiAM on Friday: The axioms that define Actors do not prohibit internal parallelism inside a

Jun 4

Carl Hewitt, … Jim Larson3

Jun 2

Metastable Failures in Distributed Systems

It has a lot in common with "catastrophe theory" from the 1970s. https://www.britannica.com

unread,

Metastable Failures in Distributed Systems

It has a lot in common with "catastrophe theory" from the 1970s. https://www.britannica.com

Jun 2

Carl Hewitt, … Tony Arcieri5

May 28

Google says Rowhammer attacks are gaining range as RAM is getting denser

Excellent point, Tony! Encrypted/signed RAM is important to defend against may other attacks besides

unread,

Google says Rowhammer attacks are gaining range as RAM is getting denser

Excellent point, Tony! Encrypted/signed RAM is important to defend against may other attacks besides

May 28

May 26

Indeterminacy is the future because of performance

Indeterminacy is the future of scalable systems especially including Intelligent Systems In practice,

unread,

Indeterminacy is the future because of performance

Indeterminacy is the future of scalable systems especially including Intelligent Systems In practice,

May 26

May 26

Strange Loop 2021

I will be doing a keynote and 4-hour workshop on Actors at Strange Loop 2021. See the following:

unread,

Strange Loop 2021

I will be doing a keynote and 4-hour workshop on Actors at Strange Loop 2021. See the following:

May 26

May 24

Fwd: {TOMORROW @ 9 am ET} The Standardization of Blockchain

Some of you may be interested in this topic. -------------- Alan Karp ---------- Forwarded message --

unread,

Fwd: {TOMORROW @ 9 am ET} The Standardization of Blockchain

Some of you may be interested in this topic. -------------- Alan Karp ---------- Forwarded message --

May 24

Carl Hewitt, … ๏̯͡๏ Jasvir Nagra4

May 24

The Full Story of the Stunning RSA Hack Can Finally Be Told

Good catch, Alan! I have been stripping off the tracking from a newsletter links that I forward to

unread,

The Full Story of the Stunning RSA Hack Can Finally Be Told

Good catch, Alan! I have been stripping off the tracking from a newsletter links that I forward to

May 24

Search

Clear search

Close search

Google apps

Main menu