Re: Haskell Prime Meeting at ICFP (Was: Whose gonna be at icfp?)
There's food sans line near c5 On Thu, Sep 7, 2017 at 10:23 AM Henrik Nilsson < henrik.nils...@nottingham.ac.uk> wrote: > Hi all, > > Reminder: Haskell' is meeting lunchtime today, so shortly after 12:30. > > We now, thank to Jeremy Gibbons, also have a room: C5. > > So grab lunch and then go to C5. > > Best, > > /Henrik > > > > > This message and any attachment are intended solely for the addressee > and may contain confidential information. If you have received this > message in error, please send it back to me, and immediately delete it. > > Please do not use, copy or disclose the information contained in this > message or in any attachment. Any views or opinions expressed by the > author of this email do not necessarily reflect the views of the > University of Nottingham. > > This message has been checked for viruses but the contents of an > attachment may still contain software viruses which could damage your > computer system, you are advised to perform your own checks. Email > communications with the University of Nottingham may be monitored as > permitted by UK legislation. > > ___ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
Re: Haskell Prime Meeting at ICFP (Was: Whose gonna be at icfp?)
Hi all, Reminder: Haskell' is meeting lunchtime today, so shortly after 12:30. We now, thank to Jeremy Gibbons, also have a room: C5. So grab lunch and then go to C5. Best, /Henrik This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. ___ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
Haskell Prime Meeting at ICFP (Was: Whose gonna be at icfp?)
Hi Haskell Primers, We have now agreed Thursday Lunch (1st Day of Haskell Symposium) for the Haskell Prime coordination meeting. We agreed to meet towards the far end of the Foyer, past the café viewed from the main lecture theatre L1. All the best, /Henrik This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. ___ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
Re: Whose gonna be at icfp?
I'm also at ICFP On Tue, 5 Sep 2017 at 08:12 Henrik Nilsson wrote: > Hi! > > > We should coord a committee catch-up at icfp. > > Seems that at least a few people are/or will be here in Oxford. > I counted: > > Carter Schonwald > John Wiegley > Mario Blazević > > Lennart is also here, and Iavor is or will be here. > > Anyone else? > > It would make most sense to try to time a meeting around the > Haskell Symposium, I think. A lunch meeting either Thursday or > Friday could be an option (but might be a bit rushed) or trying to > meet up Thursday evening, probably after the Industry Reception > (that is scheduled to end 20:30). > > What do you think? > > /Henrik > > > > > This message and any attachment are intended solely for the addressee > and may contain confidential information. If you have received this > message in error, please send it back to me, and immediately delete it. > > Please do not use, copy or disclose the information contained in this > message or in any attachment. Any views or opinions expressed by the > author of this email do not necessarily reflect the views of the > University of Nottingham. > > This message has been checked for viruses but the contents of an > attachment may still contain software viruses which could damage your > computer system, you are advised to perform your own checks. Email > communications with the University of Nottingham may be monitored as > permitted by UK legislation. > > ___ > Haskell-prime mailing list > Haskell-prime@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime > ___ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
Re: Whose gonna be at icfp?
> "CS" == Carter Schonwald writes: CS> Missing Conall's talk seems like a terrible time to meet :( Agreed, I can't miss Conal. :) Any new time proposals after the coffee break? -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2 ___ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
Re: Whose gonna be at icfp?
On Tue, Sep 5, 2017 at 8:05 AM, Henrik Nilsson < henrik.nils...@nottingham.ac.uk> wrote: > Hi, > > On 09/05/2017 12:54 PM, Mario Blazevic wrote: > >> In that case I suggest we meet during the coffee break and decide when >> we really meet. >> > > OK. Should we try to find each other at 16:10, then? > Outside L1, the ICFP lecture theatre? I'll be there. ___ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
Re: Whose gonna be at icfp?
Hi, On 09/05/2017 12:54 PM, Mario Blazevic wrote: In that case I suggest we meet during the coffee break and decide when we really meet. OK. Should we try to find each other at 16:10, then? Outside L1, the ICFP lecture theatre? /Henrik This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. ___ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
Re: Whose gonna be at icfp?
On Tue, Sep 5, 2017 at 7:41 AM, Carter Schonwald wrote: > Missing Conall's talk seems like a terrible time to meet :( > In that case I suggest we meet during the coffee break and decide when we really meet. > > On Tue, Sep 5, 2017 at 10:54 AM Henrik Nilsson < > henrik.nils...@nottingham.ac.uk> wrote: > >> Hi, >> >> On 09/05/2017 10:27 AM, Mario Blazevic wrote: >> > I thought John said 4:40 today. You missed Andres Löh. >> >> Must have missed that. Works for me! >> >> /Henrik >> > ___ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
Re: Whose gonna be at icfp?
Missing Conall's talk seems like a terrible time to meet :( On Tue, Sep 5, 2017 at 10:54 AM Henrik Nilsson < henrik.nils...@nottingham.ac.uk> wrote: > Hi, > > On 09/05/2017 10:27 AM, Mario Blazevic wrote: > > I thought John said 4:40 today. You missed Andres Löh. > > Must have missed that. Works for me! > > /Henrik > > > > > > This message and any attachment are intended solely for the addressee > and may contain confidential information. If you have received this > message in error, please send it back to me, and immediately delete it. > > Please do not use, copy or disclose the information contained in this > message or in any attachment. Any views or opinions expressed by the > author of this email do not necessarily reflect the views of the > University of Nottingham. > > This message has been checked for viruses but the contents of an > attachment may still contain software viruses which could damage your > computer system, you are advised to perform your own checks. Email > communications with the University of Nottingham may be monitored as > permitted by UK legislation. > > ___ > Haskell-prime mailing list > Haskell-prime@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime > ___ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
Re: Whose gonna be at icfp?
Hi, On 09/05/2017 10:27 AM, Mario Blazevic wrote: I thought John said 4:40 today. You missed Andres Löh. Must have missed that. Works for me! /Henrik This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. ___ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
Re: Whose gonna be at icfp?
I'm here and would be happy to join. Either times proposed work for me. Thanks, Richard > On Sep 5, 2017, at 10:27 AM, Mario Blazevic wrote: > > I thought John said 4:40 today. You missed Andres Löh. > > > On Tue, Sep 5, 2017 at 3:12 AM, Henrik Nilsson > mailto:henrik.nils...@nottingham.ac.uk>> > wrote: > Hi! > > > We should coord a committee catch-up at icfp. > > Seems that at least a few people are/or will be here in Oxford. > I counted: > >Carter Schonwald >John Wiegley >Mario Blazević > > Lennart is also here, and Iavor is or will be here. > > Anyone else? > > It would make most sense to try to time a meeting around the > Haskell Symposium, I think. A lunch meeting either Thursday or > Friday could be an option (but might be a bit rushed) or trying to > meet up Thursday evening, probably after the Industry Reception > (that is scheduled to end 20:30). > > What do you think? > > /Henrik > > > ___ > Haskell-prime mailing list > Haskell-prime@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime ___ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
Re: Whose gonna be at icfp?
I thought John said 4:40 today. You missed Andres Löh. On Tue, Sep 5, 2017 at 3:12 AM, Henrik Nilsson < henrik.nils...@nottingham.ac.uk> wrote: > Hi! > > > We should coord a committee catch-up at icfp. > > Seems that at least a few people are/or will be here in Oxford. > I counted: > >Carter Schonwald >John Wiegley >Mario Blazević > > Lennart is also here, and Iavor is or will be here. > > Anyone else? > > It would make most sense to try to time a meeting around the > Haskell Symposium, I think. A lunch meeting either Thursday or > Friday could be an option (but might be a bit rushed) or trying to > meet up Thursday evening, probably after the Industry Reception > (that is scheduled to end 20:30). > > What do you think? > > /Henrik > ___ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
Re: Whose gonna be at icfp?
Hi! > We should coord a committee catch-up at icfp. Seems that at least a few people are/or will be here in Oxford. I counted: Carter Schonwald John Wiegley Mario Blazević Lennart is also here, and Iavor is or will be here. Anyone else? It would make most sense to try to time a meeting around the Haskell Symposium, I think. A lunch meeting either Thursday or Friday could be an option (but might be a bit rushed) or trying to meet up Thursday evening, probably after the Industry Reception (that is scheduled to end 20:30). What do you think? /Henrik This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. ___ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
Re: Whose gonna be at icfp?
I won’t be there. :-( Jur > On 26Aug, 2017, at 08:48, Carter Schonwald wrote: > > I'll be this time! :) > > We should coord a committee catch-up at icfp. > > Also I would like to propose we shift back to email based discussion. There's > still the valid and important need of then taking the discussion and > revisions into a new standard. But let's at least make the first half lighter > weight perhaps? the pattern that's working for ghc proposals doesn't seem to > matchup with what works for h2020 > ___ > Haskell-prime mailing list > Haskell-prime@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime ___ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
Re: Whose gonna be at icfp?
Either way, see y'all in oxford On Sat, Aug 26, 2017 at 6:30 PM Carter Schonwald wrote: > Agreed. Hence let's just have something less structured than the GitHub > flow ... just any doc will do. Also it'd be simpler to have just one tool > for coms. > > On Sat, Aug 26, 2017 at 12:55 PM Mario Blažević > wrote: > >> On 2017-08-25 06:48 PM, Carter Schonwald wrote: >> > I'll be this time! :) >> > >> > We should coord a committee catch-up at icfp. >> > >> > Also I would like to propose we shift back to email based discussion. >> > There's still the valid and important need of then taking the >> > discussion and revisions into a new standard. But let's at least make >> > the first half lighter weight perhaps? the pattern that's working for >> > ghc proposals doesn't seem to matchup with what works for h2020 >> >> I'll be there as well. As for the e-mail based discussion, my >> feeling for the last while has been that I'd rather bring something, >> anything, to completion. There's very little feedback and there's a real >> danger that the discussion doesn't lead to any concrete change to the >> standard. >> >> ___ >> Haskell-prime mailing list >> Haskell-prime@haskell.org >> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime >> > ___ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
Re: Whose gonna be at icfp?
Agreed. Hence let's just have something less structured than the GitHub flow ... just any doc will do. Also it'd be simpler to have just one tool for coms. On Sat, Aug 26, 2017 at 12:55 PM Mario Blažević wrote: > On 2017-08-25 06:48 PM, Carter Schonwald wrote: > > I'll be this time! :) > > > > We should coord a committee catch-up at icfp. > > > > Also I would like to propose we shift back to email based discussion. > > There's still the valid and important need of then taking the > > discussion and revisions into a new standard. But let's at least make > > the first half lighter weight perhaps? the pattern that's working for > > ghc proposals doesn't seem to matchup with what works for h2020 > > I'll be there as well. As for the e-mail based discussion, my > feeling for the last while has been that I'd rather bring something, > anything, to completion. There's very little feedback and there's a real > danger that the discussion doesn't lead to any concrete change to the > standard. > > ___ > Haskell-prime mailing list > Haskell-prime@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime > ___ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
Re: Whose gonna be at icfp?
On 2017-08-25 06:48 PM, Carter Schonwald wrote: I'll be this time! :) We should coord a committee catch-up at icfp. Also I would like to propose we shift back to email based discussion. There's still the valid and important need of then taking the discussion and revisions into a new standard. But let's at least make the first half lighter weight perhaps? the pattern that's working for ghc proposals doesn't seem to matchup with what works for h2020 I'll be there as well. As for the e-mail based discussion, my feeling for the last while has been that I'd rather bring something, anything, to completion. There's very little feedback and there's a real danger that the discussion doesn't lead to any concrete change to the standard. ___ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
Re: Whose gonna be at icfp?
I will attend ICFP and the Haskell symposium. Meeting up is a very good idea! Best, /Henrik This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. ___ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
Re: Whose gonna be at icfp?
> "CS" == Carter Schonwald writes: CS> I'll be this time! :) CS> We should coord a committee catch-up at icfp. I will be there as well. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2 ___ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
Whose gonna be at icfp?
I'll be this time! :) We should coord a committee catch-up at icfp. Also I would like to propose we shift back to email based discussion. There's still the valid and important need of then taking the discussion and revisions into a new standard. But let's at least make the first half lighter weight perhaps? the pattern that's working for ghc proposals doesn't seem to matchup with what works for h2020 ___ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime