Re: Using Vine in 3-way interactions (was Re: Question on redirectors/whenMoreResolved in the 3-way case, in the middle vat)
Mark Miller <[email protected]> Sat, 7 Mar 2015 16:33:29 -0800
| Newsgroups | gmane.comp.lang.e.general |
|---|---|
| Message-ID | <CAK5yZYhxjLWqaJQMhdhyP1jxxfDa9Cez9SF6MaMeqCwcrKDnxA@mail.gmail.com> |
--===============7120422137131549381== Content-Type: multipart/alternative; boundary=bcaec548a7d910cb540510bc11f1 --bcaec548a7d910cb540510bc11f1 Content-Type: text/plain; charset=UTF-8 Hi Rob, I think I missed something. What do the Agreements 1,2,3, and 4 refer to? On Sat, Mar 7, 2015 at 4:31 PM, Rob Withers <[email protected]> wrote: > > > On 3/7/2015 5:15 PM, Mark S. Miller wrote: > > > > 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. > > > Likewise, I will remain patient and not make assumptions, nor take it > personally. That is at least Agreements 2 and 3, if not 1 and 4, in there, > as well. > > - Robert > > > > -- > Cheers, > --MarkM > > > _______________________________________________ > e-lang mailing [email protected]://www.eros-os.org/mailman/listinfo/e-lang > > > > _______________________________________________ > e-lang mailing list > [email protected] > http://www.eros-os.org/mailman/listinfo/e-lang > > -- Text by me above is hereby placed in the public domain Cheers, --MarkM --bcaec548a7d910cb540510bc11f1 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr">Hi Rob, I think I missed something. What do the Agreements= 1,2,3, and 4 refer to?<div><br></div></div><div class=3D"gmail_extra"><br>= <div class=3D"gmail_quote">On Sat, Mar 7, 2015 at 4:31 PM, Rob Withers <spa= n dir=3D"ltr"><<a href=3D"mailto:[email protected]" target=3D"_= blank">[email protected]</a>></span> wrote:<br><blockquote clas= s=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;pad= ding-left:1ex"> =20 =20 =20 <div bgcolor=3D"#FFFFFF" text=3D"#000000"><div><div class=3D"h5"> <br> <br> <div>On 3/7/2015 5:15 PM, Mark S. Miller wrote:<br> </div> <blockquote type=3D"cite"> <div dir=3D"ltr"><br> <div class=3D"gmail_extra"><br> <div class=3D"gmail_quote">On Sat, Mar 7, 2015 at 4:07 PM, Mark S. Miller <span dir=3D"ltr"><<a href=3D"mailto:erights@googl= e.com" target=3D"_blank">[email protected]</a>></span> wrote:<br> <blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;bo= rder-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> </div> <div>I was just saying to a current houseguest last night, as close as I can remember:</div> <div><br> </div> <div>"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.</div> <div><br> </div> <div>True story. I am posting this without first checking with the houseguest, which is why I'm omitting 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> </blockquote> <div><br> </div> <div>Expanding on this a bit, when my only response would be "I don't yet have anything to say because I haven= 9;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.</div> </div> </div> </div> </blockquote> <br></div></div> Likewise, I will remain patient and not make assumptions, nor take it personally.=C2=A0 That is at least Agreements 2 and 3, if not 1 and = 4, in there, as well.<br> <br> - Robert<span class=3D""><br> <br> <blockquote type=3D"cite"> <div dir=3D"ltr"> <div class=3D"gmail_extra"> <div class=3D"gmail_quote"> <div><br> </div> <div>=C2=A0</div> </div> -- <br> <div>=C2=A0 =C2=A0 Cheers,<br> =C2=A0 =C2=A0 --MarkM</div> </div> </div> <br> <fieldset></fieldset> <br> <pre>_______________________________________________ e-lang mailing list <a href=3D"mailto:[email protected]" target=3D"_blank">[email protected]= os-os.org</a> <a href=3D"http://www.eros-os.org/mailman/listinfo/e-lang" target=3D"_blank= ">http://www.eros-os.org/mailman/listinfo/e-lang</a> </pre> </blockquote> <br> </span></div> <br>_______________________________________________<br> e-lang mailing list<br> <a href=3D"mailto:[email protected]">[email protected]</a><br> <a href=3D"http://www.eros-os.org/mailman/listinfo/e-lang" target=3D"_blank= ">http://www.eros-os.org/mailman/listinfo/e-lang</a><br> <br></blockquote></div><br><br clear=3D"all"><div><br></div>-- <br><div cla= ss=3D"gmail_signature">Text by me above is hereby placed in the public doma= in<br><br>=C2=A0 Cheers,<br>=C2=A0 --MarkM</div> </div> --bcaec548a7d910cb540510bc11f1-- --===============7120422137131549381== 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 --===============7120422137131549381==--