jemc changed the topic of #ponylang to: Welcome! Please check out our Code of Conduct => https://github.com/ponylang/ponyc/blob/master/CODE_OF_CONDUCT.md | Public IRC logs are available => http://irclog.whitequark.org/ponylang | Please consider participating in our mailing lists => https://pony.groups.io/g/pony
seanohue has joined #ponylang
<SeanTAllen> ARM is fine TwoNotes
seanohue has quit [Ping timeout: 240 seconds]
seanohue has joined #ponylang
seanohue has quit [Ping timeout: 255 seconds]
jemc has quit [Ping timeout: 245 seconds]
seanohue has joined #ponylang
seanohue has quit [Ping timeout: 240 seconds]
amclain has quit [Quit: Leaving]
TwoNotes has quit [Quit: Leaving.]
aav_ has joined #ponylang
aav has quit [Ping timeout: 258 seconds]
seanohue has joined #ponylang
dougmacdoug_ has joined #ponylang
seanohue has quit [Ping timeout: 240 seconds]
aav has joined #ponylang
aav_ has quit [Ping timeout: 255 seconds]
jemc has joined #ponylang
jemc has quit [Ping timeout: 260 seconds]
avsej has quit [Ping timeout: 240 seconds]
avsej has joined #ponylang
avsej has joined #ponylang
rurban has joined #ponylang
rurban has quit [Client Quit]
c355e3b has quit [Quit: Connection closed for inactivity]
jemc has joined #ponylang
avsej has quit [Ping timeout: 240 seconds]
dougmacdoug_ has quit [Quit: Page closed]
avsej has joined #ponylang
avsej has joined #ponylang
aav_ has joined #ponylang
adamkittelson_ has joined #ponylang
ericbmerritt__ has joined #ponylang
adamkittelson has quit [Ping timeout: 240 seconds]
jtfmumm- has quit [Ping timeout: 240 seconds]
aav has quit [Ping timeout: 240 seconds]
ericbmerritt_ has quit [Ping timeout: 240 seconds]
ericbmerritt__ is now known as ericbmerritt_
adamkittelson_ is now known as adamkittelson
jemc has quit [Ping timeout: 240 seconds]
Matthias247 has joined #ponylang
TonyLo has joined #ponylang
wizeman has joined #ponylang
TonyLo has quit [Ping timeout: 240 seconds]
TonyLo has joined #ponylang
_andre has joined #ponylang
ChatSharp has joined #ponylang
ChatSharp has left #ponylang [#ponylang]
c355e3b has joined #ponylang
jemc has joined #ponylang
amclain has joined #ponylang
TonyLo has quit [Ping timeout: 260 seconds]
TonyLo has joined #ponylang
TwoNotes has joined #ponylang
prettyvanilla has quit [Quit: Konversation terminated!]
prettyvanilla has joined #ponylang
<dougmacdoug> if I have 3 messages from Actor A => Actor B behavior, is there a guarantee that actor B gets 1,2,3
<jemc> dougmacdoug: yes, that holds true, provided that the message sends originating on A have a "causal" relationship themselves
<jemc> that is, if the order of sends on A is guaranteed to be 1,2,3
<dougmacdoug> right
<dougmacdoug> thanks
<jemc> from the tutorial, "messages arrive before any messages they may have caused, if they have the same destination"
<jemc> an event `e1` is said to "cause" another event `e2` if one of the following two conditions is true:
<jemc> 1. "e1 and e2 belong to the same (sequential) process and e1 precedes e2"
<dougmacdoug> i knew i had read that but when i went back to the tutorial i didnt see it.. (which part is it in)
<jemc> 2. "e1 is the sending of a message in process p1 and e2 is the receipt of that message in process p2"
<jemc> the first quote is from the tutorial, in the section about the ORCA protocol used for garbage collection: https://tutorial.ponylang.org/appendices/garbage-collection.html
<jemc> the next two quotes were from the academic paper describing distributed pony, written by sblessing: http://www.doc.ic.ac.uk/teaching/distinguished-projects/2013/s.blessing.pdf
<jemc> (though distributed pony isn't implemented yet, the paper has a good section talking about causality)
_andre has quit [Quit: leaving]
TonyLo has quit [Read error: Connection reset by peer]
TonyLo has joined #ponylang
TonyLo has quit []
jemc has quit [Ping timeout: 264 seconds]
jemc has joined #ponylang
Matthias247 has quit [Read error: Connection reset by peer]
wizeman has quit [Quit: Connection closed for inactivity]
TwoNotes has quit [Quit: Leaving.]