Groups
Sign in
Groups
e-lang
Conversations
About
Send feedback
Help
e-lang
Contact owners and managers
1–29 of 29
Mark all as read
Report group
0 selected
Mark S. Miller
Mar 14
Fwd: Opportunity in Usable Security: Applications wanted for the Norm Hardy Prize
---------- Forwarded message --------- From: Foresight Intelligent Cooperation Group <foresight-
unread,
Fwd: Opportunity in Usable Security: Applications wanted for the Norm Hardy Prize
---------- Forwarded message --------- From: Foresight Intelligent Cooperation Group <foresight-
Mar 14
Mark S. Miller
1/12/23
Fwd: News about our colleague Carl Hewitt
---------- Forwarded message --------- From: Henry Lieberman <he...@csail.mit.edu> Date: Thu,
unread,
Fwd: News about our colleague Carl Hewitt
---------- Forwarded message --------- From: Henry Lieberman <he...@csail.mit.edu> Date: Thu,
1/12/23
Mark S. Miller
8/28/20
"Recovering Purity with Comonads and Capabilities"
We need to continue the conversations about formal methods for capabilities, ocap reasoning about
unread,
"Recovering Purity with Comonads and Capabilities"
We need to continue the conversations about formal methods for capabilities, ocap reasoning about
8/28/20
Robert Withers
,
Kevin Reid
7
8/2/20
Where to find EIO 2.0 implementation
On 8/2/20 4:55 PM, Kevin Reid wrote: On Sun, Aug 2, 2020 at 12:56 PM Robert Withers <robert.
unread,
Where to find EIO 2.0 implementation
On 8/2/20 4:55 PM, Kevin Reid wrote: On Sun, Aug 2, 2020 at 12:56 PM Robert Withers <robert.
8/2/20
jonathan.s.shapiro
, …
Mark S. Miller
4
1/20/20
Static typing and parallelism in successors to E
On Mon, Jan 20, 2020 at 8:31 AM Dan Connolly <dc...@madmode.com> wrote: On Sun, Jan 19, 2020 at
unread,
Static typing and parallelism in successors to E
On Mon, Jan 20, 2020 at 8:31 AM Dan Connolly <dc...@madmode.com> wrote: On Sun, Jan 19, 2020 at
1/20/20
Mark S. Miller
, …
Sean Lynch
9
1/20/20
Re: [friam] Waterken expired
On Sun, Jan 19, 2020, at 08:43, jonathan.s.shapiro wrote: > Alternatively, can someone identify an
unread,
Re: [friam] Waterken expired
On Sun, Jan 19, 2020, at 08:43, jonathan.s.shapiro wrote: > Alternatively, can someone identify an
1/20/20
jonathan.s.shapiro
1/19/20
Experience with promises in NPM/Typescript, better options?
This is somewhat off-topic. I've been doing somework in Typescript/NPM of late, and the situation
unread,
Experience with promises in NPM/Typescript, better options?
This is somewhat off-topic. I've been doing somework in Typescript/NPM of late, and the situation
1/19/20
Mark Miller
1/7/19
Re: [Caja] sanitized eval with Caja
We have set up a Discourse site at https://ocapjs.org/ for discussing object-capabilities (ocaps) for
unread,
Re: [Caja] sanitized eval with Caja
We have set up a Discourse site at https://ocapjs.org/ for discussing object-capabilities (ocaps) for
1/7/19
Christopher Allen
,
Ben Laurie
3
12/9/18
Cryptographic Ocap
I was particularly hoping for thoughts from Mark Miller, Brian Warner & Chris Webber on this
unread,
Cryptographic Ocap
I was particularly hoping for thoughts from Mark Miller, Brian Warner & Chris Webber on this
12/9/18
Mark Miller
,
Neil Madden
2
12/4/18
POLA Would Have Prevented the Event-Stream Incident
A critical vulnerability has just been announced in Kubernetes (https://github.com/kubernetes/
unread,
POLA Would Have Prevented the Event-Stream Incident
A critical vulnerability has just been announced in Kubernetes (https://github.com/kubernetes/
12/4/18
Christopher Lemmer Webber
10/28/18
First release of Goblins, an E-like actor model library for Racket
Hello all, I've mentioned here before that I'd be working on an E-like actor model library
unread,
First release of Goblins, an E-like actor model library for Racket
Hello all, I've mentioned here before that I'd be working on an E-like actor model library
10/28/18
Christopher Lemmer Webber
, …
Allen Short
6
10/1/18
String representation of an actor
Aha, this is really useful, thank you! Mark Miller writes: > Hi Christopher, > > I just
unread,
String representation of an actor
Aha, this is really useful, thank you! Mark Miller writes: > Hi Christopher, > > I just
10/1/18
Mark Miller
, …
Dan Connolly
8
8/14/18
Communicating Event Loops and transactional turns
On Sun, Aug 12, 2018 at 11:03 AM, Mark Miller <eri...@gmail.com> wrote: > Are there any
unread,
Communicating Event Loops and transactional turns
On Sun, Aug 12, 2018 at 11:03 AM, Mark Miller <eri...@gmail.com> wrote: > Are there any
8/14/18
Mark Miller
,
Rob Meijer
2
5/26/18
Our new startup, Agoric, is now visible
Cool. I might be completely misinterpreting this from the limited info in the announcement, but I
unread,
Our new startup, Agoric, is now visible
Cool. I might be completely misinterpreting this from the limited info in the announcement, but I
5/26/18
Mark Miller
,
Jae Kwon
4
4/16/18
Re: [friam] Object Capabilities in Scala ^WGo
least *authority. lol. I should not have the authority to message a mailing list without getting it
unread,
Re: [friam] Object Capabilities in Scala ^WGo
least *authority. lol. I should not have the authority to message a mailing list without getting it
4/16/18
Mark Miller
2
3/13/18
Fwd: [w3c-ccg/did-spec] Do we need to adopt a capabilities-based delegation model? (#11)
[resending in case Manu is not a member of only-members-may-post groups] On Tue, Mar 13, 2018 at 6:44
unread,
Fwd: [w3c-ccg/did-spec] Do we need to adopt a capabilities-based delegation model? (#11)
[resending in case Manu is not a member of only-members-may-post groups] On Tue, Mar 13, 2018 at 6:44
3/13/18
Mark Miller
,
Kevin Reid
25
11/30/17
WASM and ocaps
New proposal: https://github.com/erights/wasm-linkage/blob/master/proposals/wasm-linkage/Baseline.md
unread,
WASM and ocaps
New proposal: https://github.com/erights/wasm-linkage/blob/master/proposals/wasm-linkage/Baseline.md
11/30/17
Mark Miller
8/23/17
Distributed EQ for Dr. SES?
JF Paradis and Caridy Patino (cc'ed) are building a Realms shim that a) Should support Frozen
unread,
Distributed EQ for Dr. SES?
JF Paradis and Caridy Patino (cc'ed) are building a Realms shim that a) Should support Frozen
8/23/17
Mark Miller
, …
Baldur Jóhannsson
4
6/18/17
Old e-lang and cap-talk archives
Well, the raw backup I have is now accessible at https://zarutian.internet.is/mailing_list_archives/
unread,
Old e-lang and cap-talk archives
Well, the raw backup I have is now accessible at https://zarutian.internet.is/mailing_list_archives/
6/18/17
Mark S. Miller
5/3/17
CFP: OCAP 2017, Object-Capability Languages, Systems, and Applications
http://conf.researchr.org/track/ocap-2017/ocap-2017#Call-for-Presentations Call for Presentations The
unread,
CFP: OCAP 2017, Object-Capability Languages, Systems, and Applications
http://conf.researchr.org/track/ocap-2017/ocap-2017#Call-for-Presentations Call for Presentations The
5/3/17
Mark S. Miller
, …
Mark Miller
6
2/27/17
Fwd: [friam] Fwd: [Cryptography] Practical SHA-1 collisions
Could you say more about how you currently layer on TLS and what the security implications are? Do
unread,
Fwd: [friam] Fwd: [Cryptography] Practical SHA-1 collisions
Could you say more about how you currently layer on TLS and what the security implications are? Do
2/27/17
Mark Miller
6
1/30/17
Down: erights.org wiki.erights.org combex.com etc
erights.org and wiki.erights.org are both up. Hosting issue resolved. On Sun, Jan 29, 2017 at 4:17 PM
unread,
Down: erights.org wiki.erights.org combex.com etc
erights.org and wiki.erights.org are both up. Hosting issue resolved. On Sun, Jan 29, 2017 at 4:17 PM
1/30/17
Alan Karp
, …
Dan Connolly
5
12/28/16
Implicit versus explicit return
On Dec 28, 2016 3:20 AM, "Jonathan S. Shapiro" <jonathan....@gmail.com> wrote:
unread,
Implicit versus explicit return
On Dec 28, 2016 3:20 AM, "Jonathan S. Shapiro" <jonathan....@gmail.com> wrote:
12/28/16
Mark Miller
, …
Mark S. Miller
5
9/21/16
Accidental list redundancy?
Seeing some agreement and no strong objections, let's consider the successor lists to be https://
unread,
Accidental list redundancy?
Seeing some agreement and no strong objections, let's consider the successor lists to be https://
9/21/16
Mark Miller
2
7/27/16
Is wiki.erights.org down?
wiki.erights.org is back up. Thanks! On Thu, Jul 21, 2016 at 11:17 AM, Mark Miller <erights@gmail.
unread,
Is wiki.erights.org down?
wiki.erights.org is back up. Thanks! On Thu, Jul 21, 2016 at 11:17 AM, Mark Miller <erights@gmail.
7/27/16
Corbin Simpson
,
Kevin Reid
7
7/4/16
Simple Efficient Streams?
On Monday, July 4, 2016 at 1:52:24 PM UTC-7, Kevin Reid wrote: Even ignoring that, it doesn't
unread,
Simple Efficient Streams?
On Monday, July 4, 2016 at 1:52:24 PM UTC-7, Kevin Reid wrote: Even ignoring that, it doesn't
7/4/16
Corbin Simpson
,
Kevin Reid
4
6/11/16
Searching for an efficient ConstMap
On Jun 10, 2016, at 20:45, Corbin Simpson <mostawe...@gmail.com> wrote: > On Friday,
unread,
Searching for an efficient ConstMap
On Jun 10, 2016, at 20:45, Corbin Simpson <mostawe...@gmail.com> wrote: > On Friday,
6/11/16
Allen Short
6/10/16
Announcing Monte Preview 2016.1 (A language in the tradition of E)
We (Corbin Simpson and I) are pleased to announce Monte, a new object-capability language. Monte
unread,
Announcing Monte Preview 2016.1 (A language in the tradition of E)
We (Corbin Simpson and I) are pleased to announce Monte, a new object-capability language. Monte
6/10/16
Mike Stay
,
Dan Connolly
2
6/10/16
Far refs in JavaScript?
On Tuesday, May 31, 2016 at 9:31:10 PM UTC-5, Mike Stay wrote: What's the nearest thing to an E
unread,
Far refs in JavaScript?
On Tuesday, May 31, 2016 at 9:31:10 PM UTC-5, Mike Stay wrote: What's the nearest thing to an E
6/10/16