Re: Using Vine in 3-way interactions (was Re: Question on redirectors/whenMoreResolved in the 3-way case, in the middle vat)

--===============1044034950230088968==
Content-Type: multipart/alternative; boundary=20cf303345f3f621400510bbd150

--20cf303345f3f621400510bbd150
Content-Type: text/plain; charset=UTF-8

On Sat, Mar 7, 2015 at 4:07 PM, Mark S. Miller <[email protected]> wrote:

> Wait wait apologies! You did nothing at all to offend! Really!
>
> I was just saying to a current houseguest last night, as close as I can
> remember:
>
> "Have you seen the question Rob Withers has asked lately on e-lang about
> captp? It relates to race conditions and GC, but I haven't yet been able to
> reload enough context to think about it. Could you have a look?" We then
> went off on a long discussion on race conditions in captp-like systems x gc
> x partition x malice, how difficult it is to do a full case analysis of the
> cross product by hand, and how much automated tools could help. Sadly, we
> did not get back to the subject of your question.
>
> True story. I am posting this without first checking with the houseguest,
> which is why I'm omitting their name.
>
> I should have said something to explain my lack of response. The rudeness
> really is mine.
>

Expanding on this a bit, when my only response would be "I don't yet have
anything to say because I haven't yet had the time to dive back into that
area.", my normal inclination is to say nothing rather than that. Next time
I'll remember that a private note to that effect can be more appropriate
than silence.


-- 
    Cheers,
    --MarkM

--20cf303345f3f621400510bbd150
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><br><div class=3D"gmail_extra"><br><div class=3D"gmail_quo=
te">On Sat, Mar 7, 2015 at 4:07 PM, Mark S. Miller <span dir=3D"ltr">&lt;<a=
 href=3D"mailto:[email protected]" target=3D"_blank">[email protected]</a=
>&gt;</span> wrote:<br><blockquote class=3D"gmail_quote" style=3D"margin:0 =
0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir=3D"ltr">Wait=
 wait apologies! You did nothing at all to offend!=C2=A0Really!<div><br></d=
iv><div>I was just saying to a current houseguest last night, as close as I=
 can remember:</div><div><br></div><div>&quot;Have you seen the question Ro=
b Withers has asked lately on e-lang about captp? It relates to race condit=
ions and GC, but I haven&#39;t yet been able to reload enough context to th=
ink about it. Could you have a look?&quot; We then went off on a long discu=
ssion on race conditions in captp-like systems x gc x partition x malice, h=
ow difficult it is to do a full case analysis of the cross product by hand,=
 and how much automated tools could help. Sadly, we did not get back to the=
 subject of your question.</div><div><br></div><div>True story. I am postin=
g this without first checking with the houseguest, which is why I&#39;m omi=
tting their name.</div><div><br></div><div>I should have said something to =
explain my lack of response. The rudeness really is mine.</div></div></bloc=
kquote><div><br></div><div>Expanding on this a bit, when my only response w=
ould be &quot;I don&#39;t yet have anything to say because I haven&#39;t ye=
t had the time to dive back into that area.&quot;, my normal inclination is=
 to say nothing rather than that. Next time I&#39;ll remember that a privat=
e note to that effect can be more appropriate than silence.</div><div><br><=
/div><div>=C2=A0</div></div>-- <br><div class=3D"gmail_signature">=C2=A0 =
=C2=A0 Cheers,<br>=C2=A0 =C2=A0 --MarkM</div>
</div></div>

--20cf303345f3f621400510bbd150--

--===============1044034950230088968==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
e-lang mailing list
[email protected]
http://www.eros-os.org/mailman/listinfo/e-lang

--===============1044034950230088968==--